AMAST Mail - November 1999
[Prev][Next][Index]

CADE-17 second call for papers


   The 17th International Conference on Automated Deduction
     June 17-20, 2000, Pittsburgh, Pennsylvania, USA
            SECOND 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.

CONFERENCE CHAIR: Frank Pfenning, Carnegie Mellon University
PROGRAM CHAIR: David McAllester, AT&T Labs-Research
WORKSHOP CHAIR: Michael Kohlhase, Universit"at des Saarlandes 

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
[ AMAST Mail - November 1999 | October 1999 | December 1999 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]