Call for Papers

Objectives

CHARME 2001 is the eleventh 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. Previous conferences have been held in Darmstadt, Edinburgh, Grenoble, Glasgow, Leuven, Torino, Arles, Frankfurt, Montreal, and Bad Herrenalb. It is the biennial counterpart of FMCAD, which takes place every even year in the USA.

The aim of CHARME 2001 is to bring together researchers and users from academia and industry working in this active area of research. This year, a special focus on technology interchange will be realised through:

a full day of tutorials aimed at industrial participation
joint sessions and invited presentation with the 14th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2001, which will be co-located in Edinburgh.

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.

The event will be held 4-7 September 2001 and hosted by the Institute for System Level Integration in Livingston, Scotland, with a joint day with TPHOLs in Edinburgh. Both locations are easily reachable from Edinburgh Airport. For the convenience of those wanting to attend both conferences, the programme and accommodation options will be coordinated.

Topics

Topics of interest include, but are not limited to

formal specification languages
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
verification of hybrid systems
abstraction and compositional techniques
formal verification of hybrid systems
formal verification of protocols
diagnosis of design errors
practical and industrial applications of formal techniques

Paper submission

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 (LNCS style), and be submitted electronically following the procedure given on the submissions page of the conference website, http://www.dcs.gla.ac.uk/CHARME2001/.

Selected contributions may be invited for publication in STTT (International Journal on Software Tools for Technology Transfer, Springer-Verlag).

Author's Schedule

10 March 2001	Extended deadline for paper submission
30 April 2001	Notification of acceptance
1 June 2001	Deadline for final version

Call for Papers

Objectives

Topics

Paper submission

Author's Schedule

Chairs

Programme Committee

Sponsors