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

Update index.md

parent a4db27ed
No related branches found
No related tags found
No related merge requests found
Pipeline #2050 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 0 deletions
events/GI2020/index.md
+ 5
− 0
View file @ 229e021f
---
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)
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/).
......
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