diff --git a/events/GI2020/index.md b/events/GI2020/index.md
index 400c24008bb327458446f4de006399698a3f0a90..f196dc087903a6ce87775034ac08a6c2e2c63114 100644
--- a/events/GI2020/index.md
+++ b/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.
diff --git a/events/GI2020/program.md b/events/GI2020/program.md
new file mode 100644
index 0000000000000000000000000000000000000000..f6918cb9bbea842bafd5187502ddb6eb26abbcbc
--- /dev/null
+++ b/events/GI2020/program.md
@@ -0,0 +1,27 @@
+# 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*