Skip to content
Snippets Groups Projects
Normal view Permalink
index.md 231 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    1 2 3 4 5 6 7 
    ---
layout: page
title: KWARC - Events 
---
The Academic Events we organize

* [Tetrapod Workshop at FLOC-2018](/events/Tetrapod-2018)
    Florian Rabe's avatar
    Update index.md  
    Florian Rabe committed
    8 
    * [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](GI2020/index.html)