Recent and Upcoming Dates
| 03.11.2016 | Mike Neumann | Simmulation von alternierenden 2-Wege-Automaten |
| 27.10.2016 | Christian Kreutzfeldt | Selbstorganisierende und selbstüberwachende physikalische Systeme in Schadenslagen der Freiwilligen Feuerwehren |
| 20.10.2016 | Christian Friedrich, Marvin Küh | Performance von RESTful Webapplikationen am Beispiel der Hochschulsport-Buchungssoftware; Webbasierte Präsentationsaufnahme-Software |
| 15.09.2016 | Malte Schmitz | Runtime Verification and Meta Modelling |
| 22.07.2016 | Dominik Huber | TLTL3-Semantik und Monitor Konstruktion (Zwischenbericht Masterarbeit) |
| 07.07.2016 | Danilo à Tellinghusen, Jonas Wagner | OSCP SDK: Swiss Army Knife and Device Modeler (Zwischenbericht Masterarbeit) |
| 16.06.2016 | Torben Scheffel | Efficient abstraction algorithms for predicate detection (article review) |
| 30.05.2016 | Peter Habermehl, IRIF, Univ. Paris Diderot (Paris VII), Paris | Regular transformations of data words through origin information |
| 17.05.2016 | Rui Wang und Fernando Macias, Høgskolen i Bergen, Bergen | RV and MBT for distributed Protocols / Hierarchical modelling in Ecore |
| 21.03.2016 | Anselm von Gladiß (IMT, Uni Lübeck) | Software Development in MPI |
| 21.01.2016 | Frau Scheuplein (Fa. Dräger) | Scrum in der Praxis |
| 11.06.2015 | Arnaud Sangnier, LIAFA, Univ. Paris Diderot (Paris VII) | Parameterized verification of Networks with (selective) broadcast |
Schedule is subject to changes.