CADE-17 submission deadline is January 15

• Subject: CADE-17 submission deadline is January 15
• From: David McAllester <dmac@research.att.com>
• Date: Tue, 4 Jan 2000 10:30:18 -0500 (EST)

For the last 25 years CADE has been the major forum for the presentation of papers
in automated deduction.

                             CADE-17

 The  17th  International  Conference  on  Automated  Deduction

 		      Final Call for Papers

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

                         June 17-20, 2000
                   Pittsburgh, Pennsylvania, USA

		   Submission Deadline January 15

• Prev: 2nd CFP: Workshop "Integrating Information ..."
• Next: Announcement: EXTENDED DEADLINE FOR CMCS'2000
• Index: AMAST Mail 2000