Michael Kohlhase (FAU Erlangen-Nuernberg),

"Theory Graphs and Meta-Logical/Grammatical Frameworks: 
MMT as a Logic/Language/World-Workbench"

Abstract:
Logics are used for expressing world models in (symbolic) Artificial Intelligence, Linguistics, and Mathematics.
As the world has many aspects, it is sensible to tailor the properties of the logics to the application. 

Traditionally, the necessary logic/language/ontology engineering has been done with pen and paper.
In this talk I will present the OMDoc/MMT Framework, which combines meta-logical and meta-grammatical
Frameworks for representing languges, logics, and calculi with a strong module system for modelling world knowledge.

Applications include foundation-independent (bring-your-own-logic) mathematical knowledge management, natural language semantics, and argumentation theories.