Veranstaltungen des Instituts für Mathematik und Informatik

Verteidigung der Masterarbeit von Happy Sariyanto

Finite Model Finding in First-Order Modal Logics

Am 26.11.2025 findet um 14:00 Uhr im Raum 0.06 die Verteidigung der Masterarbeit von Happy Sariyanto statt.

1. Gutachter: Prof. Dr. Alexander Steen

2. Gutachter: Prof. Dr. Geoff Sutcliffe (University of Miami)

Vorsitzender der Verteidigungskommission: Prof. Dr. Marc Ebner

Organisator

  • Institut für Mathematik und Informatik

Veranstaltungsort

  • Raum 0.06, Walther-Rathenau-Str. 47
Termin speichern Zurück zu allen Veranstaltungen