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

Update index.md

parent c18ae160
Pipeline #4340 passed with stage
in 1 minute and 19 seconds
......@@ -36,4 +36,4 @@ The program is as follows:
* 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
* Session 5: 17:30 - 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