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 | Complexity of arithmetic circuits with addition, multiplication and division | Silas Sacher |
21.12.2023 | Formale Verifikation auf Basis boolescher Algebren | Martin Puppe |
28.12.2023 | Weihnachtsferien | Weihnachtsferien |
04.01.2023 | Weihnachtsferien | Weihnachtsferien |
11.01.2024 | Generalized network dismantling via a novel spectral partition algorithm | Zhidan Feng |
18.01.2024 | Wetterbedingter Ausfall | Wetterbedingter Ausfall |
25.01.2024 | Fällt aus | Fällt aus |
01.02.2024 | Graph Stories am Beispiel von Pfaden und Bäumen | Sophie Heinz |
08.02.2024 | Fällt aus | Fällt aus |
15.02.2024 | On Layered Area-Proportional Rectangle Contact Representations | Carolina Haase |
22.02.2024 | Fällt aus (wegen SOFSEM) | Fällt aus (wegen SOFSEM) |
29.02.2024 | Lösungsräume, ganzzahlige lineare Programme und ihre Rekonfiguration | Jonas Ringel |
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 |