[om-a] CADE-17 submission deadline extended to January 31

David McAllester dmac at research.att.com
Mon Jan 17 16:53:11 CET 2000

CADE-17 (Conference on Automated Deduction) has extended its submission deadline
to January 31.  Conference details can be found at the following url.


David McAllester

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