Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
svarm [2010/05/11 11:51] vkuncak |
svarm [2010/05/11 11:51] vkuncak |
||
---|---|---|---|
Line 5: | Line 5: | ||
[[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]] (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]] |