REGISTRATION/LODGING FOR CAV AND WORKSHOPS . Early Registration Deadline : June 20, 2011 
[room block likely to be exhausted June 13]

HIGHLIGHTS OF CAV, JULY 16-20
. 35 regular papers, 20 tool papers, 4 invited talks, 4 tutorials . Details at  
http://www.cs.utah.edu/cav2011

CAV INVITED SPEAKERS
. Andy Chou, Coverity Inc., "Static Analysis Tools in Industry: Notes from the Front Line"
. Vigyan Singhal, Oski Technology Inc., "Deploying Formal in a Simulation World"
. Vikram Adve, Illinois, "Parallel Programming Should Be - and Can Be - Determinstic by Default . 
Rolf Ernst, Univ of Braunschweig, "Analysis in Automotive Systems Design - a Rocky Ride to New 
Grounds"

CAV TUTORIAL SPEAKERS
. Vijay Ganesh, MIT, "HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection"
. Ranjit Jhala, UCSD, "Using Types For Software Verification"
. Shuvendu Lahiri, Microsoft Research, "SMT-based Modular Analysis of Sequential Systems Code"
. Andre Platzer, CMU, "Logic and Compositional Verification of Hybrid Systems"

INVITED SPEAKERS OF PRE-CAV WORKSHOPS, JULY 14-15 . NSV 2011:  The Fourth International Workshop on Numerical Software Verification
   - James Demmel, Berkeley
   - Thomas Gawlitza, INRIA Rhônes-Alpes

. PDMC 2011: 10th International Workshop on Parallel and Distributed Methods in Verifications
   - Lubos Brim, Brno
   - Orna Grumberg, Technion
   - Kim G. Larsen, Aalborg
   - Jaco van de Pol, Twente
   - Moshe Vardi, Rice

. EC2 2011:  The Fourth International Workshop on Exploiting Concurrency Efficiently and Correctly
   - Tom Ball, MSR Redmond
   - Martin Berzins, Univ of Utah
   - Guy Blelloch, CMU
   - Johannes Gehrke, Cornell
   - Murali Talupur, Intel
   - Richard Vuduc, GaTech

. FAC 2011:  Frontiers in Analog Circuit Synthesis and Verification
   - Christoph Grimm, TU Wein
   - Mark Horowitz, Stanford
   - Robert Hum, Mentor Graphics
   - Mahai Marcu, Agilent
   - Rob Rutenbar, Illinois
   - Gergory Taylor, Intel

. SMT 2011:  International Workshop on Satisfiability Modulo Theories, including SMT-COMP
   - Viktor Kuncak, EPFL
   - Bud Mishra, NYU

. SPIN 2011: 18th International SPIN Workshop on Model Checking of Software
   - Jasmin Fisher, MSR Cambridge
   - John Regehr, Univ of Utah

. FM-R 2011: Formal Methods for Robotics and Automation
   -  Rajeev Alur, U Penn
   -  Calin Belta, Boston U
   -  Krishnendu Chatterjee, IST
   -  Oded Maler, IMAG
   -  Moshe Vardi, Rice

. PSY 2011:  Practical Synthesis for Concurrent Systems
   - Rajeev Alur, U Penn
   - Bernd Finkbeiner, Saarland U
   - Viktor Kuncak, EPFL
   - Doug Smith, Kestrel
   - Armando Solar-Lezama, MIT

PROGRAM CO-CHAIRS
. Ganesh Gopalakrishnan, University of Utah, USA . Shaz Qadeer, Microsoft Research, USA

ARRANGEMENTS
. Local Arrangements Chair: Eric Mercer, BYU, USA . Workshops Chair: Neha Rungta, NASA Ames Res. Ctr, USA . Publicity Chair: Sandip Ray, UT Austin, USA . Webmaster: Geof Sawaya, Univ. of Utah, USA

WORKSHOP CHAIRS
* NSV:  Eric Goubault (CEA LIST), Sylvie Putot (CEA LIST),
         Stefan Ratschan (Acad. Science), Sriram Sankaranarayanan (UC Boulder)
* PDMC: Jiri Barnat (Masaryk U), Keijo Heljanko (Aalto U)
* EC2:  Sebastian Burkhardt (MSR), Swarat Chaudhuri (Rice U),
         Azadeh Farzan (U Toronto), Ganesh Gopalakrishnan (U Utah),
         Stephen Siegel (U Delaware), Helmut Veith (TU Wein)
* FAC:  Chris Myers (U Utah), Kevin Jones (Univ London)
* SMT:  Shuvendu Lahiri (MSR), Sanjit Seshia (Berkeley)
* SPIN: Alex Groce (Oregon State U), Madan Musuvathi (MSR)
* FM-R: Hadas Kress-Gazit (Cornell U), Nir Piterman (U of Leicester)
* PSY:  Martin Vechev (IBM TJ Watson), Eran Yahav (Technion)

STEERING COMMITTEE
. Michael J.C. Gordon, Cambridge
. Orna Grumberg, Technion
. Robert Kurshan, Cadence Inc
. Kenneth L. McMillan, Microsoft Research

SPONSORS
. Coverity, Google, IBM, Intel, Jasper, Microsoft Research, NEC, Nvidia, NSF