Workshops

  1. A post-conference workshop on 18th December, 2012, on "Verification of Infinite-State Systems". More details are available here.

  2. A post conference Winter School organised by MSR during 18th December, 2012 to 22nd December, 2012. Preliminary information is available here.

    More details will be available in a week.