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