Differences

This shows you the differences between two versions of the page.

--- svarm11 [2011/02/09 11:36]
vkuncak
+++ svarm11 [2011/04/12 18:00]
cesar.sanchez
@@ Line 1: / Line 1: @@
 ====== Synthesis, Verification, and Analysis of Rich Models (SVARM) 2011 ======
+^ [[svarm11:program|SVARM Program and slides]] ^
 **S**ynthesis, **V**erification, and **A**nalysis of **R**ich **M**odels **(SVARM 2011)** will take place April 1-3, 2011, as part of [[http://www.etaps.org/|ETAPS 2011]].
 **Invited speakers:**
-  * [[http://pub.ist.ac.at/~tah/|Thomas A. Henzinger]]
+  * [[http://pub.ist.ac.at/~tah/|Thomas A. Henzinger]]: **Quantitative Reactive Models**, Friday, April 1st, 2pm
-  * [[http://people.epfl.ch/george.candea|George Candea]]
+  * [[http://people.epfl.ch/george.candea|George Candea]]: **S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems**, Saturday, April 2nd, 2pm
-  * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]
+  * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions**, Sunday, April 3rd, 9am
+{{:svarm2011.pdf|Meeting Program}}
 {{:etapslogo.jpg|}}
@@ Line 57: / Line 61: @@
 The focus of the event is on presentations and discussions; there will be neither electronic nor paper proceedings before the event.
+[[reimbursements|Reimbursement Rules for COST Members]]