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/24 08:00] 127.0.0.1 Externe Bearbeitung |
lehre:vortraege [2019/05/24 12:51] foerster [Juni] |
||
|---|---|---|---|
| Zeile 123: | Zeile 123: | ||
| Henn, Thomas, "Viability of BDDs in Property Directed Reachability" (MA-Abschlussvortrag)\\ | Henn, Thomas, "Viability of BDDs in Property Directed Reachability" (MA-Abschlussvortrag)\\ | ||
| Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ | ||
| + | |||
| + | \\ | ||
| + | **17:15-17:30**\\ | ||
| + | Förster, Marc, "To be announced" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| + | |||
| \\ | \\ | ||