LAIVe Summer School 2017
Master and doctoral students in Computer Science and Mathematics with a strong interest in Logic are invited to apply.
- All day event.
- TU Wien, Campus Karlsplatz
- 1040 Vienna, Karlsplatz 13
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
Links
Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.
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!