The Coq mailing list

[David Nowak <David.Nowak AT lsv.ens-cachan.fr>]

-------- Original Message --------
Subject: [Coq-Club] CHARME 2003
Date: Wed, 25 Jun 2003 19:08:58 +0200
From: Tronci Enrico 
<tronci AT dsi.uniroma1.it>
To: 
coq-club AT pauillac.inria.fr



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


--------------------------------------------------------
Bug reports: http://coq.inria.fr/bin/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
          http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club


--
David Nowak
LSV, CNRS UMR 8643 & ENS de Cachan
61, av. du Président Wilson, 94235 Cachan Cedex, France
tél: +33 1 47 40 75 47   fax: +33 1 47 40 75 21
http://www.lsv.ens-cachan.fr/~nowak/