[FOM] CAV 2011 CALL FOR PAPERS

[Sandip Ray]

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

CALL FOR PAPERS
. 23rd International Conference on Computer Aided Verification (CAV 2011)
. July 14-20, 2011, Cliff Lodge, Snowbird, Utah, USA
. http://www.cs.utah.edu/cav2011

TOPICS OF INTEREST INCLUDE
. Algorithms and tools for verifying models and implementations
. Hardware verification techniques 
. Hybrid systems and embedded systems verification 
. Deductive, compositional, and abstraction techniques for verification 
. Program analysis and software verification 
. Verification techniques for security 
. Testing and runtime analysis based on verification technology 
. Verification methods for parallel/concurrent hardware/software systems
. Applications and case studies 
. Verification in industrial practice 
. Formal methods for biological systems 

IMPORTANT DEADLINES and DATES
. Abstract submission: January 14, 2011
. Paper submission (firm): January 21, 2011 at 23:59 Samoa time (UTC/GMT-11)
. Paper Categories and Page Limits (LNCS format):
  - Regular Papers: 16 pages (up from 14)
  - Tool Presentations: 6 pages 
. Author feedback/rebuttal period: March 7-9, 2011 
. Notification of acceptance/rejection: March 19, 2011
. Final version due: April 19, 2011
. CAV Award Nominations Due: January 21, 2011
 
CAV AWARD NOMINATIONS REQUESTED
 The annual CAV Award has been established for a specific fundamental
 contribution or a series of outstanding contributions to the field of
 Computer Aided Verification. Details of nomination at the CAV website.  
 
ACCEPTED CAV WORKSHOPS (details on webpage)
. Two day Workshops: SPIN, EC2, SMT, and FAC
. One day Workshop:  PDMC, NSV, FM-R, CA-CAV, and PSY

ORGANIZATION
. Program co-chairs:
  - Ganesh Gopalakrishnan, University of Utah, USA
  - Shaz Qadeer, Microsoft Research, USA
. Local Arrangements Chair: Eric Mercer, BYU, USA
. Workshops Chair: Neha Rungta, NASA Ames Res. Ctr, USA
. Publicity Chair: Sandip Ray, UT Austin, USA