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.

Participants

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

Registration

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

More information

LAIVe Summer School 2017

Poster

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

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