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!
Four research groups - all focussing on formal methods - will present their work:

• 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

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)