Skip to Content.
Sympa Menu

coq-club - [Coq-Club] CADE 19 early registration deadline Friday

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CADE 19 early registration deadline Friday


chronological Thread 
  • From: Christopher Lynch <clynch AT clarkson.edu>
  • To: Undisclosed recipients: ;
  • Subject: [Coq-Club] CADE 19 early registration deadline Friday
  • Date: Mon, 19 May 2003 16:44:07 -0400 (EDT)
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

This Friday, May 23, is the deadline for early registration
to CADE.  Go to the CADE website to register:

http://www.cade-19.info/

The conference will take place in Miami Beach from July 30 
to August 3, with workshops and tutorials on July 28 and 29.

There has been one change to the schedule.  The workshops on  
"Grand Challenges for Automated Reasoning" and "Novel Applications 
of Deduction Systems" have merged to become one workshop called
"Workshop on Challenges and Novel Applications for Automated Reasoning"
which will take place on Monday July 28. 






Archive powered by MhonArc 2.6.16.

Top of Page