Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
manchester12 [2012/03/24 19:43] vkuncak |
manchester12 [2012/04/01 08:41] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== SVARM 2012 meeting in Manchester ====== | + | ====== VERIFY and COST SVARM 2012 meeting in Manchester ====== |
This meeting of the [[http://richmodels.epfl.ch|Rich Model Toolkit]] COST Action meeting is organized by Viktor Kuncak in collaboration with the VERIFY workshop and is collocated with [[http://ijcar.cs.manchester.ac.uk/|IJCAR 2012]] and part of the [[http://www.mathcomp.leeds.ac.uk/turing2012/|2012 Alan Turing year]] celebration. | This meeting of the [[http://richmodels.epfl.ch|Rich Model Toolkit]] COST Action meeting is organized by Viktor Kuncak in collaboration with the VERIFY workshop and is collocated with [[http://ijcar.cs.manchester.ac.uk/|IJCAR 2012]] and part of the [[http://www.mathcomp.leeds.ac.uk/turing2012/|2012 Alan Turing year]] celebration. |