The RiSE/SHiNE Winter School 2018 is an event of the Austrian national research network RiSE.
The target audience are researchers, advanced master students, PhD students, or Post-Docs working on theoretical and practical aspects of logic in computer science, formal verification, and automated reasoning in a broad sense.
For further details about the winter school, please visit http://www.kr.tuwien.ac.at/events/risews2018/.
Date and Venue
- Duration: the RiSE/SHiNE Winter School 2018 will take place from Monday, February 5 to Friday, February 9, 2018 at TU Wien, Austria.
- Venue: All talks will be held in lecture room EI 10 Fritz Paschke HS, Gusshausstr. 25-29 (ground floow), 1040 Wien (view on Google Maps).
Speakers
- Federico Aschieri, TU Wien, Austria.
- Lecture Title: Curry-Howard Correspondence
- Dirk Beyer, LMU Munich, Germany.
- Olaf Beyersdorff, University of Leeds, UK.
- Lecture Title: Proof Complexity
- Laura Kovacs, TU Wien, Austria, and Andrei Voronkov, University of Manchester, UK.
- Lecture Title: First-Order Theorem Proving in Rigorous Systems Engineering
For further details about the winter school, please visit http://www.kr.tuwien.ac.at/events/risews2018/.