Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
svarm11 [2011/01/05 14:09] vkuncak |
svarm11 [2011/02/09 12:17] vkuncak |
||
---|---|---|---|
Line 4: | Line 4: | ||
**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** |
- | * [[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** |
+ | * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions** | ||
{{: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}} |