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 |