This is an old revision of the document!

A PCRE internal error occured. This might be caused by a faulty plugin

We will upload the slides for SVARM'11 here. ====== Friday, April 1 ====== ^ 13:55 - 16:00 ^ ^ SESSION 1 ^ | 13:55 | | Welcome | | 14:00 | Tom Henzinger (IST Austria) | Invited Talk: Quantitative reactive models | | 15:00 | Adrian Francalanza | Reasoning about explicit resource management in message passing concurrency | | 15:20 | Radu Calinescu | Quantitative verification of adaptive IT systems | | 15:40 | Ran Ji | Provably correct compilation of an abstract behavioral modeling language | ^16:00 - 16:30 ^ ** Coffee Break ** ^ ^ ^16:30 - 17:10 ^ ^ SESSION 2 ^ | | | | | 16.30 | Jesper Bengtson | Separation logic for OO programs in Coq | | 16:50 | Jasmin Blanchette | Link between interactive and automated theorem provers | ^ 17:10 - 18:00 ^ Business Meeting ^ ^ ^ 08:50 ^ Viktor Kuncak ^ Welcome and Opening ^ | | | | 09:00 | Eran Yahav | Synthesis of Memory Fences {{:svarm11:yahavslides.pptx|slides}} | | 09:30 | John Doe| Some good research results | ^ 10:00 - 10:30 ^ **Coffee Break** ^ ^ | | | | 10:30 | | //Session Chair: Cesar Sanchez// | | 10:30 | Alice Doe | Even better stuff|