Call for Papers Workshop on Advances in VErification 20 July 2000 Chicago, USA (post-CAV 2000 Workshop) The purpose of this workshop is to provide an informal forum for the presentation of recent work, work-in-progress, and even highly speculative work on all aspects of mechanical program verification. Topics of interest include specification methods (specification languages, modeling frameworks, logics), verification methods (model checking, theorem proving, etc. ), applications and case studies (hardware verification, communication protocol verification, etc.), tools, practical aspects of verification, and theoretical foundations. Note: The only topics not sought for this workshop are security and symbolic trajectory evaluation; those should be submitted to the speciality workshops affiliated with CAV 2000. It is anticipated that the program will entail short talks (15 minutes), longer talks (30 minutes), tool demonstrations, and a roundtable discussion. Paper submission: An extended abstract (about 5-10 pages) explaining recent research results or work in progress should be mailed electronically to wave2000@cs.utah.edu, to be received by 21 April 2000. Submissions should be formatted as a PostScript file in USLetter or A4 size. Authors will be notified of acceptance or rejection by 21 May 2000 . Final versions of accepted papers will be due by 21 June 2000. These papers will be collected and distributed in an informal proceedings to be made available at the workshop. It is anticipated that most of the contributions will appear later in more polished form in refereed conferences and journals. DATES: Submissions: April 21, 2000 Notification: May 21, 2000 Final papers: June 21, 2000 Workshop: July 20, 2000 WEBSITE: www.cs.utah.edu/wave PROGRAM COMMITTEE: Rajeev Alur, Penn David Dill, Stanford Rob Gerth, Intel Patrice Godefroid, Bell Labs Ganesh Gopalakrishnan, Utah Mike Gordon, Cambridge Ken McMillan, Cadence Berkeley Labs Fabio Somenzi, Colorado ORGANIZING COMMITTEE: E. Allen Emerson A. Prasad Sistla ---