Mon | 14:00 - 16:00 | 11.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Reasoning on QBF - Martina Seidl |
Tue | 10:00 - 12:00 | 12.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Database Theory - Reinhard Pichler |
Tue | 14:00 - 16:00 | 12.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | ntroduction to Isabell - Peter Lammich |
Wed | 10:00 - 12:00 | 13.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Description Logics - Magdalena Ortiz |
Thu | 10:00 - 12:00 | 14.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Computational Argumentation - Stefan Woltran |
Tue | 10:00 - 12:00 | 19.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Hybrid Automata - Radu Grosu |
Tue | 14:00 - 16:00 | 19.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Complexity Theory - Thomas Eiter |
Wed | 10:00 - 12:00 | 20.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Modal Logic - Christian Fermüller |
Wed | 14:00 - 16:00 | 20.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Proof Theory - Agata Ciabattoni |
Thu | 14:00 - 16:00 | 21.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Model Checking - Josef Widder |
Mon | 10:00 - 12:00 | 25.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Software verification - Georg Weissenbacher |
Tue | 10:00 - 12:00 | 26.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | SAT Solving - Armin Biere |
Tue | 14:00 - 16:00 | 26.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | Reactive Synthesis - Roderick Bloem |
Wed | 10:00 - 12:00 | 27.02.2019 | Seminarraum FAV 01 A (Seminarraum 183/2) | First Order Theorem Proving - Laura Kovacs |