CADE-17 submission deadline extended to January 31

• Subject: CADE-17 submission deadline extended to January 31
• From: David McAllester <dmac@research.att.com>
• Date: Mon, 17 Jan 2000 10:53:11 -0500 (EST)

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

• Prev: Final Call for Papers - HoloMAS2000
• Next: model checking at CADE-17
• Index: AMAST Mail 2000