Oberseminar Formale Methoden
Organization: Prof. H. Mantel, Prof. Chr. Walther
Time: Mondays, 16:30-18:00
Location: S2|02, room E202
Schedule
| Date | Speaker | Title / Abstract |
| 12.4.2010 | — | — |
| 19.4.2010 | — | — |
| 26.4.2010 | — | — |
| 3.5.2010 | — | — |
| 10.5.2010 | — | — |
| 17.5.2010 | — | — |
| 24.5.2010 | — | — |
| 31.5.2010 | — | — |
| 7.6.2010 (room E302!) |
Henning Sudbrock | Flexible Scheduler-independent Security |
| 14.6.2010 | — | — |
| 21.6.2010 (room E302, 14:00) |
Gregor Snelting | Nichtinterferenz für interaktive, sequentielle, deterministische Programme |
| 28.6.2010 | — | — |
| 5.7.2010 (entfällt) |
Heiko Spies | Überzeugungen im Wandel. Wissensveränderungen in verschiedenen Darstellungen, deren Zusammenhänge und Bezug zur AGM-Theorie |
| 12.7.2010 | Markus Aderhold | Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion |
| 19.7.2010 | — | — |
| 26.7.2010 (room E302, 14:00) |
Rajeev Gore | A first-order policy language for history-based transaction monitoring |
Print
Imprint
Sitemap
Contact