Wintersemester 2019/2020

Datum Vortragende/r Titel des Vortrags Art des Vortrags
17.02.2020

Jonas Bode

Florian Schmalstieg

Polyreguläre Funktionen

Property Testing für formale Sprachen

Bachelor-Abschlussvortrag

Bachelor-Abschlussvortrag

02.12.2019

Maximilian Gninka

Nils Jung

Auswertung von Pfadanfragen für Graphdatenbanken

Magic Set based Evaluation of Datalog with Negation

Bachelor-Einführungsvortrag

Master-Einführungsvortrag

18.11.2019 Clemens Claasen Compilezeit-Verifizierung von Pre- und Postconditions in Rust mittels Constraint Handling Rules Master-Abschlussvortrag
04.11.2019

Alexander Hahn

Jonas Haldimann

Verfahren zur iterierten Revision unter Beachtung von Syntax Splitting

Syntax Splitting für iterierte Kontraktionen

Bachelor-Einführungsvortrag

Master-Einführungsvortrag

28.10.2019

Sven Deichsel

Lars-Henrik Röhricht

Zustandskomplexität von 2-Wege-Automaten

Topologische Sortierung unter regulären Bedingungen

Bachelor-Abschlussvortrag

Bachelor-Abschlussvortrag