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.
Program
| 15:45 | Short presentations of all four groups at the posters |
| starting 16:15 | Poster Session
|