[loginf] CADE 19 early registration deadline Friday
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.
More information about the loginf