This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| manchester12 [2012/03/24 19:43] – vkuncak | manchester12 [2012/06/12 02:26] (current) – vkuncak |
|---|
| ====== 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. |
| The joint workshop will take place on June 30th and July 1st. | The joint workshop will take place on June 30th and July 1st. |
| |
| Information about IJCAR satellite event schedule is here: | More information is available from [[http://baldur.iti.kit.edu/SVARM-VERIFY-2012/|SVARM-VERIFY 2012]] page. |
| http://ijcar.cs.manchester.ac.uk/?page_id=198 | |