Man erreicht mich via E-Mail unter weidner@informatik.uni-leipzig.de [PGP key] oder persönlich im Zimmer A402 im neuen Augusteum.
Die Übungen beginnen in der 2. Vorlesungswoche!
Hier finden Sie Informationen zur Vorlesung „Spurtheorie” bei Prof. Droste im Sommersemester 2015.
Das Masterseminar findet zu den angegebenen Terminen immer 11:15 im Raum P-801 statt.
| Termin | Name | Thema | Betreuer |
|---|---|---|---|
| 1.7.2014 | Niklas Teichmann | Probabilistic Automata on Finite words: Decidable and Undecidable Problems | Weidner |
| 8.7.2015 | Philip Röppischer | Deciding the Value 1 Problem of Probabilistic Leaktight Automata | Weidner |
| 15.7.2015 | Kevin Dreßler | What's decidable about weighted automata | Heusel |
Dies ist eine Weiterführung des Übungsbetriebs, der bei Dr. Peter Leupold begonnen wurde. Hier finden Sie von nun an aktuelle Vorlesungsinformationen und Übungsblätter.
Die Klausur zur Veranstaltung wird am Montag, dem 16.2.2015 um 11:15 im Raum S 126 stattfinden. Bitte seine Sie 10 Minuten vorher da. Denken Sie auch an Ihren Studentenausweis und Schreibpapier, da kein Papier gestellt werden wird. Als einziges anderes Hilfsmittel ist ein beidseitig beliebig beschriebenes DIN A4 Blatt zugelassen. Die Bearbeitungszeit wird 90 Minuten betragen.
Das Bachelor/Master Seminar Automatentheorie bei Prof. Droste im Wintersemester 2014/15.
| Termin | Zeit | Name | Thema | Betreuer |
|---|---|---|---|---|
| 4. Dez 14 | 9:15 | Jan Hendrik Witte | Rational sets & automata (I.2 – I.5) | Heusel |
| 11. Dez 14 | 09:15 | Maximilian Möller | Deterministic Automata (I.6 – I.8) | Heusel |
| 18. Dez 14 | 09:15 | Tobias Turke Marc Vester | McNaughton's Theorem (I.9) | Leupold |
| 15. Jan 15 | 09:15 | Mirko Schulze | Ramsey factorization (II.2) | Dück |
| 22. Jan 15 | 11:15 | Arnold Scherer | Topological Spaces & Topology on Aω (III.2 – III.3.3) | Perevochshikov |
| 5. Feb 15 | 11:15 | Colleen Kreußel | Borel automata & Suslin sets & Separation theorem (III.5 – III.7) | Weidner |
Das Seminar am 4.12. findet im Raum A520 statt.
Das Bachelor/Master Seminar Automatentheorie bei Prof. Droste im Wintersemester 2013/14.
| Termin | Zeit | Name | Thema | Betreuer |
|---|---|---|---|---|
| 28.11. | 9:15 | Johannes Nixdorf | Linear Time Properties | Götze |
| 5.12. | 9:15 | Linda Gräßler | Automata on Infinite Words | Götze |
| 12.12. | 9:15 | Simon Johanning | Model Checking Regular Properties | Weidner |
| 19.12. | 9:15 | Sebastian Ankerhold | Linear Temporal Logic | Weidner |
| 9.1. | 9:15 | Sascha Vinz | LTL Model Checking | Weidner |
| 16.1 | 9:15 | Stefan Wetzig | Computational Tree Logic | Leupold |
| 23.1 | 9:15 | Martin Böhm | CTL Model Checking | Leupold |
| 30.1. | 9:15 | entfällt | ||
| 30.1. | 11:15 | Lydia Lotzmann | Fast LTL to Büchi Translation | Dück |
| 6.2. | 9:15 | entfällt | ||
| 6.2. | 11:15 | Mathias Loose | First-Order Definable Languages | Dück |
Das Seminar findet immer Donnerstags im Raum A 314 statt.
Das Bachelor/Master Seminar Automatentheorie bei Prof. Droste im Sommersemester 2013.
| Name | Termin | Thema |
|---|---|---|
| Alexander Böhm | 12.6. | Weighted Automata Algorithms: Automata, Transducers, Shortest Paths |
| Danny Hucke | 19.6. | Weighted Automata Algorithms: Operations |
| Julia Trabandt | 26.6. | Ausdruckskraft und Abgeschlossenheit von gewichteten Automaten |
| Maik Fröbe | 3.7. | Weighted Automata Algorithms: ε-removal, Determinization |
| Danny Richter | 10.7. | Weighted Automata Algorithms: Weight Pushing, Minimization, Synchronization |
Das Seminar findet zu den oben angebenen Terminen um 9:15 im Raum P701 statt.
Für erweitere Informationen siehe auch meine dblp-Seite.
Diese Liste enthält Vorträge die nicht mit einer Publikation verbunden sind, z.b. auf Workshops gegeben wurden.