[Om-announce] CAV 2011 Call for Participation

[Sandip Ray]

[ Apologies if you receive more than one copy of this CFP.  Please 
  share it with students and colleagues who may be interested. ]

                   CALL FOR PARTICIPATION
                   
 23rd International Conference on Computer Aided Verification (CAV 2011)
                Cliff Lodge, Snowbird, Utah, USA

HIGHLIGHTS OF CAV, JULY 16-20
. 35 regular papers, 20 tool papers, 4 invited talks, 4 tutorials
. Students may apply for NSF travel awards
. Four Invited Tutorials on July 16
. Details at  http://www.cs.utah.edu/cav2011

HIGHLIGHTS OF PRE-CAV WORKSHOPS, JULY 14-15
. NSV 2011:  The Fourth International Workshop on Numerical Software Verification 
. PDMC 2011: 10th International Workshop on Parallel and Distributed Methods in Verifications 
. EC2 2011:  The Fourth International Workshop on Exploiting Concurrency Efficiently and Correctly 
. FAC 2011:  Frontiers in Analog Circuit Synthesis and Verification 
. SMT 2011:  International Workshop on Satisfiability Modulo Theories, including SMT-COMP 
. SPIN 2011: 18th International SPIN Workshop on Model Checking of Software 
. FM-R 2011: Formal Methods for Robotics and Automation 
. PSY 2011:  Practical Synthesis for Concurrent Systems 

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"

REGISTRATION
. Registration and Lodging for CAV and Pre-CAV Workshops: http://www.cs.utah.edu/cav2011
. Early Registration Deadline : June 20, 2011
. Special student registration rates

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

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