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

Update index.md

parent 59df5796
Branches
No related tags found
No related merge requests found
Pipeline #2045 passed
......@@ -5,3 +5,4 @@ title: KWARC - Events
The Academic Events we organize
* [Tetrapod Workshop at FLOC-2018](/events/Tetrapod-2018)
* [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](events/GI2020)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment