no message

events/GI2020/index.md

@@ -3,62 +3,4 @@ layout: page
 title: GI Meeting Deduction and Logic
 ---
 
-The 2020-2022 annual meetings of the GI groups [Deduction Systems](https://fg-dedsys.gi.de/) and [Logic in Computer Science](https://fg-loginf.gi.de/)
-(Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) take place jointly in Erlangen.
-They are organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
-
-In fact, due to COVID-19 pandemic, online meetings took place.
-An in-person meeting of Deduction Systems is planned for 2022 as a part of the KI conference.
-
-### Online Meeting in Spring 2022
-
-The meeting will take place online on April 8.
-The call for contributions is [here](2022/cfp.txt).
-
-
--------------------------------------
-
-
-### Online Meeting in Spring 2021
-
-The meeting took place online on March 26.
-The call for contributions is [here](2021/cfp.txt).
-The call for participation is [here](2021/cfpart.txt).
-
-The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town).
-
-#### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov)
-
-* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](2021/sokolova.pdf)
-* 10:45: David Fuenmayor,	Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](2021/fuenmayor.pdf)
-* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](2021/saelzer.pdf)
-* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](2021/farjami.pdf)
-* 11:45: *break with free discussion in gather.town*
-
-#### Session 2: 13:00 - 15:15 (chair: Claudia Schon)
-
-* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](2021/gabbay.pdf)
-* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](2021/benzmueller.pdf)
-* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](2021/siebert.pdf)
-* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](2021/weitkaempfer.pdf)
-* 14:45: *break with free discussion in gather.town*
-
-#### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
-
-* 15:15: Marl Joos and Tobias Philipp,	Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](2021/joos.pdf)
-* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](2021/wenzel.pdf)
-* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](2021/sardar.pdf)
-* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](2021/zeume.pdf)
-* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](2021/schiffer.pdf)
-* 16:55: *break with free discussion in gather.town*
-
-#### Business meetings: 17:30 - 18:30
-
-* 17:30: Business meetings (Mitgliederversammlungen) of the GI groups
-
-----------------------------------------
-
-### Canceled meeting in Fall 2020
-
-The meeting was originally planned to take place in-person in Erlangen from 30.09.2020 to 02.10.2020.
-But after discussions among the speakers of the GI groups and the local organizers, it was postponed to Spring 2021 and eventually replaced with an online meeting.
+This page was moved [here](../GILogicWorkshops/index.html).
\ No newline at end of file

events/GI2020/2022/cfp.txt → events/GILogicWorkshops/2022/cfp.txt

 Joint Logic Workshop: Logic in Computer Science and Deduction Systems
 – 26. Jahrestagung FG LogInf und Workshop der FG DedSys –
-https://kwarc.info/events/GI2020/index.html
+https://kwarc.info/events/GILogicWorkshops/index.html
 
 Online Workshop hosted by FAU University Erlangen-Nürnberg
 Friday, April 8, 2022, whole day event

events/GILogicWorkshops/index.md

+---
+layout: page
+title: GI Meeting Deduction and Logic
+---
+
+The 2020-2022 annual meetings of the GI groups [Deduction Systems](https://fg-dedsys.gi.de/) and [Logic in Computer Science](https://fg-loginf.gi.de/)
+(Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) take place jointly in Erlangen.
+They are organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
+
+In fact, due to COVID-19 pandemic, online meetings took place.
+An in-person meeting of Deduction Systems is planned for 2022 as a part of the KI conference.
+
+### Online Meeting in Spring 2022
+
+The meeting will take place online on April 8.
+The call for contributions is [here](2022/cfp.txt).
+
+
+-------------------------------------
+
+
+### Online Meeting in Spring 2021
+
+The meeting took place online on March 26.
+The call for contributions is [here](2021/cfp.txt).
+The call for participation is [here](2021/cfpart.txt).
+
+The program consisted of 3 sessions of zoom talks each followed with a break in [gather.town](https://gather.town).
+
+#### Session 1: 10:00 - 12:15 (chair: Sergey Goncharov)
+
+* 10:00: Ana Sokolova, **Invited talk**: Algebraic Traces for Probability and Nondeterminism [slides (if any)](2021/sokolova.pdf)
+* 10:45: David Fuenmayor,	Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](2021/fuenmayor.pdf)
+* 11:05: Florian Bruse and Martin Lange and Marco Sälzer, On Finite Convergence of Fixpoints in the Modal Mu-Calculus [slides (if any)](2021/saelzer.pdf)
+* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](2021/farjami.pdf)
+* 11:45: *break with free discussion in gather.town*
+
+#### Session 2: 13:00 - 15:15 (chair: Claudia Schon)
+
+* 13:00: Dov Gabbay and Ross Horne, **Invited talk**: Analytic Proof Calculi for the Notion of Failure [slides (if any)](2021/gabbay.pdf)
+* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](2021/benzmueller.pdf)
+* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](2021/siebert.pdf)
+* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](2021/weitkaempfer.pdf)
+* 14:45: *break with free discussion in gather.town*
+
+#### Session 3: 15:15 - 17:30 (chair: Olaf Beyersdorff)
+
+* 15:15: Marl Joos and Tobias Philipp,	Mitigation of Cache Side Channel Attacks with Answer Set Programming [slides (if any)](2021/joos.pdf)
+* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](2021/wenzel.pdf)
+* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](2021/sardar.pdf)
+* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](2021/zeume.pdf)
+* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](2021/schiffer.pdf)
+* 16:55: *break with free discussion in gather.town*
+
+#### Business meetings: 17:30 - 18:30
+
+* 17:30: Business meetings (Mitgliederversammlungen) of the GI groups
+
+----------------------------------------
+
+### Canceled meeting in Fall 2020
+
+The meeting was originally planned to take place in-person in Erlangen from 30.09.2020 to 02.10.2020.
+But after discussions among the speakers of the GI groups and the local organizers, it was postponed to Spring 2021 and eventually replaced with an online meeting.