February 6–10 2012
ARiSE and VCLA joint Winter School on Verification at Vienna University of Technology.