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!
Vier Forschungsgruppen - alle mit dem Schwerpunkt formale Methoden - stellen ihre Arbeit vor:

• Prof. Beckert: formal.kastel.kit.edu
• Prof. Platzer: logic.kastel.kit.edu
• Prof. Schäfer: tva.kastel.kit.edu
• Jun.-Prof. Schwammberger: mase.kastel.kit.edu

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