Commit 0e850132 authored by Florian Rabe's avatar Florian Rabe
Browse files

Update index.md

parent bd0d4f31
Pipeline #4344 passed with stage
in 1 minute and 59 seconds
......@@ -26,11 +26,11 @@ The program is as follows:
* 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)
* 12:00: Martin Lange, The Calculus of Influence - Formal Modelling of Biological Experiments [slides (if any)](2022/lange.pdf)
* 12:30: Florian Bruse, A Decidable Expressive Modal Logic, [slides (if any)](2022/bruse.pdf)
* 12:30: Florian Bruse, Model Checking Timed Recursive CTL, [slides (if any)](2022/bruse.pdf)
* Lunch break: 13:00 - 14:00
* Session 3: 14:00 - 15:30 (chair: Sergey Goncharov)
* 14:00: Colin Rothgang, Theorem Proving in Dependently Typed Higher-Order Logic [slides (if any)](2022/rothgang.pdf)
* 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)
* 14:30: Jean Christoph Jung and Frank Wolter, Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments [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:30 (chair: Olaf Beyersdorff)
......
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