---------------------------------------------------------------------- We apologize if you receive multiple copies of this announcement. ---------------------------------------------------------------------- ********************************************************************** C A L L F O R P A R T E C I P A T I O N ********************************************************************** CHARME 2003 The 12th Advanced Research Working Conference on: Correct Hardware Design and Verification Methods 21-24 October 2003, University of L'Aquila, L'Aquila, Italy http://www.di.univaq.it/charme2003 Co-sponsored by the IFIP TC10/WG10.5 Working Group on Design and Engineering of Electronic Systems Sponsored by: IBM, INTEL, University of L'Aquila The technical program is available at <http://www.di.univaq.it/charme2003>. Information about registration, travel and accomodation will be soon available at <http://www.di.univaq.it/charme2003>.