Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
svarm11 [2010/08/16 12:11] 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 ====== | ||
- | **S**ynthesis, **V**erification, and **A**nalysis of **R**ich **M**odels **(SVARM)** will take place April 1-3, 2011, as part of [[http://www.etaps.org/|ETAPS 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]]. | ||
+ | |||
+ | **Invited speakers:** | ||
+ | * [[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**, 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 36: | Line 49: | ||
* **High-level synthesis:** New algorithms for synthesis from high-level specifications. Extending decision procedures to perform synthesis tasks. Connections between invariant generation and code synthesis. | * **High-level synthesis:** New algorithms for synthesis from high-level specifications. Extending decision procedures to perform synthesis tasks. Connections between invariant generation and code synthesis. | ||
- | ===== Contact ===== | + | ===== Contacts ===== |
- | * [[http://www.mpi-sws.org/index_noflash.php?n=people/Rupak_Majumdar|Rupak Majumdar]] | + | Chairs: |
- | * [[http://lara.epfl.ch/~kuncak/|Viktor Kuncak]] | + | |
* [[http://react.cs.uni-sb.de/finkbeiner|Bernd Finkbeiner]] | * [[http://react.cs.uni-sb.de/finkbeiner|Bernd Finkbeiner]] | ||
+ | * [[http://lara.epfl.ch/~kuncak/|Viktor Kuncak]] | ||
+ | * [[http://www.mpi-sws.org/index_noflash.php?n=people/Rupak_Majumdar|Rupak Majumdar]] | ||
For program committee, please see http://richmodels.org | For program committee, please see http://richmodels.org | ||
{{:ic0901-e.pdf|Description of the COST Action IC0901}} | {{:ic0901-e.pdf|Description of the COST Action IC0901}} | ||
- | |||
- | Important dates: TBD | ||
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]] | ||