CHARME2005 is the thirteenth in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the specification, design and verification of hardware and hardware-like systems.

Previous conferences have been held in Darmstadt, Edinburgh, Grenoble, Glasgow, Leuven, Torino, Arles, Frankfurt, Montreal, Bad Herrenalb, Edinburgh and l'Aquila. CHARME takes place on odd-numbered years, and rotates primarily in Europe. It is the biennial counterpart of FMCAD, which takes place every even year in the USA.

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

• a full day of hands-on tool tutorials and tool
  demonstrations
• research prototype demonstrations, with an
  emphasis on new tool combinations

The conference will cover original research results, case studies, technology evaluation, tool integration across application domains and design stages, and reports on practical experiments. Papers describing original work in all aspects of formal hardware and system on a chip specification, design and verification methods are invited.

The event will be held 3-6 October 2005 and hosted at the Victor's Residenz-Hotel, south-west of the center of Saarbrücken, by the Computer Science Department of the Universität des Saarlandes.

Click here for the CHARME2005 conference program.

Click here for the CHARME2005 registration form.