@@ -18,7 +18,30 @@ Zoom works as usual, and gather.town should work in standard browsers.
All participants must **register**[here](https://docs.google.com/forms/d/1hF5TgGreilNI6YYEI7b1PbMYNnmxqIgnSKWN6JMOJko), and we will then email the zoom and gather.town links and passwords.
The tentative **schedule** is available [here](program.html).
#### Session 1: 10:00 - 12:15
* 10:00: Ana Sokolova, invited talk
* 10:45: David Fuenmayor, Paraconsistent and paracomplete logics in Isabelle/HOL
* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus
* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge
* 11:45: *break with free discussion in gather.town*
#### Session 1: 13:00 - 15:15
* 13:00: Dov Gabbay, invited talk
* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL
* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning
* 14:25: Felix Weitkämper, Anwendungen der endlichen Modelltheorie in der statistisch relationalen KI
* 14:45: *break with free discussion in gather.town*
#### Session 3: 15:15 - 17:30
* 15:15: Marl Joos and Tobias Philipp, Mitigation of Cache Side Channel Attacks with Answer Set Programming
* 15:35: Mario Wenze, Microlog - Microcontroller programming using Datalog
* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification
* 16:15: Thomas Zeume, Teaching Logic with Iltis
* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars
* 16:55: *break with free discussion in gather.town*
