[Prev][Next][Index]

FWD: CFP: Correct Hardware Design and Verification Methods

Title: CHARME '95 Call for papers

                           *******************
                           *    CHARME'95    *
                           *******************

                     IFIP WG10.5 Advanced Research
                          Working Conference on
              Correct Hardware Design and Verification Methods

            Johann Wolfgang Goethe-University Frankfurt, Germany
                            2-4 October 1995


This working conference is the eighth in a series dedicated to the development 
and use of methods for correct design and verification of electronic systems. 
Previous conferences have been held in Darmstadt (1984), Edinburgh (1985), 
Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991) and Arles (1993).
This conference series has been organised in cooperation with IFIP WG 10.2/10.5.

Emphasis will be placed on research and application results that allow for 
"Verification in the LARGE". While representations like OBDD's and methods like 
symbolic traversals and model-checking have established automatic formal 
verification as an alternative to exhaustive simulation for certain applications, 
the verification of complex electronic systems remains a challenging task. 
Papers that present research or application results in all aspects of correct 
design and verification of complex electronic systems are invited. Topics include, 
but are not limited to:

 - theory and application of formal verification
 - abstraction and compositional techniques
 - verification of systems with data-paths
 - model checking
 - verification of hybrid systems
 - correctness aspects in hardware/software co-design
 - diagnosis and rectification of design errors
 - correctness preserving transformations
 - use of theorem provers 
 - verification methods based on hardware description languages, 
   in particular VHDL.

Special sessions for demonstration of verification tools are planned.

Authors are encouraged to use examples from the IFIP supported
collection in their papers. A description of this collection of circuit
verification examples can be obtained by anonymous ftp from 
goethe.informatik.uni-karlsruhe.de  directory pub/tpcd94/benchmarks.

Paper submission
----------------
Electronic submission of Postscript files is required. Prospective authors 
should submit papers not exceeding 15 pages to the Program Chairman by 
April 1st 1995. Authors will be notified of acceptance or rejection by 
June 1st 1995. The proceedings will be published in book form after the conference.


Program Committee
-----------------
Francois Anceau (BULL, Paris)
Dominique Borrione (IMAG, France)
Paolo Camurati (Politecnico Torino, Italy)
Ed Cerny (Univ. Montreal, Canada)
Luc Claesen (IMEC, Leuven, Belgium)
Ed Clarke (Carnegie Mellon University, USA)
Werner Damm (Univ. Oldenburg, Germany)
Carlos Delgado Kloos (Univ. Madrid, Spain)
Hans Eveking (Univ. Frankfurt, Germany)
Werner Grass (Univ. Passau, Germany)
George Milne (Univ. of South Australia, Australia)
Laurence Pierre (Univ. Provence, France)
Paolo Prinetto (Politecnico Torino, Italy)
Jorgen Staunstrup (Univ. of Denmark, Lyngby)


Conference Chair                         Program Chair
----------------                         -------------
Hans Eveking                             Paolo Camurati
Computer Science Department/             Politecnico di Torino
Design Methodologies                     Dip. die Automatica e Informatica
University of Frankfurt                  Corso Duca degli Abruzzi 24
Robert-Mayer-Str. 11-15                  I-10129 Turin
D-60054 Frankfurt, Germany               Italy
Phone +49 69 798 8149                    Phone +39 11 564 7062       
Fax.  +49 69 798 2643                    Fax.  +39 11 564 7099
eveking@informatik.uni-frankfurt.de      camurati@polito.it


This Call for Papers is also available by anonymous ftp at
em.informatik.uni-frankfurt.de as pub/doc/charme/charme95.ps.Z or at 
http://em.informatik.uni-frankfurt.de/charme/charme95.html