Oberseminar Theoretische Informatik

Vorträge behandeln Themen aus der aktuellen Forschung. Das Oberseminar steht allen Studierenden und MitarbeiterInnen der Universität Trier offen. Interessierte sind herzlich eingeladen! Die Vorträge sind immer Donnerstags um 14 Uhr im Raum H406.

Wintersemester 2024/2025

DatumTitelVortragende/-r
24.10.2024Fällt ausFällt aus
31.10.2024Fällt ausFällt aus
07.11.2024Fällt ausFällt aus
14.11.2024Generalized Word-Representable GraphsSilas Cato Sacher
21.11.2024Fällt ausFällt aus
28.11.2024Fällt ausFällt aus
05.12.2024Roman Hitting SetKevin Mann
12.12.2024On Computational Completeness of Semi-Conditional Matrix GrammarsHenning Fernau
19.12.2024  
26.12.2024WeihnachtsferienWeihnachtsferien
02.01.2025WeihnachtsferienWeihnachtsferien
09.01.2025  
16.01.2025Wird noch hinzugefügtDhaval Khunt
23.01.2025  
30.01.2025The Set of Synchronizing Words and the Constrained Synchronization ProblemStefan Hoffmann
06.02.2025  
13.02.2025Fällt ausFällt aus

Sommersemester 2024

DatumTitelVortragende/-r
18.04.2024On k-Plane Insertion into Plane DrawingsPhilipp Kindermann
25.04.2024Offensive Alliances in Signed GraphsZhidan Feng
02.05.2024Fällt ausFällt aus
09.05.2024Christi HimmelfahrtFällt aus
16.05.2024Implementation and evaluation of a self-monitoring approximation algorithm for 3-Hitting-SetKhoa Le
23.05.2024Succinct Star-Controlled Insertion-Deletion Systems Using Space Separating Normal FormsHenning Fernau
30.05.2024FronleichnamFällt aus
06.06.2024Fällt ausFällt aus
13.06.2024Perfect Roman Domination: Aspects of Enumeration and ParameterizationHenning Fernau
20.06.2024Description Complexity Measures for Internal Contextual Grammars: Connectedness and compatibilityLakshmanan Kuppusamy
27.06.2024Fällt ausFällt aus
04.07.2024Fällt ausFällt aus
11.07.2024Fällt ausFällt aus
18.07.2024Counting Simple Rules in Semi-Conditional Grammars Is Not SimpleIndhumathi Raman
22.08.2024Roman Hitting FunctionKevin Mann
29.08.2024How to reconfigure your alliancesKevin Mann
18.09.2024Enumerating Minimal Defensive AlliancesKevin Mann