The Coq mailing list

[Christopher Lynch <clynch AT clarkson.edu>]

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.