Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
lehre:vortraege [2019/05/10 08:00] 127.0.0.1 Externe Bearbeitung |
lehre:vortraege [2019/05/10 12:30] foerster [Juni] |
||
---|---|---|---|
Zeile 135: | Zeile 135: | ||
Kreuzberg, Lars, "TBD" (BA-Antrittsvortrag)\\ | Kreuzberg, Lars, "TBD" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
+ | |||
+ | \\ | ||
+ | **16:45-17:00**\\ | ||
+ | Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF" (BA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
+ | |||
+ | \\ | ||
+ | **17:00-17:15**\\ | ||
+ | Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten" (BA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
+ | |||
+ | \\ | ||
+ | **17:15-17:30**\\ | ||
+ | Wortmann, Jannik, "Minimierung von Produkten deterministischer endlicher Transduktoren" (BA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
\\ | \\ |