Commit 971fd5f3 authored by Sergey Goncharov's avatar Sergey Goncharov
Browse files

Update events/GILogicWorkshops/index.md

parent 47115d5b
Pipeline #4338 passed with stage
in 1 minute and 19 seconds
......@@ -34,6 +34,5 @@ The program is as follows:
* 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 [slides (if any)](2022/heule.pdf)
Fragments
* 16:00: Marijn Heule, **Invited talk** Short Proofs in Strong Proof Systems Fragments [slides (if any)](2022/heule.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