Ina Fichtner

L e h r e

SS 2007:

Vorlesung Diskrete Strukturen und Codierungstheorie (Vorlesung und Übung) bei Prof. Dr. M. Droste

Termin Vorlesung: Di, 15.15-16.45 Uhr, im KH 2-04

Übungsleiter: I. Mäurer

Termin Übung (14-tägig, A-Woche): 1.Termin Woche vom 10.4.-13.4.
Do, 07:30 bis 09:00 Uhr, Brühl 1023 (Mäurer)
Fr, 07:30 bis 09:00 Uhr, Brühl 723 (Mäurer)

Übungsaufgaben:
1. Übung (10. bis 13.04.) PDF PS

2. Übung (23. bis 27.04.) PDF PS

3. Übung (07. bis 11.05.) PDF PS

Achtung: ab 15. Mai übernimmt Herr Ulbrich die Kursassistenz dieser Vorlesung! Seite Herr Ulbrich

Termin Wiederholungsklausur Automatentheorie: 11. April 2007, 13:15 Uhr, Städtisches Kaufhaus 2-07
Ergebnisse der Klausur: Seite Ingmar Meinecke

Seminar Automatentheorie SS 2007:
Leitung: Prof. Dr. M. Droste & I. Mäurer

Zeit und Ort: Mittwoch, 11:15 Uhr, Seminarraum 3-36 (Johannisgasse 26)

Zu beachten: Melden Sie sich bitte rechtzeitig (4 Wochen vorher) bei Ihrem Betreuer oder Ihrer Betreuerin und vereinbaren Sie einen Termin zum Besprechen Ihres Vortrags! Zu diesem Zeitpunkt sollte der Vortrag von Ihnen bereits ausgearbeitet sein. Natürlich können Sie jederzeit auch vorher bereits Termine mit Ihrem Betreuer wahrnehmen (zum Beispiel, um Fragen zu klären). Ihr Vortrag sollte 60 Minuten dauern und mindestens einen Beweis enthalten. Für dieses Seminar besteht Anwesenheitspflicht.

Termin

Vortragender

Thema

Betreuer

4. VL-Woche

Natalia Yanovska

Guo-Qiang Zhang, Domain mu-calculus,
Theoret. Informatics Appl. 37, pages 337-364, 2003.

Droste & Mäurer

5. VL-Woche

Thomas Weidner

H. Wang, On rational series and rational languages,
Theoret. Comp. Science. 205(1-2): 329-336 (1998).

Meinecke

6. VL-Woche

Ying Xu

D. Giammarresi, Two-dimensional languages and recognizable functions,
Developments in Language Theory, pages 290-301, 1993.

Mäurer

7. VL-Woche

Georg Ulbrich

Matyasevitch, Zum 10. Hilbertschen Problem.

--

8. VL-Woche

Marcus Daum

Z. Esik/Z. L. Nemeth, Higher-dimensional automata,
Journal of Automata, Languages and Combinatorics 9(1): 3-29 (2004).

Meinecke

9. VL-Woche

Steffen Märker

G. Bruns/P. Godefroid, Model-checking with multi-valued logics,
ICALP, pages 281-293, 2004. Ausgefallen!

Droste

10. VL-Woche

Michael Waldvogel

Hedge automata.

Kuske

20.06.

Axel Wintsche

M. Bojanczyk, T. Colcombet, Tree-walking automata cannot be determinized,
TCS 350, 164-173, 2006.

Mathissen

04.07

Maik Funkat

R. Alur and D. L. Dill, Theory of timed automata ,
TCS 126, 183-235, 1994.

Kuske

Termin	Vortragender	Thema	Betreuer
4. VL-Woche	Natalia Yanovska	Guo-Qiang Zhang, Domain mu-calculus, Theoret. Informatics Appl. 37, pages 337-364, 2003.	Droste & Mäurer
5. VL-Woche	Thomas Weidner	H. Wang, On rational series and rational languages, Theoret. Comp. Science. 205(1-2): 329-336 (1998).	Meinecke
6. VL-Woche	Ying Xu	D. Giammarresi, Two-dimensional languages and recognizable functions, Developments in Language Theory, pages 290-301, 1993.	Mäurer
7. VL-Woche	Georg Ulbrich	Matyasevitch, Zum 10. Hilbertschen Problem.	--
8. VL-Woche	Marcus Daum	Z. Esik/Z. L. Nemeth, Higher-dimensional automata, Journal of Automata, Languages and Combinatorics 9(1): 3-29 (2004).	Meinecke
9. VL-Woche	Steffen Märker	G. Bruns/P. Godefroid, Model-checking with multi-valued logics, ICALP, pages 281-293, 2004. Ausgefallen!	Droste
10. VL-Woche	Michael Waldvogel	Hedge automata.	Kuske
20.06.	Axel Wintsche	M. Bojanczyk, T. Colcombet, Tree-walking automata cannot be determinized, TCS 350, 164-173, 2006.	Mathissen
04.07	Maik Funkat	R. Alur and D. L. Dill, Theory of timed automata , TCS 126, 183-235, 1994.	Kuske