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 Both sides next revision
svarm [2010/05/11 19:48]
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:​