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.

Organizers

Uwe Egly & Florian Lonsing.

More information

http://bit.ly/2mgr7su