Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehre:vortraege [2018/03/22 18:50] akugler [März] |
lehre:vortraege [2018/04/25 12:41] akugler [April] |
||
---|---|---|---|
Zeile 19: | Zeile 19: | ||
\\ | \\ | ||
- | ===== WS 2017 ===== | + | ===== SS 2018 ===== |
+ | ==== Mai ==== | ||
\\ | \\ | ||
+ | === 25.05.2018 (KW 20, Fr) === | ||
+ | \\ | ||
+ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
+ | \\ | ||
+ | Moderation: TBA\\ | ||
+ | \\ | ||
+ | \\ | ||
+ | === 18.05.2018 (KW 19, Fr) === | ||
+ | \\ | ||
+ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
+ | \\ | ||
+ | Moderation: TBA\\ | ||
+ | \\ | ||
+ | \\ | ||
+ | ==== April ==== | ||
+ | \\ | ||
+ | === 27.04.2018 (KW 16, Fr) === | ||
+ | \\ | ||
+ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
+ | \\ | ||
+ | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
+ | \\ | ||
+ | **14:30-14:50**\\ | ||
+ | Lützenkirchen, Philipp, "Entwicklung eines LTL-Parsers unter Verwendung des Shunting-yard-Algorithmus" (Sonstiges)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
+ | \\ | ||
+ | **14:50-15:35**\\ | ||
+ | Lauschke, Marc, "Design, Implementation and Evaluation of a System for the Use of Simulated Data for Classification of Driving Situations in Highly Automated Vehicles" (MA-Abschlussvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | ||
+ | \\ | ||
+ | |||
==== März ==== | ==== März ==== | ||
\\ | \\ | ||
Zeile 34: | Zeile 66: | ||
\\ | \\ | ||
**16:15-16:30 Uhr**\\ | **16:15-16:30 Uhr**\\ | ||
- | Nico Friedrich, "TBD" (MA-Antrittsvortrag)\\ | + | Nico Friedrich, "Mutation Analysis for Programmable Logic Controllers using Dynamic Symbolic Execution" (MA-Antrittsvortrag)\\ |
Betreuer: [[lehrstuhl:mitarbeiter:simon]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:simon]]\\ | ||
\\ | \\ |