[ 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 ------------------------------------------------------------------------------ Increase Visibility of Your 3D Game App & Earn a Chance To Win $500! Tap into the largest installed PC base & get more eyes on your game by optimizing for Intel(R) Graphics Technology. Get started today with the Intel(R) Software Partner Program. Five $500 cash prizes are up for grabs. http://p.sf.net/sfu/intelisp-dev2dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
