Mo. | 10:00 - 12:00 | 08.02.2021 | link will be added (LIVE) | Description Logics - Magdalena Ortiz |
Di. | 14:00 - 16:00 | 09.02.2021 | link will be added (LIVE) | Modal Logic - Christian Fermüller |
Mi. | 10:00 - 12:00 | 10.02.2021 | link will be added (LIVE) | Computational Argumentation - Stefan Woltran |
Do. | 14:00 - 16:00 | 11.02.2021 | link will be added (LIVE) | Reactive Synthesis - Roderick Bloem |
Fr. | 10:00 - 12:00 | 12.02.2021 | link will be added (LIVE) | SAT solving - Armin Biere |
Mo. | 10:00 - 12:00 | 15.02.2021 | link will be added (LIVE) | First Order Theorem Proving - Laura Kovacs |
Mo. | 14:00 - 16:00 | 15.02.2021 | link will be added (LIVE) | Proof Theory - Agata Ciabattoni |
Di. | 10:00 - 12:00 | 16.02.2021 | link will be added (LIVE) | Runtime Verification - Ezio Bartocci |
Di. | 14:00 - 16:00 | 16.02.2021 | link will be added (LIVE) | Complexity Theory - Thomas Eiter |
Mi. | 10:00 - 12:00 | 17.02.2021 | link will be added (LIVE) | Learning Temporal Logic Formulas from Data - Laura Nenzi |
Do. | 14:00 - 16:00 | 18.02.2021 | link will be added (LIVE) | Model Checking - Igor Konnov |
Mo. | 10:00 - 12:00 | 22.02.2021 | link will be added (LIVE) | Software verification - Georg Weissenbacher |
Mo. | 14:00 - 16:00 | 22.02.2021 | link will be added (LIVE) | Hybrid Automata - Radu Grosu |
Di. | 10:00 - 12:00 | 23.02.2021 | link will be added (LIVE) | Reasoning on QBF - Martina Seidl |
Mi. | 14:00 - 16:00 | 24.02.2021 | link will be added (LIVE) | Epistemic logic and distributed systems - Roman Kuznets |