[ 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
------------------------------------------------------------------------------
WhatsUp Gold - Download Free Network Management Software
The most intuitive, comprehensive, and cost-effective network
management toolset available today. Delivers lowest initial
acquisition cost and overall TCO of any competing solution.
http://p.sf.net/sfu/whatsupgold-sd
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
