From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1198
Path: news.gmane.org!not-for-mail
From: David McAllester <dmac@research.att.com>
Newsgroups: gmane.science.mathematics.categories
Subject: CADE-17 Preliminary Call For Papers
Date: Thu, 12 Aug 1999 14:59:26 -0400 (EDT)
Message-ID: <199908121859.OAA29695@bual.research.att.com>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241017630 29913 80.91.229.2 (29 Apr 2009 15:07:10 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:07:10 +0000 (UTC)
To: categories@mta.ca
Original-X-From: cat-dist Sun Aug 15 12:10:22 1999
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.9.3/8.9.3) id LAA31568
	for categories-list; Sun, 15 Aug 1999 11:04:42 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 35
Xref: news.gmane.org gmane.science.mathematics.categories:1198
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1198>


   The 17th International Conference on Automated Deduction
     June 17-20, 2000, Pittsburgh, Pennsylvania, USA
            PRELIMINARY CALL FOR PAPERS
  (further details at http://www.research.att.com/conf/cade)

For the last 25 years CADE has been the major forum for the
presentation of research in automated deduction.  Original research
papers in all aspects of automated theorem proving, automated reasoning,
computer aided verification, formal methods and static analysis
are solicited for CADE-17.

PROGRAM CHAIR: David McAllester, AT&T Labs-Research
CONFERENCE CHAIR: Frank Pfenning, Carnegie Mellon University

PROGRAM COMMITTEE: Hubert Comon, David Dill, Ulrich Furbach, Harald Ganzinger,
Mike Gordon, Didier Galmiche, Tom Henzinger, Deepak Kapur, Ursula Martin,
Ken McMillan, Paliath Narendran,  David Plaisted, Robert Nieuwenhuis, Tobias Nipkow,
Hans de Nivelle, Larry Paulson, Amir Pnueli, Mark Stickel, Moshe Y. Vardi, Andrei Voronkov.

SUBMISSIONS DEADLINE: January 15, 2000
NOTIFICATION OF ACCEPTANCE: March 1
CAMERA-READY COPY: March 21

SUBMISSIONS: Papers must be original and not submitted for publication
elsewhere. Research papers can be up to 15 proceedings pages, and
system descriptions can be up to 5 pages.  System description
submissions must include a URL for a web page from which the system
can either be run or obtained by reviewers.  The proceedings of
CADE-17 will be published by Springer-Verlag in the LNAI series.
Electronic submission of postscript generated from LaTeX2e and the
Springer llncs class files is strongly encouraged (details and
alternatives at the web site above).