Universiteit van Amsterdam


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 http://forsyte.at/laive-summer-school-2017.