LAIVe Summer School 2017

Summer school on Logic, Artificial Intelligence and Verification – LAIVe, took place at TU Wien, Vienna, Austria from July 3 – 5, 2017. LAIVe was hosted by doctoral college Logical Methods in Computer Science (LogiCS) and the Austrian Society for Rigorous Systems Engineering (RiSE), with a friendly support of VCLA.


The summer school targeted master and doctoral students in Computer Science and Mathematics with a strong interest in Logic, Artificial Intelligence and Automated Verification. The final 40 participants engaged in the topics put forward by the featured speakers.

Featured speakers

  • Johannes Fuernkranz (TU Darmstadt):
     Introduction to Machine Learning
  • Cezary Kaliszyk (University of Innsbruck):
     Machine Learning in Theorem Proving
  • Dan Olteanu (University of Oxford):
     From Joins to Aggregates to Optimization Problems
  • Diego Calvanese and Marco Montali (Free University of Bolzano-Bozen):
     Verification of Data-Centric Systems
  • Matteo Maffei (TU Wien):
     Formal Methods for Security and Privacy


  • Early registration fee (until May 31): €70
  • Regular registration fee: €80

More information

LAIVe Summer School 2017


Group photo of summer school on Logic, Artificial Intelligence and Verification at TU Wien – LAIVe.

Cezary Kaliszyk, University of Innsbruck. Photo credit G. Berger

Comments are closed.