Oberseminar Theoretische Informatik

                                                >>>  Seit WiSe 2023 liegt der Termin DO 16:00-18:00 s.t. im F59. <<<


Vorträge behandeln Themen aus der aktuellen Forschung. Das Oberseminar steht allen Studierenden und MitarbeiterInnen der Universität Trier offen. Interessierte sind herzlich eingeladen!

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