Sommersemester 2017
Datum | Titel | Vortragende/-r |
---|---|---|
24.04.2017 | Parikh-Bilder von matrixgesteuerten Einfüge- / Lösch-Systemen | Henning Fernau |
15.05.2017 | Transitive Reduktion | Robin Essig |
22.05.2017 | Deterministic Regular Expressions with Back-References | Markus Schmid |
12.06.2017 | Verallgemeinerte Intervallarithmetik | Wolf Karsten Teuschler |
26.06.2017 | Spaß mit profiniten Wörtern | Stefan Hoffmann |
Wintersemester 2016/17
Datum | Titel | Vortragende/-r |
---|---|---|
07.11.2016 | Approximation for geometric covering problems | Katrin Casel |
14.11.2016 | On Diminishable Parameterized Problems and Strict Polynomial Kernelization | Henning Fernau |
21.11.2016 | Das Konzept des abstrakten Datentyps zur Approximation exakter reeller Zahlen | Christian Lohr, Julian Hendricks |
28.11.2016 | SAT-Stand | Franz Brauße |
05.12.2016 | Fully dynamic all-pairs shortest paths with worst-case update-time revisited | Sebastian Krinninger |
12.12.2016 | Matrix Insertion-deletion Systems with Small Sizes | Lakshmanan Kuppusamy |
16.01.2017 | Dedekindsche Schnitte als formale Grundlage zur Approximation reeller Zahlen | Christian Lohr, Julian Hendricks |