no message

events/GI2020/index.md

@@ -11,9 +11,15 @@ It will be organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [F
 ### Online Meeting in Spring 2021
 
 The meeting will take place online on March 26.
-
 The call for contributions is [here](cfp.txt).
 
+The program will consist of 3 sessions of zoom talks each followed with a break in gather.town.
+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).
+
 ### COVID-19 Situation and Future Meetings
 
 The meeting was originally planned to take place offline in Erlangen from 30.09.2020 to 02.10.2020.

events/GI2020/program.md

+# Program
+
+## 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*