Skip to content
Snippets Groups Projects
Normal view Permalink
index.md 295 B
Newer Older
  • Learn to ignore specific revisions
    • Florian Rabe's avatar
    no message
    Florian Rabe committed
    1 2 3 4 5 6 
    ---
layout: page
title: KWARC - Events 
---
Some smaller academic events we have organized that do not have separate homepages:
    Florian Rabe's avatar
    no message  
    Florian Rabe committed
    7 
    * [Tetrapod Workshop at FLOC-2018](Tetrapod2018/index.html)
    Florian Rabe's avatar
    no message  
    Florian Rabe committed
    8 
    * [GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik](GILogicWorkshops/index.html)