This meeting of the Rich Model Toolkit COST Action meeting is organized by Viktor Kuncak in collaboration with the VERIFY workshop and is collocated with IJCAR 2012 and part of the 2012 Alan Turing year celebration.
The joint workshop will take place on June 30th and July 1st.
More information is available from SVARM-VERIFY 2012 page.