diff --git a/events/GI2020/index.md b/events/GI2020/index.md index d13620a18fcfce3c6dc62a399d8c478ab83d9246..fbb5bb7505c0a01a6083d2bf62be404626d46dcc 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 638f942c5756aba847fc7b0b3e885fd22c555cfc..bfe3fc61377e5409d947f3339b87b3162b72fb04 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 0000000000000000000000000000000000000000..d13620a18fcfce3c6dc62a399d8c478ab83d9246 --- /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.