Commit 648ecfb6 authored by Florian Rabe's avatar Florian Rabe
Browse files

Update index.md

parent a41858d7
Pipeline #4327 canceled with stage
......@@ -32,7 +32,7 @@ The **tentative** program is as follows:
* 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
* 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
* 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 [slides (if any)](2022/heule.pdf)
Fragments [slides (if any)](2022/jung.pdf)
......
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