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 | ||
|
svarm [2010/03/19 13:31] vkuncak |
svarm [2010/05/21 18:31] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Synthesis, Verification, and Analysis of Rich Models (SVARM) ====== | ====== Synthesis, Verification, and Analysis of Rich Models (SVARM) ====== | ||
| - | [[svarm-cfp.txt|Call for Abstracts in Text Format]] | + | ^ [[svarm:program|SVARM Program]] ^ |
| + | |||
| + | [[http://www.floc-conference.org/registration.html|Registration is through FLoC Registation]] | ||
| **S**ynthesis, **V**erification, and **A**nalysis of **R**ich **M**odels **(SVARM)** will take place July 20-21 in Edinburgh, UK as part of [[http://www.floc-conference.org/|FLoC 2010]]. The event is affiliated with two FLoC conferences: | **S**ynthesis, **V**erification, and **A**nalysis of **R**ich **M**odels **(SVARM)** will take place July 20-21 in Edinburgh, UK as part of [[http://www.floc-conference.org/|FLoC 2010]]. The event is affiliated with two FLoC conferences: | ||
| Line 16: | Line 18: | ||
| * **[[http://formal.iti.kit.edu/english/team_beckert.php|Bernhard Beckert]]: Formal Verification of System Software** | * **[[http://formal.iti.kit.edu/english/team_beckert.php|Bernhard Beckert]]: Formal Verification of System Software** | ||
| - | **Further selected presentations:** | + | ^ [[svarm:program|SVARM Program]] ^ |
| - | * over 10 presentations by the members of the **[[:|Rich Model Toolkit]]** initiative | + | |
| - | The event is now open to **additional abstract submissions from the scientific community** until 23 April 2010: | + | Abstract submission is now closed ([[svarm-cfp.txt|Call for Abstracts in Text Format]]) |
| - | * [[http://www.easychair.org/conferences/?conf=svarm2010|CLICK HERE TO SUBMIT YOUR ABSTRACT]] | + | |
| - | + | ||
| - | Important dates: | + | |
| - | * April 23: Abstract Submission Deadline | + | |
| - | * April 30: Notification. Program Published Online | + | |
| - | * July 20-21: camera-ready version of talks to be presented to the audience :) | + | |
| - | + | ||
| - | The submitted abstracts will be selected for presentation based on the originality of summarized results, expected presentation quality, and the likelihood of initiating discussion at SVARM. | + | |
| - | + | ||
| - | The focus of the event is on presentations and discussions; there will be neither electronic nor paper proceedings before the event.((The FLoC USB stick promises to be great fun, but you will not find us there.)) | + | |
| ===== Scope of the Event ===== | ===== Scope of the Event ===== | ||
| Line 81: | Line 72: | ||
| * [[http://www.fit.vutbr.cz/~vojnar/|Tomas Vojnar]] | * [[http://www.fit.vutbr.cz/~vojnar/|Tomas Vojnar]] | ||
| - | Publicity Chair: **[[http://icwww.epfl.ch/~piskac/|Ruzica Piskac]]** | + | Local organization: [[http://homepages.inf.ed.ac.uk/pbj/|Paul Jackson]] |
| {{:ic0901-e.pdf|Description of the COST Action IC0901}} | {{:ic0901-e.pdf|Description of the COST Action IC0901}} | ||
| - | ===== Abstract Submission ===== | + | Important dates: |
| + | * April 23: Abstract Submission Deadline (CLOSED) | ||
| + | * April 30: Notification. Program Published Online | ||
| + | * July 20-21: camera-ready version of talks to be presented to the audience :) | ||
| - | Abstract submission is open until 15 April 2010 through EasyChair: | + | The focus of the event is on presentations and discussions; there will be neither electronic nor paper proceedings before the event. |
| - | * [[http://www.easychair.org/conferences/?conf=svarm2010|CLICK HERE TO SUBMIT YOUR ABSTRACT]] | + | |
| + | ^ [[svarm:program|SVARM Program]] ^ | ||