Informatics, TU Vienna

LAIVe Summer School 2017

Master and doctoral students in Computer Science and Mathematics with a strong interest in Logic are invited to apply.

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.

Participants

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.

Registration

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

More information: LAIVe Summer School 2017