A post-conference workshop on 18th December, 2012, on "Verification of Infinite-State Systems". More details are available
A post conference Winter School organised by MSR during 18th December, 2012 to 22nd December, 2012.
Preliminary information is available
More details will be available in a week.