[FOM] CAV 2011 Call for Participation

[Sandip Ray]

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


                  CALL FOR PARTICIPATION

 23rd International Conference on Computer Aided Verification (CAV 2011)
       CAV Workshops NSV, PDMC, EC2, FAC, SMT, SPIN, FM-R, PSY
       
               Cliff Lodge, Snowbird, Utah, USA
                 http://www.cs.utah.edu/cav2011        

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

--