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

Update index.md

parent 229e021f
No related branches found
No related tags found
No related merge requests found
Pipeline #2051 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
events/GI2020/index.md
+ 2
− 2
View file @ 37b58121
......@@ -3,8 +3,8 @@ layout: page
title: GI 2020 Deduction and Logic
---
# 2020 joint annual meeting of the GI groups Deduction Systems and Logic in Computer Science (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssystem und Logic in der Informatik)
This meeting is the 2020 joint annual meeting of the GI groups Deduction Systems and Logic in Computer Science (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssystem und Logic in der Informatik)
The meeting will take place in Erlangen organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
It will take place in Erlangen organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
Further details will follow.
\ No newline at end of file
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment