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/06/07 13:56] akugler [Juni] |
lehre:vortraege [2018/06/12 10:34] chomicz [Juni] |
||
|---|---|---|---|
| Zeile 33: | Zeile 33: | ||
| **15:15-15:30**\\ | **15:15-15:30**\\ | ||
| Triefenbach, Lucas, "TBD" (MA-Antrittsvortrag)\\ | Triefenbach, Lucas, "TBD" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| **15:30-15:45**\\ | **15:30-15:45**\\ | ||
| Kugler, Alexander, "Patrick Barakat - TBD" (MA-Antrittsvortrag)\\ | Kugler, Alexander, "Patrick Barakat - TBD" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| **15:45-16:00**\\ | **15:45-16:00**\\ | ||
| Vukelic, Filip, "Relational Policy Iteration for Static Analysis of PLC Programs" (BA-Antrittsvortrag)\\ | Vukelic, Filip, "Relational Policy Iteration for Static Analysis of PLC Programs" (BA-Antrittsvortrag)\\ | ||
| Zeile 64: | Zeile 64: | ||
| Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: TBA\\ | + | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| \\ | \\ | ||
| **14:30-14:45**\\ | **14:30-14:45**\\ | ||
| Zeile 70: | Zeile 70: | ||
| Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| **14:45-15:00**\\ | **14:45-15:00**\\ | ||
| - | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| - | **15:00-15:15**\\ | ||
| Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ | Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ | ||
| Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| - | **15:15-15:30**\\ | + | **15:00-15:15**\\ |
| Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | ||
| Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| + | **15:15-15:30**\\ | ||
| + | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| **15:30-15:45**\\ | **15:30-15:45**\\ | ||
| - | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ | + | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Antrittsvortrag)\\ |
| - | \\ | + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| \\ | \\ | ||
| ==== Mai ==== | ==== Mai ==== | ||