[Prev][Next][Index][Thread]
CFP: Computer Aided Verification 2002
-
To: amast <amast@cs.utwente.nl>, appsem <appsem@cs.chalmers.se>, BRICS PHD <brics-phd@brics.dk>, BRICS VIP <brics-vip@brics.dk>, concurrency <concurrency@cwi.nl>, eacsl <eacsl@dimi.uniud.it>, formal-methods <formal-methods@cs.uidaho.edu>, lics-request <lics-request@sun1.mathematik.uni-freiburg.de>, nwpt-info <nwpt-info@sool.ioc.ee>, papm <papm@dcs.ed.ac.uk>, PetriNets <PetriNets@daimi.aau.dk>, softverf <softverf@nist.gov>, theorem-provers <theorem-provers@ai.mit.edu>, types <types@cis.upenn.edu>
-
Subject: CFP: Computer Aided Verification 2002
-
From: "Kim G. Larsen" <kgl@cs.auc.dk>
-
Date: Fri, 14 Sep 2001 15:29:38 +0200
-
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:0.9.2) Gecko/20010726 Netscape6/6.1
CALL FOR PAPERS
CAV 2002
14th International Conference on Computer Aided Verification
Copenhagen, Denmark, July, 27-31, 2002
URL: http://floc02.diku.dk/CAV E-mail: cav02@itu.dk submission
Deadline: January 15, 2002
AIMS and SCOPE of the CONFERENCE:
CAV'02 conference is the fourteenth in a series dedicated to the
advancement of the theory and practice of computer-assisted formal
analysis methods for software and hardware systems. This years
CAV conference will be part of the Federation of Logic
Conferences. The conference covers the spectrum from theoretical
results to concrete applications, with an emphasis on practical
verification tools and the algorithms and techniques that are
needed for their implementation. The proceedings of the
conference will be published in the Springer-Verlag Lecture Notes
in Computer Science series.
Topics of interest include:
-Algorithms and tools (such as state-space exploration,
model-checking, synthesis, automated deduction, and
proof-checking) ;
-Verification techniques (such as state-space and
transition-relation reduction methods, symbolic methods,
probabilistic methods, compositional and modular reasoning,
theorem proving, proof checking, and integration of algorithmic
and deductive methods) ;
-Applications and case studies (such as synchronous and
asynchronous circuits, communication protocols, distributed
algorithms, real-time and embedded control systems, security)
-Modeling and specification formalisms (such as logical,
automata-based, and algebraic methods) ;
-Testing based on verification technology ;
-Verification in practice (integration of verification with
design, specification, testing, debugging, and code generation) ;
-Software verification (techniques for verifying systems expressed
with widespread languages).
SUBMISSION INFORMATION
The conference will include contributed papers, tool
presentations, and invited lectures. There are two categories of
submissions:
A. Regular papers. Submissions should include an extended abstract
not exceeding thirteen (13) pages. The submission should contain
original research, and sufficient detail to assess the merits and
relevance of the contribution. For papers reporting experimental
results, authors are strongly encouraged to make their data
available with their submission. Simultaneous submission to other
conferences with proceedings or submission of material that has
already been published elsewhere is not allowed.
B. Tool presentations. Submissions should be an abstract not
exceeding four (4) pages. The same page limit (4) applies to the
conference proceedings. The submission should describe the
implemented tool and its novel features. A demonstration is
expected to accompany a tool presentation. Papers describing tools
that have already been presented in this conference before will be
accepted only if significant and clear enhancements to the tool
are reported and implemented.
Each submission should start with a title page containing the
category (A or B), the title of the paper, each author's name and
affiliation, the contact author's physical and e-mail addresses,
phone number, a one- or two-paragraph abstract, and a list of
keywords; electronic submissions are strongly encouraged. For
instructions see the conference home page
http://http://floc02.diku.dk/CAV or send a message with subject
``submission information'' to: cav02@itu.dk.
IMPORTANT DATES
Paper submission (firm): January 15, 2002
Notification of acceptance: March 28, 2002
Final version due: April 30, 2002
Submissions not received by January 15, 2002, or exceeding the
page limit run the risk of automatic rejection. People who do not
have internet access can send ten (10) hardcopies of the submission
to:
Kim G. Larsen
Aalborg University
Department of Computer Science
Fredrik Bajersvej 7E
DK-9220 Aalborg, DENMARK
PRORGRAM COMMITTEE
David Basin (Freiburg)
Armin Biere (Zürich)
Thomas Ball (Microsoft)
Ed Brinksma (Twente, co-chair)
Werner Damm (Oldenburg)
E. Allen Emerson (U. Texas-Austin)
Alain Finkel (LSV)\\[0.6ex]
Nicolas Halbwachs (Verimag)
Klaus Havelund (NASA)
John Hatcliff (Kansas State Univ.)
Thomas Henzinger (Stanford)
Andreas Kuehlmann (Cadence)
Orna Kupferman (Jerusalem)
Kim Larsen (Aalborg, co-chair)
Tim Leonard (Compaq)
Ken McMillan (Cadence)
Kedar Namjoshi (Bell Labs)
Doron Peled (Bell Labs)
Amir Pnueli (Weizmann)
Natarajan Shankar (SRI)
Joseph Sifakis (Verimag)
Bernhard Steffen (Dortmund)
Fabio Somenzi (U. Colorado)
Wang Yi (Uppsala Univ.)
Yaron Wolfsthal (IBM)
CAV STEERING COMMITTEE
Edmund Clarke (CMU)
Robert Kurshan (Bell Labs)
Amir Pnueli (Weizmann)
Joseph Sifakis (Verimag)
CONFERENCE CHAIR
Jens Christian Godskesen (IT-U, Copenhagen)
ADDRESSES
Kim G. Larsen (kgl@cs.auc.dk)
Aalborg University
Department of Computer Science
Fredrik Bajersvej 7E
DK-9220 Aalborg
Denmark
Phone: +45 96358893
Fax: +45 98159889
Ed Brinksma (brinksma@cs.utwente.nl)
Department of Computer Science
Tele-Informatics and Open Systems group (TIOS)
P.O. Box 217
7500 AE Enschede
The Netherlands
Phone : +31 -53 4893676
Fax : +31 -53 4893247
URL: http://floc02.diku.dk/CAV
E-mail: cav02@itu.dk