[om-a] CADE 19 early registration deadline Friday

Christopher Lynch clynch at clarkson.edu
Mon May 19 22:44:07 CEST 2003

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


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. 
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems

More information about the Om-announce mailing list