Completed Projects
DFG Special Research Fields
- TR 12: Symmetries and Universality in Mesoscopic Systems
DFG Priority Programmes
- 1154: Global Differential Geometry
- 1489: Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
DFG Research Training Groups
- Logic in Computer Science (1997-2007)
- Mathematics in its Interaction with Physics (1993-2002)
International Research Networks
- ESF Research Network Interactions of Low-Dimensional Topology and Geometry with Mathematical Physics (2009-2014)
- EST Programme MathLogAps (2004-2008)
- Computer-Assisted Reasoning based on Type Theory (TYPES) (2004-2008)
- Applied Semantics II (APPSEM) (2003-2006)
- EU Network Analysis & Quantum (2002-2006)
- International Quality Network (2001-2004)
- European Differential Geometry Endeavour (EDGE) (2000-2004)
- EU Network on Partial Differential Equations and Quantum Mechanics (1996-2001)