The organizers of CAV 2011 and its workshops at Snowbird, Utah, USA (July 14-20) would like to highlight two important deadlines: - Special room rates : June 13th, 2011 - Early registration : June 20th, 2011 For more information, please visit http://www.cs.utah.edu/cav2011