Wintersemester 2019/20: Seminarmodul Theoretische Informatik & Seminarmodul Automatentheorie

Seminarmodul Bachelor

Alle Themen sind Kapitel aus dem Buch "Introduction to Formal Language Theory" von Michael Harrison.

Termin	Uhrzeit	Ort	Name	Thema	Betreuer
28.11.19	13:15	SG 3-10	Emanuel Krämer Johannes Bleich Robert Wagner	Kapitel 1	Arndt
05.12.19	13:15	SG 3-10	Steve von Rein Abdulbaree Hussein	Kapitel 2	Arndt
12.12.19	13:15	SG 3-10	Giuliano Caruso Lukas Mutterlose	Kapitel 3	Tronicke
19.12.19	13:15	SG 3-10	Lukas Hempel Gabriel Huppenbauer Max Schrodt	Kapitel 4	Paul
09.01.20	13:15	SG 3-10	Arnold Deutschmann Konstantin Rothe	Kapitel 5	Tronicke
16.01.20	13:15	SG 3-10	Salman Salman David Schulte Patrick Nietzschmann	Kapitel 8	Paul
30.01.20	13:15	SG 3-10	Odai Alhasan Ali Alhassan Jonas Wrubel	Kapitel 10	Berthold

Seminarmodul Master

Alle Themen sind Kapitel aus dem Buch "An Automata Toolbox" von Mikołaj Bojańczyk und Wojciech Czerwiński.

Termin	Uhrzeit	Ort	Name	Thema	Betreuer
19.12.19	15:15	Felix-Klein-Hörsaal	Felix Linker	Kapitel 8	Grabolle
09.01.20	15:15	Felix-Klein-Hörsaal	Lukas Christ	Kapitel 6	Grabolle
16.01.20	15:15	Felix-Klein-Hörsaal	Lukas Bieberich	Kapitel 11	Grabolle
23.01.20	15:15	Felix-Klein-Hörsaal	Franz Ruge	Kapitel 7	Paul

Hinweis

Ohne die Wahrnehmung der folgenden Pflichttermine kann keine Bewertung unsererseits stattfinden.

• Drei Wochen vor dem Vortrag hat zur inhaltlichen Besprechung ein Termin mit dem Betreuer stattzufinden. Hierbei ist zu beachten, dass im Wintersemester die freien Tage über Weihnachten als 0 Tage gezählt werden.
• Zwei Wochen vor dem Vortrag ist das Präsentationskonzept, insbesondere die Vortragsfolien, mit dem Betreuer zu besprechen.

Abgesehen von diesen Terminen können natürlich auch weitere bzw. frühere Termine vereinbart werden.