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/07 17:31] vkuncak |
svarm11 [2011/03/23 19:02] 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**, 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 | ||
| + | {{:svarm2011.pdf|Meeting Program}} | ||
| {{:etapslogo.jpg|}} | {{:etapslogo.jpg|}} | ||
| Line 57: | Line 59: | ||
| 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]] | ||