KWARC - Events
menu
News
People
Former Members
Research
Formal Methods
Structural Semantics
Services, KM & Interaction
Semantization
Bibliography
Systems
Orphaned Systems
Historic Systems
Projects
Completed Projects
Courses & Theses
Overview (D)
Former Courses
Upcoming Courses
Thesis Topics & Projects
Completed Theses
Events
Hiring
Contact
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