Seminar über Automatentheorie
» This course is given in German.
Seminar im Wintersemester 2012/2013
| Art | ECTS | Ort | Veranstalter |
|---|---|---|---|
| S2 | 4 | Seminarraum Lehrstuhl Informatik 7 | Thomas, Löding |
Die Plätze werden im zentralen Vergabeverfahren vergeben.
Allgemeines
In dem Seminar werden Originalarbeiten aus dem Themenumfeld der Vorlesung Angewandte Automatentheorie studiert.Vorwissen
Gute Vorkenntnisse der Automatentheorie, vorzugsweise belegt durch erfolgreiche Teilnahme an Übungen zu Vorlesungen des Lehrstuhls, sind erwünscht.
Ablauf
- Allgemeine Informationen zum Ablauf findet man auf den Folien aus der Vorbesprechung
- Folgende Termine sind neben den Vortragsterminen einzuhalten:
- Erste Absprache mit dem Betreuer bis: 19.10.2012
- Abgabe der Ausarbeitung: bis 3 Wochen vor dem Vortragstermin
- Die Vorträge sollten eine Dauer von ca. 45 Minuten haben.
- Die Vorträge finden im Seminarraum am Lehrstuhl 7 statt. Es wird 5 Doppeltermine (je ca. 1,5-2 Std.) ab Mitte Dezember geben. Die genauen Termine werden noch festgelegt.
Bei Fragen wenden Sie sich bitte an Christof Löding.
Themen
In dem Seminar sollen einige Kapitel des folgenden Buchs erarbeitet werden:Modern Applications of Automata Theory. Deepak D'Souza and Priti Shankar (editors), World Scientific, 2012.
Die Quellenangaben beziehen sich jeweils auf die Kapitel in diesem Buch.-
Reasoning about Heap Manipulating Programs using Automata Techniques
Quelle: Kaptiel 7
Vortrag: entfällt
Betreuung: C. Löding -
Automata on Distributed Alphabets
Quelle: Kaptiel 9
Vortrag: Michael Krein
Betreuung: M. Lang -
The Theory of Message Sequence Charts
Quelle: Kaptiel 10
Vortrag: Stefan Schubert
Betreuung: M. Lang -
Type Checking of Tree Walking Transducers
Quelle: Kaptiel 11
Vortrag: Daniel Ploetzer
Betreuung: C. Löding -
Case Studies on Verification of Infinite-State Systems: A Mutex
Algorithm and Timed Automata
Quelle: Kaptiel 12
Vortrag: Sarah Winter
Betreuung: C. Löding -
Case Studies on Verification of Infinite-State Systems: A Cache
Coherence Protocol and Linear Automata
Quelle: Kaptiel 12
Vortrag: Dirk Hauptmann
Betreuung: C. Löding -
Case Studies on Verification of Infinite-State Systems: Skylines
and Pushdown Automata
Quelle: Kaptiel 12
Vortrag: Marcus Voelker
Betreuung: C. Löding -
Automata over Infinite Alpahabets
Quelle: Kaptiel 17
Vortrag: Eric Heder
Betreuung: C. Löding -
Syntax Directed Compression of Trees Using Pushdown Automata
Quelle: Kaptiel 19
Vortrag: Katja Franken
Betreuung: S. Repke -
Weighted Finite Automata and Digital Images
Quelle: Kaptiel 20
Vortrag: Kai Driessen
Betreuung: S. Repke
Donnerstag, 20.12.2012, 9-11 Uhr
Donnerstag, 10.1.2013, 9-11 Uhr
Donnerstag, 17.1.2013, 9-11 Uhr
Donnerstag, 24.1.2013, 9-11 Uhr