Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
svarm11 [2011/02/16 10:50] vkuncak |
svarm11 [2011/04/12 18:01] 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]]: **Quantitative Reactive Models** | + | * [[http://pub.ist.ac.at/~tah/|Thomas A. Henzinger]]: **Quantitative Reactive Models**, Friday, April 1st, 2pm |
- | * [[http://people.epfl.ch/george.candea|George Candea]]: **S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems** | + | * [[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** | + | * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions**, Sunday, April 3rd, 9am |
+ | |||
{{:etapslogo.jpg|}} | {{:etapslogo.jpg|}} |