Meet 'n' Prove — Summer 2024

Place: Room 236, Building 50.34 (Infobau)
Date: Thursday, 18.04.2024
Time: starting at 15:45
Registration: here (spontaneous attendance is still possible!)

You are cordially invited to join Meet 'n' Prove 2024!

Meet 'n' Prove is the opportunity to learn about opportunities in Formal Methods at KIT.
Four research groups -- all focussed on formal methods -- present their work.
Join the event, and learn about our reseach and about opportunities for theses or student jobs!

If you plan to attend:
Please indicate your attendance here so we can plan Pizza & Drinks accordingly.


15:45 Short presentations of all four groups at the posters
starting 16:15 Poster Session
  • Room for discussion
  • Challenges
  • Learn about the research of the groups
  • Pizza and Drinks

Participating Groups