Absolventenseminar

 

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)

 

Sommersemester 2021

Datum Vortragende/r Titel des Vortrags Art des Vortrags
28.06.2021 Jennifer Todtenhoefer tba Master-Einstiegsvortrag

21.06.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

Bachelor-Einstiegsvortrag

Bachelor-Einstiegsvortrag

Bachelor-Einstiegsvortrag

14.06.2021

 

Mohamad Albikai

 

Konstantin Haupt

Ein Vergleich zwischen ASPIC- und wohlfundierten Semantiken für priorisierte logische Programme

Interaktive Konfliktresolution in ASP durch kausale Ablehnung

Bachelor-Abschlussvortrag

 

Bachelor-Abschlussvortrag

07.06.2021

 

Hong Diem Duong

Felix Tschirbs

Work-sensitive Dynamic Complexity of Regular Tree Languages

Berechnungen mit Hilfsbits: Methoden und Grenzen

Master-Abschlussvortrag

Master-Abschlussvortrag

31.05.2021

 

Daria Churikova

 

Fabian Vehlken

Plausibility in belief revision - Comparison between Revision by Comparison and the c-change Theory

Berechenbarkeits- und Komplexitätstheorie in interaktiven Lernsystemen: Herausforderungen und Lösungsansätze

Bachelor-Abschlussvortrag

 

Master-Einstiegsvortrag

03.05.2021

 

Daniel Albert

                             Gerrit Hilleringhaus

Komplexität der Minimierung eingeschränkter nichtdeterministischer Automaten

Bounded Query Evaluation

Bachelor-Abschlussvortrag

                                 Bachelor-Abschlussvortrag