Bachelor- und Masterseminar

 

Veranstalter Lehrstuhl Informatik I - Logik in der Informatik
Ort Otto-Hahn-Str. 12 / Raum 3.031 bzw. Zoom-Meeting
Zeit Montags, 16:15 Uhr (*14-16 Uhr)

 

Wintersemester 2021/2022

Datum Vortragende/r Titel des Vortrags Art des Vortrags
25.10.2021

Hendrik Henze

Alexandra Latys

Torben Scheele

Determinisierung von Büchi-Automaten

Konjunktive reguläre Pfadanfragen mit String-Variablen

Wachstum regulärer und kontextfreier Sprachen

 BachelorAbschlussvortrag

Bachelor-Abschlussvortrag

Bachelor-Abschlussvortrag

18.10.2021 Arthur Franke c-Repräsentationen in LEG-Netzen mit positiven Impact-Werten Master-Einführungsvortrag