Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:vortraege [2020/01/29 13:00] 127.0.0.1 Externe Bearbeitung |
lehre:vortraege [2020/01/29 15:04] foerster [Dezember] |
||
|---|---|---|---|
| Zeile 180: | Zeile 180: | ||
| \\ | \\ | ||
| **15:30-15:45**\\ | **15:30-15:45**\\ | ||
| - | Förster, Marc, "Platzhalter" (Sonstiges)\\ | + | Mewar, Mallika, "A user interface for modelling and simulation of timed automata" (MA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| **15:45-16:00**\\ | **15:45-16:00**\\ | ||
| - | Förster, Marc, "Platzhalter" (Sonstiges)\\ | + | Suchmann, Lovis, "Constructing the simulation graph of timed transducers" (BA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||