Differences

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

Link to this comparison view

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:30]
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 80: 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]]
 +
 +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}}