---
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) will 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, only online meetings took place.

### Online Meeting in Spring 2022

The meeting will take place online on April 8.
The call for contributions is [here](cfp_2022.txt).

### Online Meeting in Spring 2021

The meeting took place online on March 26.
The call for contributions is [here](cfp_2021.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)](sokolova.pdf)
* 10:45: David Fuenmayor,	Paraconsistent and paracomplete logics in Isabelle/HOL [slides (if any)](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)](saelzer.pdf)
* 11:25: Ali Farjami, Normative Reasoning: A Computational Challenge [slides (if any)](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)](gabbay.pdf)
* 13:45: Christoph Benzmüller and David Fuenmayor, Value-oriented Legal Argumentation in Isabelle/HOL [slides (if any)](benzmueller.pdf)
* 14:05: Claudia Schon and Sophie Siebert and Frieder Stolzenburg, Negation in Cognitive Reasoning [slides (if any)](siebert.pdf)
* 14:25: Felix Weitkämper, A new role for finite model theory in statistical relational AI [slides (if any)](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)](joos.pdf)
* 15:35: Mario Wenzel, Microlog - Microcontroller programming using Datalog [slides (if any)](wenzel.pdf)
* 15:55: Muhammad Usama Sardar and Christof Fetzer, Understanding Remote Attestation in Intel SGX and TDX via Formal Verification [slides (if any)](sardar.pdf)
* 16:15: Thomas Zeume, Teaching Logic with Iltis [slides (if any)](zeume.pdf)
* 16:35: Lena Katharina Schiffer, Expressive Power of Combinatory Categorial Grammars [slides (if any)](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

### 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.
But after discussions among the speakers of the GI groups and the local organizers, we have decided to postpone the meeting due to the current COVID-19-related uncertainties.

We are monitoring the situation regarding COVID-19 and post further updates here.
We are currently hoping to have an in-person meeting in autumn 2021.