SIG-CHARME
      Special Interest Group on
      Formal Design and Verification Methods for
      Correct Hardware-like Systems

NOTE: This is a transitory web site under construction.

CHARME 2005. The 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods will be held at Saarbrücken in the first or second week of October, 2005. The conference will be organized by Dominique Borrione and Wolfgang Paul. Further information and announcements are pending.

This is a place holder for the SIG-CHARME home page, as content is under development.

SIG-CHARME is dedicated to advancing the application of formal methods to the design of systems and subsystems involving computing hardware and software. "Formal methods" involves the representation of problems in a rigorously defined formalism, the development of automated tools and environments facilitating reasoning in such formalisms, and exploration of representations and reasoning techniques for system-related problem classes.

This organization is a special interest group of IFIP Working Group 10.5

Membership is open. Join SIG-CHARME by signing up for its mailing list at http://www.dcs.gla.ac.uk/mailman/listinfo/sig-charme

Contents
SIG-CHARME mailing list
Statutes and Bylaws
SIG-CHARME members list
Meeting minutes
Other information

rev. 25 Feb 2004
For further information, contact Steven D. Johnson (sjohnson@cs.indiana.edu).