Veranstaltungskalender
Meet 'n' Prove 2024
Donnerstag, 18. April 2024, 15:45-0:00
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!