Lehrangebot der Abteilung
Automaten und Sprachen
Wintersemester 2022/23
- Vertiefungsmodul Automatentheorie [10-202-2106] [Inf.Bachelor: 6. Sem, Inf.Master: 3. Sem, Inf.Master: 1. Sem; LA.SInf-MS: 7. Sem]
- Vorlesung: (Manfred Droste) dienstags 17:15 - 18:45, SG 3-11
- Vorlesung: (Manfred Droste) donnerstags 17:15 - 18:45, SG 3-11
- Übung: (Erik Paul) montags 15:15 - 16:45, SG 3-10
- Moodle Kurs
- Aktuelle Trends der Informatik (Automaten, Logik und Spiele) [10-202-2012] [WirtPäd-MS; Inf-MS: 3. Sem; LA.SInf-MS: 9. Sem]
- Vorlesung: (Moses Ganardi) dienstags 09:15 - 10:45, online
- Übung: (Erik Paul) donnerstags 11:15 - 12:45, Felix-Klein-Hs (Plaulinum 120)
- Moodle Kurs
- Masterseminar Automatentheorie (Verifikation unendlicher Systeme)
[Masterseminar Informatik]
[Seminarmodul Automatentheorie]
[10-202-2011; 10-202-2115] [Inf.Master]
- Seminar: (Moses Ganardi) 05.02.2024-16.02.2024 9:00-17:00, SG 1-11
Durchgeführte Lehrveranstaltungen
[SS 23]
[WS 22/23]
[SS 22]
[WS 21/22]
[SS 21]
[WS 20/21]
[SS 20]
[WS 19/20]
[SS 19]
[WS 18/19]
[SS 18]
[WS 17/18]
[SS 17]
[WS 16/17]
[SS 16]
[WS 15/16]
[SS 15]
[WS 14/15]
[SS 14]
[WS 13/14]
[SS 13]
[WS 12/13]
[SS 12]
[WS 11/12]
[SS 11]
[WS 10/11]
[SS 10]
[WS 09/10]
[SS 09]
[WS 08/09]
[SS 08]
[WS 07/08]
[SS 07]
[WS 06/07]
[SS 06]
[WS 05/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]