Meet 'n' Prove is the opportunity to find out about research and teaching on formal methods.
Find out more about our research and about opportunities for final theses or student jobs!
6 research groups - all focussing on formal methods - will present their work:

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

Please let us know if you plan to attend the event: https://s.kit.edu/mnp
Spontaneous participation is still possible!

Translated with DeepL.com (free version)