Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
svarm11 [2011/01/05 14:09]
vkuncak
svarm11 [2011/04/12 18:01] (current)
cesar.sanchez
Line 1: Line 1:
 ====== Synthesis, Verification,​ and Analysis of Rich Models (SVARM) 2011 ====== ====== 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]]. **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:** **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]]: **Systematic Software Testing Using Test Abstractions**,​ Sunday, April 3rd, 9am 
  
  
 {{:​etapslogo.jpg|}} {{:​etapslogo.jpg|}}
  
-It is supported by the [[http://​richmodels.org|COST Action IC0901]] ​+The event is supported by the [[http://​richmodels.org|COST Action IC0901]], but the participation is open to all registered participants. The presentations are by invitation. 
 + 
 +Participants from COST Action will receive special registration instructions,​ for other participants the registration proceeds as for other ETAPS workshops. 
 + 
 +In any case, the registration will be through the [[http://​www.etaps.org/​|ETAPS web site]].
  
 {{:​logo_cost.gif|COST}} {{:​logo_cost.gif|COST}}
Line 53: Line 61:
  
 The focus of the event is on presentations and discussions;​ there will be neither electronic nor paper proceedings before the event. 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]]