[plt-scheme] CHARME 2003

----------------------------------------------------------------------
We apologize if you receive multiple copies of this announcement.
----------------------------------------------------------------------

***********************************************************************
                      C A L L    F O R    P A P E R S
***********************************************************************

                               CHARME 2003

          The 12th Advanced Research Working Conference on:

          Correct Hardware Design and Verification Methods

       21-24 October 2003, University of L'Aquila, L'Aquila, Italy

                   http://www.di.univaq.it/charme2003

           Co-sponsored by the IFIP TC10/WG10.5 Working Group on
                 Design and Engineering of Electronic Systems


CHARME 2003 is the twelfth in a series of working conferences devoted to
the development and use of leading-edge formal techniques and tools for
the design and verification of hardware and systems. It has been the aim
of the conference to expand its interest to software as well when the
technology is related. Previous conferences have been held in Darmstadt,
Edinburgh, Grenoble, Glasgow, Leuven, Torino, Arles, Frankfurt, Montreal,
and Bad Herrenalb, and Edinburgh. It is the biennial counterpart of
FMCAD, which takes place every even year in the USA.

The aim of CHARME 2003 is to bring together researchers and users from
academia and industry working in this active area of research. The
conference will cover original research results, case studies, use of
technologies across application domains, and reports on practical
experiments. Papers describing original work in all aspects of formal
hardware and system design and verification methods are invited. Papers
related to formal modeling and verification of concurrent software are
also welcome.

The event will be held 21-24 October 2003 and hosted by University of
L'Aquila, Italy. L'Aquila can be easily reached from Rome Airport.

Topics of interest include, but are not limited to:
* usage of semi-formal methods (combining simulation methods with formal verification)
* high level design modeling languages and high level design constructs 
* formal verification of hybrid systems
* timing verification
* formal methods for commercial hardware description languages
* correctness preserving transformations
* formal synthesis methods
* use of theorem provers for verification
* BDD and FSM based approaches, including model checking and SAT checking
* correctness aspects in HW/SW co-design
* abstraction and compositional techniques
* formal verification of protocols
* diagnosis of design errors
* coverage directed verification and other semi-formal verification methods 
* use of formal specification languages in simulation
* formal verification of concurrent software
* practical and industrial applications of formal techniques

The conference proceedings will appear as a volume in Springer-Verlag's
Lecture Notes in Computer Science series and will be available at the
conference.  Papers should not exceed 15 pages, formatted as specified by
Springer-Verlag in the Authors Instructions page, and submitted
electronically following the procedure given on the submissions page of
the conference website, http://www.di.univaq.it/charme2003.
Selected contributions may be invited for publication in STTT
(International Journal on Software Tools for Technology Transfer,
Springer-Verlag).

******************************************************************************
Author's Schedule:

* 11 April 2003 - Deadline for paper submission
* 6 June 2003   - Notification of acceptance
* 11 July 2003  - Deadline for final version

******************************************************************************
Chairs

Enrico Tronci (conference chair) (University of Rome, Italy)
Daniel Geist  (programme chair)  (IBM, Israel)

******************************************************************************
Programme Committee

Alan Hu                (University of British Columbia, Canada)
Alan Mycroft           (University of Cambridge, UK)
Anna Slobodova         (Intel, USA)
Armin Biere            (Swiss Federal Institute of Technology, Switzerland)
Byron Cook             (Microsoft Corporation, USA)
Carl Pixley            (Synopsys, USA)
Daniel Geist           (PC Chair) (IBM, Israel)
Dominique Borrione     (University of Grenoble, France)
Eli Singerman          (Intel, Israel)
Enrico Tronci          (Conference Chair) (University of Rome, Italy)
Ganesh Gopalakrishnan  (University of Utah, USA)
Hans Eveking           (T.U. Darmstadt, Germany)
John O'Leary           (Intel, USA)
Ken McMillan           (Cadence, USA)
Laurence Pierre        (University of Marseille, France)
Limor Fix              (Intel, Israel)
Mark Aagaard           (University of Waterloo, Canada)
Mary Sheeran           (Chalmers Univ. and Prover Technology, Sweden)
Moshe Vardi            (Rice University, USA)
Ofer Strichman         (Carnegie-Mellon University, USA)
Steve Johnson          (Indiana University, USA)
Thomas Kropf           (Bosch, Germany)
Tiziana Margaria       (Univ. of Dortmund and METAFrame Techn., Germany)
Tom Melham             (University of Oxford,UK)
Warren Hunt            (University of Texas at Austin, USA)

******************************************************************************