This is an old revision of the document!
A PCRE internal error occured. This might be caused by a faulty plugin
====== 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.