Rich Model Toolkit Rich Model Toolkit
  • Tools
    • Site Tools
    • Recent Changes
    • Media Manager
    • Sitemap
    • Page Tools
    • Show pagesource
    • Old revisions
    • Backlinks
    • Back to top
  • Log In

  1. Trace
  2. manchester12

manchester12

  • Show pagesource
  • Old revisions
  • Backlinks

VERIFY and COST SVARM 2012 meeting in Manchester

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.

  • manchester12.txt
  • Last modified: 2012/06/12 02:26
  • by vkuncak