Differences

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

--- svarm [2010/05/11 11:51]
vkuncak
+++ svarm [2010/05/11 19:48]
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)
-**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/CAV.html|CAV 2010]]
@@ Line 80: / Line 80: @@
   * [[http://lara.epfl.ch/~kuncak/|Viktor Kuncak]]
   * [[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}}