Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
svarm [2010/05/11 11:51] vkuncak |
svarm [2010/05/21 18:31] vkuncak |
||
---|---|---|---|
Line 3: | Line 3: | ||
^ [[svarm:program|SVARM Program]] ^ | ^ [[svarm:program|SVARM Program]] ^ | ||
- | [[http://www.floc-conference.org/registration.html|Registration is through FLoC Registation]] (unless you are IC0901 MC member, in which case you should wait for further details to be communicated to you directly) | + | [[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 21: | Line 21: | ||
Abstract submission is now closed ([[svarm-cfp.txt|Call for Abstracts in Text Format]]) | Abstract submission is now closed ([[svarm-cfp.txt|Call for Abstracts in Text Format]]) | ||
- | |||
- | 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 :) | ||
- | |||
- | 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. | ||
===== Scope of the Event ===== | ===== Scope of the Event ===== | ||
Line 80: | Line 71: | ||
* [[http://lara.epfl.ch/~kuncak/|Viktor Kuncak]] | * [[http://lara.epfl.ch/~kuncak/|Viktor Kuncak]] | ||
* [[http://www.fit.vutbr.cz/~vojnar/|Tomas Vojnar]] | * [[http://www.fit.vutbr.cz/~vojnar/|Tomas Vojnar]] | ||
+ | |||
+ | 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}} | ||
+ | |||
+ | 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 :) | ||
+ | |||
+ | 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. | ||
^ [[svarm:program|SVARM Program]] ^ | ^ [[svarm:program|SVARM Program]] ^ | ||