RiSE/SHiNE Winter School: Feb 5-9 2018

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/.