The doctoral college Logical Methods in Computer Science (LogiCS) and the Austrian Society for Rigorous Systems Engineering (RiSE) hosted a summer school on Logic, Artificial Intelligence and Verification, supported by VCLA, taking place at TU Wien, Vienna, Austria from July 3 – 5, 2017.

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 event was open to all interested students.

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