coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Christopher Lynch <clynch AT clarkson.edu>
- To: Undisclosed recipients: ;
- Subject: [Coq-Club] CADE 19 registration
- Date: Tue, 6 May 2003 02:56:46 -0400 (EDT)
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Early registration for CADE 19 in Miami has begun.
The conference will take place on July 30 to August
3, with workshops and tutorials on July 28 and 29.
Go to
http://www.cade-19.info/
to register for the conference. Early registration
closes on May 23. The webpage also contains information
about accommodations, workshops and tutorials, and
social events and excursions. Also, the paper schedule
has just appeared on the website
- [Coq-Club] CADE 19 registration, Christopher Lynch
Archive powered by MhonArc 2.6.16.