Knowledge-Based System Group is inviting to the RiSE/SHiNE Winter School 2018 taking place between February 5 and February 9, 2018 at TU Wien, Austria.
Target Groups
School is open to 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.
Speakers
- Laura Kovacs (TU Wien), Andrei Voronkov (The University of Manchester): First-order theorem proving and interpolation
- Olaf Beyersdorff (University of Leeds): Proof Complexity
- Frederico Aschieri (TU Wien): Curry-Howard Correspondence
- Dirk Beyer (Ludwig-Maximilians-Universität München): Software Model Checking.