Bachelor- und Masterseminar WS2015/16

Das Bachelor/Master Seminar Automatentheorie bei Prof. Droste im Wintersemester 2014/15 findet im Raum P901 statt.

Seminartermine

Termin Zeit Name Thema Betreuer
07.01.2016 11:15 Kasimir Wansing Generalized Mean-payoff and Energy Games Perevoshchikov
14.01.2016 11:15 Dennis Kreußel Relating Timed and Register Automata Quaas
21.01.2016 11:15 Fabian Tronicke Recognizable Tree Languages and Finite Tree Automata Heusel
28.01.2016 11:15 Hanno Krümpelmann Regular Grammars and Regular Expressions Weidner