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