Institute for Logic, Language and Computation

3 - 5 July 2017, LogiCS/RiSE Summer School on Logic, AI, and Verification, Vienna, Austria

Date: 3 - 5 July 2017
Location: Vienna, Austria

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

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.

For more information, see

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X