Advanced Seminar in Theoretical Computer Science
>>> Since winter semester 2023, the date is Thursday 4:00 p.m. - 6:00 p.m. s.t. in the F59. <<<
Lectures cover topics from current research. The advanced seminar is open to all students and employees of the University of Trier. Interested parties are warmly invited!
Winter Semester 2023/2024
Date | Title | Lecturer |
---|---|---|
02.11.2023 | Synchronization and diversity of solutions | Henning Fernau |
09.11.2023 | Parameterized Approaches to Orthogonal Compaction | Philipp Kindermann |
16.11.2023 | Cancelled | Cancelled (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 | Formal Verification based on Boolean algebras | Martin Puppe |
28.12.2023 | Christmas Holidays | Christmas Holidays |
04.01.2023 | Christmas Holidays | Christmas Holidays |
11.01.2024 | Generalized network dismantling via a novel spectral partition algorithm | Zhidan Feng |
18.01.2024 | Weather-related failure | Weather-related failure |
25.01.2024 | Cancelled | Cancelled |
01.02.2024 | Graph Stories using Paths and Trees as examples | Sophie Heinz |
15.02.2024 | On Layered Area-Proportional Rectangle Contact Representations | Carolina Haase |
Winter Semester 2022/2023
Date | Title | Lecturer |
---|---|---|
27.10.2022 | Enumerating Minimal Connected Dominating Sets | Kevin Mann |
03.11.2022 | Morphing Rectangular Duals | Philipp Kindermann |
10.11.2022 | Cancelled | |
17.11.2022 | On the Sum number of Graphs with a Maximum Degree of Two | Henning Fernau |
24.11.2022 | Two- Dimensional Input-Revolving Automaton with an Application. | Gnanaraj Thomas |
01.12.2022 | Exact calculation using the Examples of the Logistic Map | Norbert Müller |
08.12.2022 | Complexity of Pokémon GO (work in progress) | Moritz Gobbert |