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

Silas Sacher

21.12.2023Formale Verifikation auf Basis boolescher AlgebrenMartin Puppe
28.12.2023WeihnachtsferienWeihnachtsferien
04.01.2023WeihnachtsferienWeihnachtsferien

 

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

 

 

Wintersemester 2021/2022

DatumTitel       Vortragende/-r
15.11.2021Dynamic Programming RefutationsFarhad Vadiee
22.11.2021Width Notions and Diversity for Ordering-Related Problems Emmanuel Arrighi

 

 

Sommersemester 2021

DatumTitel       Vortragende/-r
03.05.2021Extending Partial Representations of Rectangular Duals with Given Contact OrientationsJ.-Prof. Dr. Phillip Kindermann
31.05.2021Asymptotic analysis of the cardinality of maximum B2-sets with growing dimension Kevin Mann
07.06.2021Computational Complexity of the Puzzle Game RomaKevin Goergen
28.06.2021

Sum Labelling of Graphs

Prof. Dr. Henning Fernau

 

Wintersemester 2019/2020

DatumTitel       Vortragende/-r
28.10.2019

Extension of some edge graph problems: standard and parameterized complexity

Henning Fernau
04.11.2019Fällt ausFällt aus
11.11.2019Einführung in 'Collision Resolution'Michelle Mergen
18.11.2019Solving non-linear constraints CDCL-style + beyondFranz Brauße
25.11.2019On Insertion-Deletion Systems with Substitution RulesMartin Vu
02.12.2019Tangent spaceNorbert Müller
09.12.2019Parameterized Dynamic Variants of Red-Blue Dominating SetHenning Fernau
16.12.2019Fällt ausFällt aus
23.12.2019WeihnachtsferienWeihnachtsferien
30.12.2019WeihnachtsferienWeihnachtsferien
06.01.2020Multiplikation natürlicher ZahlenJohannes Conrad
13.01.2020Fällt ausFällt aus
20.01.2020Fällt ausFällt aus
27.01.2020Fällt ausFällt aus
03.02.2020Aspekte der Implementierung von Taylor-ModellenBenedikt Lüken-Winkels
10.02.2020Fällt ausFällt aus
17.02.2020Fällt ausFällt aus