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:15 Uhr im Raum H406.

Sommersemester 2026

DatumVortragende/-rTitel
09.04.2026Salmoon IlyasAutomated Image Re-Identification Using Computer Vision and Deep Learning Approaches:
Application to Field Monitoring of the Endangered Species Bombina variegata in Rhineland-Palatinate, Germany
16.04.2026Fällt ausFällt aus
23.04.2026Henning FernauMatrix Forbidding Grammars
30.04.2026Fällt ausFällt aus
07.05.2026Kevin MannEnumerating minimal vertex covers and dominating sets with capacity and/or connectivity constraints
14.05.2026Christi HimmelfahrtChristi Himmelfahrt
21.05.2026Philipp KindermannCan we extend this to biconnected graphs with SPQR-trees?
28.05.2026Fällt aus (Krankheitsbedingt)Fällt aus
04.06.2026FronleichnamFronleichnam
11.06.2026Silas Cato Sacher (in H321)On Languages Describing Large Graph Classes 
18.06.2026  
25.06.2026  
02.07.2026  
09.07.2026Silas Cato SacherTowards Settling the Complexity of the Lettericity Problem
16.07.2026Silas Cato SacherSome Descriptional Complexity Results for Context-Conditional Grammars

Wintersemester 2025/2026

DatumTitelVortragende/-r
16.10.2025Fällt ausFällt aus
23.10.2025Separability of Witness Gabriel DrawingsCarolina Haase
30.10.2025On Graph Drawing with Few Slopes and BendsSimon Szulik
06.11.2025Orthogonal Wiring ProblemsKilian Bartz
13.11.2025Hash-Bäume von MerkleMarlin Zapp
20.11.2025Fällt aus (Raum belegt)Fällt aus
27.11.2025Fällt aus (Raum belegt)Fällt aus
04.12.2025Visualisierung Erreichbarer Flächen in Netzwerk GraphenMarley Arns
11.12.2025Enumeration With Nice Roman Domination PropertiesKevin Mann
18.12.2025Boustrophedon Pushdown Automata for Two-dimensional Picture LanguagesHenning Fernau
25.12.2025WeihnachtsferienWeihnachtsferien
01.01.2026WeihnachtsferienWeihnachtsferien
08.01.2026Fällt aus (Raum belegt)Fällt aus
15.01.2026On the Complexity of Hyperpath and Minimal Separator Enumeration in Directed HypergraphsKevin Mann
22.01.2026An Algorithm for Accurate and Simple-Looking Metaphorical MapsEleni Katsanou
29.01.2026Fällt ausFällt aus
05.02.2026Letter graphs and well-quasi-order by induced subgraphs (Raum H 6)Tillmann Faust
12.02.2026Fällt ausFällt aus
18.02.2026Discovering Functional Dependencies through Hitting Set Enumeration (Raum H 7 um 13 Uhr)Martin Schirneck
19.02.2026Enumerating Variations of Roman Dominating FunctionsKevin Mann