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
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang