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

no message

parent e8a0c82a
Branches
No related tags found
No related merge requests found
Pipeline #4211 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
events/index.md
+ 1
− 1
View file @ 2f3c785c
......@@ -5,4 +5,4 @@ title: KWARC - Events
Some smaller academic events we have organized that do not have separate homepages:
* [Tetrapod Workshop at FLOC-2018](Tetrapod2018/index.html)
* [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](GI2020/index.html)
* [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](GILogicWorkshops/index.html)
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment