Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehre:vortraege [2019/05/10 12:31]
foerster [Juni]
+++ lehre:vortraege [2019/05/24 08:00]
127.0.0.1 Externe Bearbeitung
@@ Zeile 25: / Zeile 25: @@
 \\
 Moderation: TBA\\
+\\
+**14:30-15:00**\\
+Asaad, Monica, "TBD" (BA-Abschlussvortrag)\\
+Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\
+\\
+**15:00-15:30**\\
+Abdelgelil, Farah, "TBD" (BA-Abschlussvortrag)\\
+Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\
 \\
 \\
@@ Zeile 34: / Zeile 44: @@
 \\
 **14:30-15:15**\\
-Li, Zhi, "TBD" (MA-Abschlussvortrag)\\
+Li, Zhi, "Development of a Tool to Generate Maps for Autonomous Driving" (MA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\
@@ Zeile 46: / Zeile 56: @@
 \\
 Moderation: TBA\\
+\\
+**14:30-15:00**\\
+Schimitzek, Simon, "TBA" (BA-Abschlussvortrag)\\
+Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\
 \\
 \\
@@ Zeile 67: / Zeile 82: @@
 \\
 Moderation: TBA\\
+\\
+**14:30-14:45**\\
+Kruschewsky, Alexander, "TBD" (BA-Antrittsvortrag)\\
+Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\
 \\
 \\
@@ Zeile 76: / Zeile 96: @@
 \\
 **14:30-14:45**\\
-Hess, Judy, "TBD" (MA-Antrittsvortrag)\\
+Kloock, Maximilian, "TBD" (MA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\
@@ Zeile 88: / Zeile 108: @@
 Asaad, Monica, "TBD" (BA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\
+\\
+**15:15-15:30**\\
+Stolz, Tarek, "TBD" (BA-Antrittsvortrag)\\
+Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\
+\\
+**15:30-15:45**\\
+Lüer, Maximilian, "TBD" (BA-Antrittsvortrag)\\
+Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\
+\\
+**15:45-16:30**\\
+Henn, Thomas, "Viability of BDDs in Property Directed Reachability" (MA-Abschlussvortrag)\\
+Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\
 \\
@@ Zeile 113: / Zeile 148: @@
 \\
 **15:15-15:30**\\
-Grochowski, Marco, "TBA" (BA-Antrittsvortrag)\\
+Conrads, Kevin, "TBA" (BA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\
@@ Zeile 124: / Zeile 159: @@
 **16:00-16:15**\\
 Rolf, Johannes, "TBD" (BA-Antrittsvortrag)\\
-Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\
+Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\
 \\
 **16:15-16:30**\\
-Lüer, Maximilian, "TBD" (BA-Antrittsvortrag)\\
+Kreuzberg, Lars, "TBD" (BA-Antrittsvortrag)\\
-Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\
+Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\
 \\
 **16:30-16:45**\\
-Kreuzberg, Lars, "TBD" (BA-Antrittsvortrag)\\
+Hess, Judy, "TBD" (MA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\
 \\
 **16:45-17:00**\\
-Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF"\\
+Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF" (BA-Antrittsvortrag)\\
-(BA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\
 \\
 **17:00-17:15**\\
-Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten"\\
+Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten/Transduktoren" (BA-Antrittsvortrag)\\
-(BA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\
 \\
 **17:15-17:30**\\
-Wortmann, Jannik, "Minimierung von Produkten deterministischer endlicher Transduktoren"\\
+Förster, Marc, "To be announced" (BA-Antrittsvortrag)\\
-(BA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\
@@ Zeile 160: / Zeile 192: @@
 === 16.05.2019 (KW 20, Do) ===
 \\
-Verfügbarer Zeitrahmen: 16:00-17:30 Uhr \\
+Verfügbarer Zeitrahmen: 16:00-17:45 Uhr \\
 \\
-Moderation: TBA\\
+Moderation: [[lehrstuhl:mitarbeiter:scheffe]]\\
 \\
 **16:00-16:15**\\
-Ngo, Vu, "TBD" (BA-Antrittsvortrag)\\
+Ngo, Vu, "Combining Graphs for Maneuver-based Motion Planning of Networked Vehicles" (BA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\
 \\
 **16:15-16:30**\\
-Bittner, Dominik, "TBD" (BA-Antrittsvortrag)\\
+Bittner, Dominik, "Entwicklung einer Software-Testumgebung für die Komplikationserkennung
+bei akutem Lungenversagen" (BA-Antrittsvortrag)\\
 Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\
 \\
 **16:30-16:45**\\
-Rennert, Christian, "TBD" (BA-Antrittsvortrag)\\
+Rüll, Annika, "Entwicklung einer Query-Sprache für SysML-Modelle" (BA-Antrittsvortrag)\\
-Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\
+Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\
 \\
 **16:45-17:00**\\
-Rüll, Annika, "TBD" (BA-Antrittsvortrag)\\
+Kluener, David, "Entwicklung eines Automaten-basierten Orchestrators für Dienste-orientierte Architekturen" (BA-Antrittsvortrag)\\
-Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\
+Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\
 \\
 **17:00-17:15**\\
-Nothnick, Philipp, "Testen von SmartTVs" (BA-Antrittsvortrag)\\
+Rogalski, Jan, "Konzept und Aufbau eines Prüfstandes für eine dienstorientierte Softwarearchitektur im Fahrzeug" (MA-Antrittsvortrag)\\
-Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\
+Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\
 \\
 **17:15-17:30**\\
-Rogalski, Jan, "TBD" (MA-Antrittsvortrag)\\
+Nothnick, Philipp, "Testen von SmartTVs" (BA-Antrittsvortrag)\\
-Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\
+Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\
 \\
 **17:30-17:45**\\
-Kluener, David, "TBD" (BA-Antrittsvortrag)\\
+Rennert, Christian, "TBD" (BA-Antrittsvortrag)\\
-Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\
+Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\
 \\