Institut für Informatik / Fakultät für Mathematik und Informatik / Universität Leipzig

---

Wissenschaftlicher Mitarbeiter
Former Member of the DFG Graduiertenkolleg QuantLA

Dr. Stefan Dück

Room:	A 426, Augustusplatz 10
Phone:	+49-341-97/32202
Research Group:	Automaten und Sprachen
E-mail:	dueck at informatik.uni minus leipzig.de

Address

Stefan Dück
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany

Lehre

Sprechzeiten: Mittwoch 15:15 - 16:15 oder nach Absprache

Sommersemester 2018: Veranstaltung Nebenläufige Prozess: Spurtheorie

Vorlesung: (Manfred Droste) Freitag 9:15 - 11:45, Seminarraum S2-14

• Übung:

Montag

13:15 - 14:45 (A-Woche),

Paulinum, P-801  (ab 23.04.)

Termine: 23.04. / 07.05. / - / 04.06. / 18.06. / 02.07.

• Aktuelle Serie: 5. Serie
• Punkteliste nach 5 von 5 Serien
• Abgabe in 2er Gruppen erwünscht, beide müssen alle abgegebenen Aufgaben verstanden haben und vorrechnen können
• bewertet mit falsch (f), mittel (m), richtig (r), es gibt voraussichtlich bis zu 3 Punkte pro Serie
• Eine (inoffizielle) getexte Mitschrift von Felix Linker ist hier zu finden.
• Die Klausurergebnisse finden Sie im Almaweb (bzw. per Mail für das 10 LP Modul).
• Die Klausureinsicht wird am 22.08. um 11:00 Uhr im Raum P410 angeboten.

Sommersemester 2018: Veranstaltung Logik und Modelltheorie

Vorlesung: (Manfred Droste) Donnerstag 13:15 - 14:45, Seminarraum S2-14

• Übung:

Montag

13:15 - 14:45 (B-Woche),

Paulinum, P-801  (ab 16.04.)

Termine: 16.04. / 30.05. / 14.05. / 28.05. / 11.06. / 25.06. / 09.07.

• Aktuelle Serie: 7. Serie (nur Seminar)
• Punkteliste nach 6 von 6 Serien
• Abgabe in 2er Gruppen erwünscht, beide müssen alle abgegebenen Aufgaben verstanden haben und vorrechnen können
• bewertet mit falsch (f), mittel (m), richtig (r), es gibt voraussichtlich bis zu 3 Punkte pro Serie
• Eine (inoffizielle) getexte Mitschrift von Felix Linker ist hier zu finden. Fehlermeldungen (an Felix) und Merge Requests sind willkommen.
• Für Interessierte: Vom 03. bis zum 07. September findet dieses Jahr in Jena eine Summer School zu 100 Jahren Modelltheorie statt: Episode I: Loewenheim - Skolem - Goedel - Herbrand
• Die Klausurergebnisse finden Sie im Almaweb (bzw. per Mail für das 10 LP Modul).
• Die Klausureinsicht wird am 22.08. um 11:00 Uhr im Raum P410 angeboten.

Sommersemester 2018: Bachelor- & Masterseminar Automatentheorie

Das Bachelorseminar und das Masterseminar finden zu den folgenden Terminen am Mittwoch 15:15 Uhr statt.

Termin	Name	Thema	Betreuer
20.06.18 (S-202)	Schindler, Benjamin	Greibach NF	Dziadek
11.07.18 (HS 17)	Asaad, Bashar	Ambiguity of finite Automata	Paul

Wintersemester 2017/18: Veranstaltung Automaten und Sprachen

Vorlesung: (Manfred Droste), es gab 6 Übungsgruppen

• Die Klausurergebnisse der Klausur und Nachklausur finden Sie im Almaweb.

Wintersemester 2017/18: Bachelor- & Masterseminar Automatentheorie

Ein Teil der Vorträge basierte auf dem Buch "Principles of Model Checking" von Christel Baier und Joost-Pieter Katoen.
Weitere Themen waren Model Checking und temporale Logiken für Nested Words, und Model Checking with Fly-Automata.

Termin	Name	Thema	Betreuer
16.11.17	Jörg Schließer	Nested Words	Dziadek
23.11.17	Paul Reinhardt	Linear Temporal Logic	Dück
30.11.17	Stefan Walter	Dekomposition von Linear Time Properties	Dück
07.12.17	Franz Ruge	Automaten über unendlichen Wörtern	Grabolle
14.12.17	Malte Blattmann	Model Checking Regular Properties	Grabolle
04.01.18	Manuel Jacob	LTL Model Checking	Dück
11.01.18	Dominik Strohscheer	CTL Syntax und Semantics	Heindel
18.01.18	Jakob Rieke	CTL Model Checking	Heindel
01.02.18	Falco Kirchner	First Order and Temporal Logic for Nested Words	Dück

Publications

S. Dück: Weighted Automata and Logics on Hierarchical Structures and Graphs, Dissertation, Universität Leipzig, 2017.

M. Droste, S. Dück, D. Mandrioli, M. Pradella: Weighted operator precedence languages, in: Mathematical Foundations of Computer Science (MFCS 2017), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 83, 2017, pp. 31:1--31:15. The final publication is available at http://dx.doi.org/10.1007/978-3-662-53132-7_13.

S. Dück: Weighted automata and logics on infinite graphs, in: 20th International Conference on Developments in Language Theory (DLT 2016), Lecture Notes in Computer Science, vol. 9840, Springer, 2016, pp. 151-163. PDF. The final publication is available at link.springer.com. http://dx.doi.org/10.1007/978-3-662-53132-7_13.

M. Droste, S. Dück: Weighted automata and logics for infinite nested words, Information and Computation, Special Issue of LATA 2014, vol. 253, Part 3, pp. 448-466, 2017 http://dx.doi.org/10.1016/j.ic.2016.06.010.

M. Droste, S. Dück: Weighted automata and logics on graphs, in: Mathematical Foundations of Computer Science (MFCS 2015), Lecture Notes in Computer Science. Springer, vol.9234, pp. 192-204, Springer, 2015. PDF. The final publication is available at link.springer.com. http://dx.doi.org/10.1007/978-3-662-48057-1_15.

M. Droste, S. Dück: Weighted automata and logics for infinite nested words, in: Language and Automata Theory and Applications (LATA 2014), Lecture Notes in Computer Science, vol. 8370, pp. 323-334, Springer, 2014. PDF. The final publication is available at link.springer.com. http://dx.doi.org/10.1007/978-3-319-04921-2_26.