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.
A list of featured speakers can be found here.
Early registration fee (until May 31): €70
Regular registration fee: €80
More information: LAIVe Summer School 2017