From c18ae1601a6b1ca0c1a088bf2e65c07370d3b327 Mon Sep 17 00:00:00 2001 From: Florian Rabe <florian.rabe@gmail.com> Date: Wed, 6 Apr 2022 16:32:30 +0000 Subject: [PATCH] Update index.md --- events/GILogicWorkshops/index.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md index b091f90..f22b898 100644 --- a/events/GILogicWorkshops/index.md +++ b/events/GILogicWorkshops/index.md @@ -21,7 +21,7 @@ The program will consist of multiple sessions of zoom talks in the zoom room htt The program is as follows: * Session 1: 10:00 - 11:00 (chair: Claudia Schon) - * 10:00: Martin Suda, **Invited talk** [slides (if any)](2022/suda.pdf) + * 10:00: Martin Suda, **Invited talk** Integrating Machine Learning into Saturation-based ATPs [slides (if any)](2022/suda.pdf) * Break 1: 11:00 - 11:30: free discussion in zoom * Session 2: 11:30 - 13:00 (chair: Florian Rabe) * 11:30: Florian Wörz, Number of Variables for Graph Differentiation and the Resolution of GI Formulas [slides (if any)](2022/woerz.pdf) @@ -33,6 +33,7 @@ The program is as follows: * 14:30: Jean Christoph Jung and Frank Wolter, Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable [slides (if any)](2022/jung.pdf) * 15:00: Hendrik Leidinger, SCL for First-Order Logic with Equality, [slides (if any)](2022/lange.pdf) * Break 2: 15:30 - 16:00: free discussion in zoom -* Session 4: 16:00 - 17:00 (chair: Olaf Beyersdorff) - * 16:00: Marijn Heule, **Invited talk** Short Proofs in Strong Proof Systems Fragments [slides (if any)](2022/heule.pdf) +* Session 4: 16:00 - 17:30 (chair: Olaf Beyersdorff) + * 16:00: Marijn Heule, **Invited talk** Short Proofs in Strong Proof Systems Fragments [slides (if any)](2022/heule.pdf) + * 17:00: Aleksey Gonus, Categorical Semantics of Intuitionistic Multiplicative Linear Logic and its Formalization in Isabelle/HOL[slides (if any)](2022/gonus.pdf) * Session 5: 17:15 - 18:00: Mitgliederversammlung Fachgruppe LogInf -- GitLab