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.

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

Wintersemester 2023/2024

DatumTitelVortragende/-r
02.11.2023Synchronization and diversity of solutionsHenning Fernau
09.11.2023Parameterized Approaches to Orthogonal CompactionPhilipp Kindermann
16.11.2023Fällt ausFällt aus (Wir gehen zu ALOP)
23.11.2023When Stars Control a Grammar's WorkHenning Fernau
30.11.2023Roman Census: Enumerating and Counting Roman Dominating Functions on Graph ClassesKevin Mann
07.12.2023Complexity of arithmetic circuits with addition, multiplication and division

Silas Sacher

21.12.2023Formale Verifikation auf Basis boolescher AlgebrenMartin Puppe
28.12.2023WeihnachtsferienWeihnachtsferien
04.01.2023WeihnachtsferienWeihnachtsferien
11.01.2024Generalized network dismantling via a novel spectral partition algorithmZhidan Feng
18.01.2024Wetterbedingter AusfallWetterbedingter Ausfall
25.01.2024Fällt ausFällt aus
01.02.2024Graph Stories am Beispiel von Pfaden und BäumenSophie Heinz
08.02.2024Fällt ausFällt aus
15.02.2024On Layered Area-Proportional Rectangle Contact RepresentationsCarolina Haase
22.02.2024Fällt aus (wegen SOFSEM)Fällt aus (wegen SOFSEM)
29.02.2024Lösungsräume, ganzzahlige lineare Programme und ihre RekonfigurationJonas Ringel

 

Wintersemester 2022/2023

DatumTitel       Vortragende/-r
27.10.2022Enumerating Minimal Connected Dominating SetsKevin Mann
03.11.2022Morphing Rectangular Duals

Philipp Kindermann

10.11.2022Fällt aus 
17.11.2022Zur Summenzahl von Graphen mit Maximalgrad zweiHenning Fernau
24.11.2022Two- Dimensional Input-Revolving Automaton with an  Application.Gnanaraj Thomas
01.12.2022Exaktes Rechnen am Beispiel der Logistic MapNorbert Müller
08.12.2022Complexity of Pokémon GO (work in progress)Moritz Gobbert