The *International Summer School Marktoberdorf* 2011 on
*Tools for Analysis and Verification of Software Safety and Security*
http://asimod.in.tum.de/
is ready for applications. *Deadline*: March 04, 2011
The "Marktoberdorf Summer School" is a two weeks' course for young computer
scientists and mathematicians working in the field of formal software and
systems development. It provides in-depth presentations of state-of-the-art
topics in "Ananlysis and Verification of Software Systems" and promotes
international contacts and collaborations with leading researchers and young
scientists.
*Lecturers and Titles*
Bruno Blanchet: Mechanizing Game-Based Proofs of Security Protocols
Hubert Common-Lundh: Formal Security Proofs
Javier Esparza: Reachability in Models of Concurrent Programs
Orna Grumberg: Model Checking
Gerwin Klein: Interactive Proof: Applications to Semantics
Marta Kwiatkowska: Advances in Probabilistic Model Checking
Rustan Leino: Using and Building an Automatic Program Verifier
Rupak Majumdar: Software Model Checking
Sharad Malik: Boolean Satisfiability Solvers: Techniques and Extensions
Tobias Nipkow: Interactive Proof: Hands-on Introduction
Peter O'Hearn: Lectures on Separation Logic
Andrei Sabelfeld: Information-Flow Security
Helmut Seidl: Precise Fix-point Computation through Strategy Iteration
For further questions or our poster and flyer,
please contact: Dr. Katharina Spies, [email protected]
--
Dr. Katharina Spies
** executive director -- Summer School Marktoberdorf **
[email protected] | http://asimod.in.tum.de
Technische Universitaet Muenchen
Fakultaet fuer Informatik Tel.: ++49/89/289-17829
Boltzmannstr. 3 Fax: ++49/89/289-17307
D-85748 Garching (Muenchen) / Germany
------------------------------------------------------------------------------
Special Offer-- Download ArcSight Logger for FREE (a $49 USD value)!
Finally, a world-class log management solution at an even better price-free!
Download using promo code Free_Logger_4_Dev2Dev. Offer expires
February 28th, so secure your free ArcSight Logger TODAY!
http://p.sf.net/sfu/arcsight-sfd2d
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
