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

Beteiligte Forschungsgruppen