From e8a0c82a24b0ceaf5fe5eeb06b76e3fa479d33e2 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Thu, 24 Feb 2022 14:25:57 +0100
Subject: [PATCH] no message
---
events/GI2020/index.md | 60 +---------------
.../{GI2020 => GILogicWorkshops}/2021/cfp.txt | 0
.../2021/cfpart.txt | 0
.../2021/fuenmayor.pdf | Bin
.../2021/gabbay.pdf | Bin
.../2021/joos.pdf | Bin
.../2021/saelzer.pdf | Bin
.../2021/sokolova.pdf | Bin
.../2021/wenzel.pdf | Bin
.../2021/zeume.pdf | Bin
.../{GI2020 => GILogicWorkshops}/2022/cfp.txt | 2 +-
.../2022/cfpart.txt | 0
events/GILogicWorkshops/index.md | 64 ++++++++++++++++++
13 files changed, 66 insertions(+), 60 deletions(-)
rename events/{GI2020 => GILogicWorkshops}/2021/cfp.txt (100%)
rename events/{GI2020 => GILogicWorkshops}/2021/cfpart.txt (100%)
rename events/{GI2020 => GILogicWorkshops}/2021/fuenmayor.pdf (100%)
rename events/{GI2020 => GILogicWorkshops}/2021/gabbay.pdf (100%)
rename events/{GI2020 => GILogicWorkshops}/2021/joos.pdf (100%)
rename events/{GI2020 => GILogicWorkshops}/2021/saelzer.pdf (100%)
rename events/{GI2020 => GILogicWorkshops}/2021/sokolova.pdf (100%)
rename events/{GI2020 => GILogicWorkshops}/2021/wenzel.pdf (100%)
rename events/{GI2020 => GILogicWorkshops}/2021/zeume.pdf (100%)
rename events/{GI2020 => GILogicWorkshops}/2022/cfp.txt (98%)
rename events/{GI2020 => GILogicWorkshops}/2022/cfpart.txt (100%)
create mode 100644 events/GILogicWorkshops/index.md
diff --git a/events/GI2020/index.md b/events/GI2020/index.md
index d13620a..fbb5bb7 100644
--- a/events/GI2020/index.md
+++ b/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
diff --git a/events/GI2020/2021/cfp.txt b/events/GILogicWorkshops/2021/cfp.txt
similarity index 100%
rename from events/GI2020/2021/cfp.txt
rename to events/GILogicWorkshops/2021/cfp.txt
diff --git a/events/GI2020/2021/cfpart.txt b/events/GILogicWorkshops/2021/cfpart.txt
similarity index 100%
rename from events/GI2020/2021/cfpart.txt
rename to events/GILogicWorkshops/2021/cfpart.txt
diff --git a/events/GI2020/2021/fuenmayor.pdf b/events/GILogicWorkshops/2021/fuenmayor.pdf
similarity index 100%
rename from events/GI2020/2021/fuenmayor.pdf
rename to events/GILogicWorkshops/2021/fuenmayor.pdf
diff --git a/events/GI2020/2021/gabbay.pdf b/events/GILogicWorkshops/2021/gabbay.pdf
similarity index 100%
rename from events/GI2020/2021/gabbay.pdf
rename to events/GILogicWorkshops/2021/gabbay.pdf
diff --git a/events/GI2020/2021/joos.pdf b/events/GILogicWorkshops/2021/joos.pdf
similarity index 100%
rename from events/GI2020/2021/joos.pdf
rename to events/GILogicWorkshops/2021/joos.pdf
diff --git a/events/GI2020/2021/saelzer.pdf b/events/GILogicWorkshops/2021/saelzer.pdf
similarity index 100%
rename from events/GI2020/2021/saelzer.pdf
rename to events/GILogicWorkshops/2021/saelzer.pdf
diff --git a/events/GI2020/2021/sokolova.pdf b/events/GILogicWorkshops/2021/sokolova.pdf
similarity index 100%
rename from events/GI2020/2021/sokolova.pdf
rename to events/GILogicWorkshops/2021/sokolova.pdf
diff --git a/events/GI2020/2021/wenzel.pdf b/events/GILogicWorkshops/2021/wenzel.pdf
similarity index 100%
rename from events/GI2020/2021/wenzel.pdf
rename to events/GILogicWorkshops/2021/wenzel.pdf
diff --git a/events/GI2020/2021/zeume.pdf b/events/GILogicWorkshops/2021/zeume.pdf
similarity index 100%
rename from events/GI2020/2021/zeume.pdf
rename to events/GILogicWorkshops/2021/zeume.pdf
diff --git a/events/GI2020/2022/cfp.txt b/events/GILogicWorkshops/2022/cfp.txt
similarity index 98%
rename from events/GI2020/2022/cfp.txt
rename to events/GILogicWorkshops/2022/cfp.txt
index 638f942..bfe3fc6 100644
--- a/events/GI2020/2022/cfp.txt
+++ b/events/GILogicWorkshops/2022/cfp.txt
@@ -1,6 +1,6 @@
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
diff --git a/events/GI2020/2022/cfpart.txt b/events/GILogicWorkshops/2022/cfpart.txt
similarity index 100%
rename from events/GI2020/2022/cfpart.txt
rename to events/GILogicWorkshops/2022/cfpart.txt
diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md
new file mode 100644
index 0000000..d13620a
--- /dev/null
+++ b/events/GILogicWorkshops/index.md
@@ -0,0 +1,64 @@
+---
+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.
--
GitLab