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
Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!