Please note that this newsitem has been archived, and may contain outdated information or links.
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.
Please note that this newsitem has been archived, and may contain outdated information or links.