ohlbach@uklirb (Hans Juergen Ohlbach) (08/04/89)
CADE-10 10th International Conference on Automated Deduction University of Kaiserslautern, West Germany July 23-27, 1990 Call for Papers CADE is the major forum at which research on all aspects of automated deduction can be presented. Papers on automated deduction (for classical and nonclassical logics) in the following and related fields are invited: Theorem Proving Decision Procedures Logic Programming Unification Program Verification/Synthesis Inference Systems Term Rewriting Deductive Databases Applications Program Committee Peter Andrews Claude Kirchner William Pase Wolfgang Bibel Jean-Louis Lassez Lawrence Paulson W.W. Bledsoe Donald Loveland Fernando Pereira Alan Bundy Ewing Lusk David Plaisted Robert Constable Michael McRobbie Joerg Siekmann Jean-Pierre Jouannaud Dale Miller Mark Stickel, Chairman Deepak Kapur Hans Juergen Ohlbach Richard Waldinger Matt Kaufmann Ross Overbeek Christoph Walther Original research papers (up to 5,000 words; 15 proceedings pages, 6 X 9 inches, 12 point type, will be allotted) are solicited. Also solicited are system summaries that describe working reasoning systems (2 proceedings pages) and problem sets that provide realistic, interesting challenges for automated reasoning systems (5 proceedings pages). The title page of the submission should include author's name, address, phone number, and E-mail address. Papers must be unpublished and not submitted for publication elsewhere. Late papers and papers that require major revision, including submissions that are too long, will be rejected. Submission receipt deadline: November 27, 1989 Author notification date: February 15, 1990 Camera-ready copy receipt deadline: April 2, 1990 Six paper copies should be sent to arrive by November 27, 1989 to Mark E. Stickel Artificial Intelligence Center SRI International 333 Ravenswood Avenue Menlo Park, CA 94025 U.S.A. Responsible for local arrangements are Hans Juergen Ohlbach Hans-Juergen Buerckert FB Informatik Deutsches Forschungszentrum fuer University of Kaiserslautern Kuenstliche Intelligenz GmbH (DFKI) Postf. 3049 Postf. 2080 D-6750 Kaiserslautern D-6750 Kaiserslautern West Germany West Germany Inquiries about CADE can also be sent by electronic mail to Stickel@AI.SRI.COM, ohlbach@uklirb.uucp or buerkert@uklirb.uucp -- Someday has arrived