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

[David McAllester]

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

         http://www.research.att.com/conf/cade/

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