Differences

This shows you the differences between two versions of the page.

--- svarm11 [2010/08/16 12:08]
vkuncak
+++ svarm11 [2011/04/12 18:00]
cesar.sanchez
@@ Line 1: / Line 1: @@
 ====== 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
+{{:svarm2011.pdf|Meeting Program}}
 {{:etapslogo.jpg|}}
-The event explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable
+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.
-to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers,
-and information system users and developers.
-It is supported by the [[http://richmodels.org|COST Action IC0901]]
+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}}
+The event explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable
+to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers,
+and information system users and developers.
 ===== Scope of the Event =====
@@ 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.
-===== Chairs =====
+===== Contacts =====
-  * [[http://www.mpi-sws.org/index_noflash.php?n=people/Rupak_Majumdar|Rupak Majumdar]]
+Chairs:
+  * [[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:
+For program committee, please see http://richmodels.org
-  * http://richmodels.org
 {{: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.
+[[reimbursements|Reimbursement Rules for COST Members]]