ELSNET-list archive

Category:   E-CFP
Subject:   Deadline: CADE-18: The Conference on Automated Deduction
From:   CADE-18 Publicity Chair
Email:   cade-18_(on)_uni-koblenz.de
Date received:   14 Jan 2002
Deadline:   02 Feb 2002
Start date:   27 Jul 2002

------------------------------------------ CADE-18 The Conference on Automated Deduction Participant of the Federated Logic Conference (FLoC'02) Copenhagen, Denmark, July 27-30, 2002 http://www.uni-koblenz.de/~cade-18/ ------------------------------------------ SUBMISSION DEADLINE (Reminder): FEBRUARY 2, 2002 CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974. Previous CADEs have been mostly biennial, and annual conferences are held since 1996. In 2001, CADE, TABLEAUX, and FTP merged into one conference called the 'International Joint Conference on Automated Reasoning (IJCAR)'. CADE-18 invites submissions related to all aspects of automated deduction, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. Please visit the CADE-18 web page for more information. -- Peter Baumgartner peter_(on)_uni-koblenz.de">peter_(on)_uni-koblenz.de Tel. +49 261 287-2777 http://www.uni-koblenz.de/%7Epeter/">http://www.uni-koblenz.de /%7Epeter/

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET