Meet 'n' Prove ist die Gelegenheit, sich über Forschung und Lehre zu Formalen Methoden zu informieren.
Erfahren Sie mehr über unsere Forschung und über Möglichkeiten für Abschlussarbeiten oder HiWi-Jobs!
6 Forschungsgruppen - alle mit dem Schwerpunkt formale Methoden - stellen ihre Arbeit vor:

• Prof. Beckert
• Prof. Erdweg
• Prof. Platzer
• Prof. Schäfer
• Jun.-Prof. Schwammberger
• Dr. Schreiber

Bitte teilen Sie uns mit, wenn Sie planen an der Veranstaltung teilzunehmen: https://s.kit.edu/mnp
Spontane Teilnahme ist dennoch möglich!