Meet 'n' Prove — Sommersemester 2023
| Ort: | Raum 236 / Foyer 2. OG |
|---|---|
| Datum: | Donnerstag, 27.04.2023 |
| Uhrzeit: | ab 15:45 Uhr |
Herzliche Einladung zu Meet 'n' Prove!
Bei Meet 'n' Prove stellen sich 4 Forschungsgruppen vor, die sich alle mit Formalen Methoden befassen.
Kommen Sie gerne vorbei, informieren Sie sich über unsere Forschung, unsere Lehrveranstaltungen und/oder über unsere Angebote für Abschluss-Arbeiten und HiWi-Stellen!
Programm
- Kurzvorträge zur Forschung der verschiedenen Gruppen
- Poster-Session mit Gelegenheit zum Austausch und viele spannende Logik-Rätsel
- Get-Together