Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
svarm11 [2011/02/24 10:55] vkuncak |
svarm11 [2011/04/12 18:00] 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]]. | ||
| Line 8: | Line 10: | ||
| * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions**, Sunday, April 3rd, 9am | * [[http://mir.cs.illinois.edu/~marinov/|Darko Marinov]]: **Systematic Software Testing Using Test Abstractions**, Sunday, April 3rd, 9am | ||
| - | [[program.txt|Program]] | + | {{:svarm2011.pdf|Meeting Program}} |
| {{:etapslogo.jpg|}} | {{:etapslogo.jpg|}} | ||