Skip to content
Snippets Groups Projects
Commit 65b74101 authored by Florian Rabe's avatar Florian Rabe
Browse files

no message

parent 68adf2ee
No related branches found
No related tags found
No related merge requests found
Pipeline #3039 passed
......@@ -4,5 +4,5 @@ title: KWARC - Events
---
Some smaller academic events we have organized that do not have separate homepages:
* [Tetrapod Workshop at FLOC-2018](/events/Tetrapod2018/index.html)
* [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](events/GI2020/index.html)
* [Tetrapod Workshop at FLOC-2018](Tetrapod2018/index.html)
* [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](GI2020/index.html)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment