Lehrangebot der Abteilung
Automaten und Sprachen
Wintersemester 2008/09
- Masterseminar Automatentheorie (M.Droste, D.Kuske)
- Seminar: (M.Droste, D.Kuske) montags, 11.15-12.45 Uhr, Brühl R 510
- Automatentheorie
- Vorlesung: (M.Droste) montags, 11.15-12.45 Uhr, KH, R 2-11
- Vorlesung: (M.Droste) donnerstags, 15.15-16.45 Uhr, KH, R 2-06
- Übung: (D. Kirsten, K. Quaas) montags, 13.15-14.45 Uhr, Brühl R 518
- Übung: (D. Kirsten, K. Quaas) montags, 15.15-16.45 Uhr, Brühl R 521
- omega-Automaten (D.Kuske)
- Vorlesung: (D.Kuske) montags, 13.15-14.45 Uhr, Brühl R 510
- Bachelorseminar Automatentheorie (M.Lohrey, D.Kuske)
- Seminar: (M.Lohrey, D.Kuske) montags, 17.15-18.45 Uhr, Brühl R 510
- Semantik von Programmiersprachen
- Vorlesung: (M.Droste) mittwochs, 11.15-12.45 Uhr, Brüderstr., R 1-16
- Übung: (R.Hartwig, D.Kirsten) dienstags, 11.15-12.45 Uhr, Brühl R 510
- Doktorandenseminar Automatentheorie (M. Droste)
- Forschungsseminar: (M. Droste) JG 04-42
- Verifikation (D.Kuske)
- Vorlesung: (D.Kuske) mittwochs, 17.15-18.45 Uhr, KH, R 2-10
- Diskrete Strukturen (M.Lohrey)
- Übung: (Hartwig, R.) donnerstags, 13.15-14.45 Uhr A, Brühl R 512
- Übung: (Hartwig, R.) donnerstags, 13.15-14.45 Uhr B, Brühl R 512
- Übung: (Hartwig, R.) donnerstags, 15.15-16.45 Uhr A, Brühl R 512
Durchgeführte Lehrveranstaltungen:
[SS 08]
[WS 07/08]
[SS 07]
[WS 06/07]
[SS 06]
[SS 05]
[WS 04/05]
[SS 04]
[WS 03/04]
[SS 03]
[WS 02/03]
[SS 02]
[WS 01/02]
[SS 01]
[WS 00/01]
[SS 00]
[WS 99/00]
[SS 99]
[WS 98/99]
[SS 98]
[WS 97/98]
[SS 97]
[WS 96/97]
[SS 96]