Focus and 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 (Germany). 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 morning 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.