Commit c18ae160 authored by Florian Rabe's avatar Florian Rabe
Browse files

Update index.md

parent 971fd5f3
Pipeline #4339 passed with stage
in 1 minute and 21 seconds
......@@ -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
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment