Internationale Forschungsnetzwerke

Am Mathematischen Institut bestehen derzeit Beteiligungen an den folgenden internationalen Forschungsnetzwerken:

• EU Network Analysis & Quantum
• EU Network on Partial Differential Equations and Quantum Mechanics
• European Differential Geometry Endeavour (EDGE)
• Computer-Assisted Reasoning based on Type Theory (TYPES)
• Applied Semantics II (APPSEM)
• International Quality Network

Dabei handelt es sich um drittmittelgeförderte Kooperationen (DAAD, EU), die sich über Universitäten aus verschiedenen Ländern erstrecken.