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
Datum | Titel | Vortragende/-r |
---|---|---|
02.11.2023 | Synchronization and diversity of solutions | Henning Fernau |
09.11.2023 | Parameterized Approaches to Orthogonal Compaction | Philipp Kindermann |
16.11.2023 | Fällt aus | Fällt aus (Wir gehen zu ALOP) |
23.11.2023 | When Stars Control a Grammar's Work | Henning Fernau |
30.11.2023 | Roman Census: Enumerating and Counting Roman Dominating Functions on Graph Classes | Kevin Mann |
07.12.2023 | Silas Sacher | |
21.12.2023 | Formale Verifikation auf Basis boolescher Algebren | Martin Puppe |
28.12.2023 | Weihnachtsferien | Weihnachtsferien |
04.01.2023 | Weihnachtsferien | Weihnachtsferien |
Wintersemester 2022/2023
Datum | Titel | Vortragende/-r |
---|---|---|
27.10.2022 | Enumerating Minimal Connected Dominating Sets | Kevin Mann |
03.11.2022 | Morphing Rectangular Duals | Philipp Kindermann |
10.11.2022 | Fällt aus | |
17.11.2022 | Zur Summenzahl von Graphen mit Maximalgrad zwei | Henning Fernau |
24.11.2022 | Two- Dimensional Input-Revolving Automaton with an Application. | Gnanaraj Thomas |
01.12.2022 | Exaktes Rechnen am Beispiel der Logistic Map | Norbert Müller |
08.12.2022 | Complexity of Pokémon GO (work in progress) | Moritz Gobbert |
Wintersemester 2021/2022
Datum | Titel | Vortragende/-r |
---|---|---|
15.11.2021 | Dynamic Programming Refutations | Farhad Vadiee |
22.11.2021 | Width Notions and Diversity for Ordering-Related Problems | Emmanuel Arrighi |
Sommersemester 2021
Datum | Titel | Vortragende/-r |
---|---|---|
03.05.2021 | Extending Partial Representations of Rectangular Duals with Given Contact Orientations | J.-Prof. Dr. Phillip Kindermann |
31.05.2021 | Asymptotic analysis of the cardinality of maximum B2-sets with growing dimension | Kevin Mann |
07.06.2021 | Computational Complexity of the Puzzle Game Roma | Kevin Goergen |
28.06.2021 | Sum Labelling of Graphs | Prof. Dr. Henning Fernau |
Wintersemester 2019/2020
Datum | Titel | Vortragende/-r |
---|---|---|
28.10.2019 | Extension of some edge graph problems: standard and parameterized complexity | Henning Fernau |
04.11.2019 | Fällt aus | Fällt aus |
11.11.2019 | Einführung in 'Collision Resolution' | Michelle Mergen |
18.11.2019 | Solving non-linear constraints CDCL-style + beyond | Franz Brauße |
25.11.2019 | On Insertion-Deletion Systems with Substitution Rules | Martin Vu |
02.12.2019 | Tangent space | Norbert Müller |
09.12.2019 | Parameterized Dynamic Variants of Red-Blue Dominating Set | Henning Fernau |
16.12.2019 | Fällt aus | Fällt aus |
23.12.2019 | Weihnachtsferien | Weihnachtsferien |
30.12.2019 | Weihnachtsferien | Weihnachtsferien |
06.01.2020 | Multiplikation natürlicher Zahlen | Johannes Conrad |
13.01.2020 | Fällt aus | Fällt aus |
20.01.2020 | Fällt aus | Fällt aus |
27.01.2020 | Fällt aus | Fällt aus |
03.02.2020 | Aspekte der Implementierung von Taylor-Modellen | Benedikt Lüken-Winkels |
10.02.2020 | Fällt aus | Fällt aus |
17.02.2020 | Fällt aus | Fällt aus |