CFP: Computer Aided Verification 2002


                              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


     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).


The   conference    will   include   contributed    papers,   tool
presentations,  and  invited lectures.  There  are  two categories  of

  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.


     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

	Kim G. Larsen
	Aalborg University
	Department of Computer Science
	Fredrik Bajersvej 7E
	DK-9220 Aalborg, DENMARK


     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)


     Edmund Clarke (CMU)
     Robert Kurshan (Bell Labs)
     Amir Pnueli (Weizmann)
     Joseph Sifakis (Verimag)


     Jens Christian Godskesen (IT-U, Copenhagen)


     Kim G. Larsen (kgl@cs.auc.dk)		
     Aalborg University			
     Department of Computer Science
     Fredrik Bajersvej 7E			
     DK-9220 Aalborg
     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