LAIVe Summer School 2017

DATE:Monday, July 3, 2017 – Wednesday, July 5, 2017

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


The summer school targets master and doctoral students in Computer Science and Mathematics with a strong interest in Logic, Artificial Intelligence and Automated Verification. The event is 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


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

More information

LAIVe Summer School 2017


Photo credit: G. Berger

Comments are closed.