index.md

layout: page
title: GI Meeting Deduction and Logic

The 2020/2021 joint annual meeting of the GI groups Deduction Systems and Logic in Computer Science (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) will take place in Erlangen.

It will be organized by Sergey Goncharov and Florian Rabe.

Online Meeting in Spring 2021

The meeting will take place online on March 26. The call for contributions is here.

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, and we will then email the zoom and gather.town links and passwords.

Session 1: 10:00 - 12:15 (chair: Sergey Goncharov)

• 10:00: Ana Sokolova, Invited talk: Tracing Probability and Nondeterminism
• 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 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
• 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, A new role for finite model theory in statistical relational AI
• 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
• 15:35: Mario Wenzel, 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

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.