The Coq mailing list

[Tronci Enrico <tronci AT dsi.uniroma1.it>]

----------------------------------------------------------------------
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>.