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

Update index.md

parent 0cf3babe
Branches
No related tags found
No related merge requests found
Pipeline #2260 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 3 deletions
events/GI2020/index.md
+ 3
− 3
View file @ 0f962867
---
layout: page
title: GI 2020 Deduction and Logic
title: GI 2020 Meeting on Deduction and Logic
---
This meeting is the 2020 joint annual meeting of the GI groups [Deduction Systems](https://fg-dedsys.gi.de/) and [Logic in Computer Science](https://fg-loginf.gi.de/) (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssystem und Logic in der Informatik)
The 2020 joint annual meeting of the GI groups [Deduction Systems](https://fg-dedsys.gi.de/) and [Logic in Computer Science](https://fg-loginf.gi.de/) (Gemeinsames Jahrestreffen der GI-Fachgruppen Deduktionssysteme und Logik in der Informatik) will take place in Erlangen from 30.09.2020 to 02.10.2020.
It will take place in Erlangen from 30.09.2020 to 02.10.2020 organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
It will be organized by [Sergey Goncharov](https://www8.cs.fau.de/sergey) and [Florian Rabe](https://kwarc.info/people/frabe/).
We are monitoring the situation regarding COVID-19 and will decide in due time whether to postpone or virtualize the meeting.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment