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/04/29 10:51] vkuncak |
svarm [2010/05/11 11:51] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Synthesis, Verification, and Analysis of Rich Models (SVARM) ====== | ====== Synthesis, Verification, and Analysis of Rich Models (SVARM) ====== | ||
- | [[svarm:PROGRAM]] | + | ^ [[svarm:program|SVARM Program]] ^ |
- | [[svarm-cfp.txt|Call for Abstracts in Text Format]] | + | [[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) |
- | **S**ynthesis, **V**erification, and **A**nalysis of **R**ich **M**odels **(SVARM)**((SVARM could also be taken to mean: Synthesis, Verification, and Automated Reasoning Methods)) 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: |
* [[http://www.floc-conference.org/IJCAR-cfp.html|IJCAR 2010]] | * [[http://www.floc-conference.org/IJCAR-cfp.html|IJCAR 2010]] | ||
* [[http://www.floc-conference.org/CAV.html|CAV 2010]] | * [[http://www.floc-conference.org/CAV.html|CAV 2010]] | ||
Line 18: | 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 | + | |
- | Abstract submission is now closed. A full two days of program, which will be announced soon. | + | Abstract submission is now closed ([[svarm-cfp.txt|Call for Abstracts in Text Format]]) |
Important dates: | Important dates: | ||
Line 81: | Line 80: | ||
* [[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]] | ||
- | |||
- | Publicity Chair: **[[http://icwww.epfl.ch/~piskac/|Ruzica Piskac]]** | ||
{{:ic0901-e.pdf|Description of the COST Action IC0901}} | {{:ic0901-e.pdf|Description of the COST Action IC0901}} | ||
+ | |||
+ | ^ [[svarm:program|SVARM Program]] ^ | ||