MAIS Graduate Seminar

Organizer:

Prof. Dr. Heiko Mantel

Location:

S2|02, E302

Time:

Tuesdays, 14:25h

Date/Time	Speaker	Title
17.04.2012
24.04.2012	Abdullah Abdul Khadir	An Overview of Datalog and Extensions
08.05.2012	Lucas Rothamel Timo Bähr,Jan Keller David Schneider,Alexandra Weber	Formalization of Android Inter-application Communication   A Certifying App Store on Android
15.05.2012	Richard Gay	SACo: A Tool for Composing Service Automata to Encapsulate Java Programs
22.05.2012
29.05.2012	Matthias Perner Daniel Staesche	Scheduler-Independent Declassification Security Preserving Refinement of CSP Specifications
05.06.2012	Frank Hadasch	Studying User-Caused Information Leaks: results of an empirical interview study, design of an user experiment, and prototype of a policy modeling environment
12.06.2012	Sylvia Grewe Steffen Lortz	Towards a Framework for Soundness Proofs of Type Systems in Language-based Information-flow Security Robustness of Information Flow Security Under Refinement of Synchronization Primitives
19.06.2012	Abdullah Abdul Khadir	Delegating to Complete Complex Tasks Elegantly and Efficiently
26.06.2012
03.07.2012	Tobias Freudenreich	Event-based Systems: Enabling Future, Distributed Applications
10.07.2012	Björn Bartels	Verification of Distributed Embedded Real-Time Systems and Their Low-Level Implementations using Timed CSP

Last modified on 19 July 2012.