layout: page
title: KWARC - Events 

Some smaller academic events we have organized that do not have separate homepages:

• Tetrapod Workshop at FLOC-2018
• GI Jahrestreffen Fachgruppe Deduktionssystem und Logic in der Informatik