Commit 5d12fff6 authored by Florian Rabe's avatar Florian Rabe

Add new file

parent 807a1f60
Pipeline #2047 passed with stage
in 2 minutes and 23 seconds
# 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/).
Further details will follow.
\ No newline at end of file
Markdown is supported
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