FTP'98 - Call for Papers

     International Workshop on First-Order Theorem Proving
                   http://www.logic.at/ftp98

            Schloss Wilheminenberg, Vienna, Austria
                      November 23-25, 1998


Scope
-----
FTP'98 is the second in a series of workshops intended 

* to focus effort on First-Order Theorem Proving as a core theme
  of Automated Deduction, and

* to provide a forum for presentation of very recent work and
  discussion of research in progress.

The workshop welcomes original contributions on theorem proving in
classical, many-valued, and modal first-order logics, including
resolution and tableau methods; equational reasoning and
term-rewriting systems; constraint-based reasoning; unification
algorithms for first-order theories; specialized decision procedures;
propositional logic; abstraction; first-order constraints;
complexity of theorem proving procedures; and applications of
first-order theorem provers to problems in artificial intelligence,
verification, mathematics, as well as other areas.


Technical Program
-----------------
The technical program will include presentations of the accepted
papers as well as invited talks by

* Gilles Dowek, INRIA Rocquencourt:
  "Proof search in first-order logic modulo:
  on the difference between set theory and simple type theory"

* Melvin Fitting, City University of New York:
  "Quantified Modal Logic"

* Alexander Leitsch, Technische Universitaet Wien:
  "Decision Procedures and Model Building,
  or How to Improve Logical Information in ATP"


Conference Venue
----------------
Schloss Wilheminenberg is located in Vienna, capital city of
Austria and center of the old Habsburg empire.
For more informations on Vienna see http://info.wien.at.


Submission
----------
Authors are invited to submit papers in the following categories:

* Extended abstracts of 5-8 pages describing original results
  not published elsewhere. Contact the PC chairs at ftp98@logic.at
  if the page limit poses a problem.

* Position papers of 1-2 pages describing the author's research
  interests in the field, work in progress, and future directions
  of research.

* System descriptions of 1-3 pages describing new systems or
  significant upgrades of existing ones, especially including
  experiments. System demonstrations will be possible.

Submissions should be prepared with a font size not smaller than
11pt. The first page should contain the title, authors, e-mail,
and postal addresses of the authors. Papers should be sent by e-mail
as uuencoded gzipped Postscript file to "ftp98@logic.at" or via
the WWW submission form; see "http://www.logic.at/ftp98/submission"
for detailed instructions.

The extended submission deadline is September 27, 1998.
Decisions on acceptance will be sent by October 25, 1998.
The deadline for sending the final versions is November 8, 1998.
Authors of accepted papers are expected to present their
contribution at the workshop.


Publication
-----------
Accepted submissions will be collected in a volume to be
distributed at the workshop. Additionally, the submissions will be
made available on the web after the workshop.

Authors of accepted abstracts will be invited to submit a full version,
which will again be refereed. The selected papers will be published in
the workshop proceedings; the publisher is not yet fixed.
Details will be announced at the workshop.


Conference Organization
-----------------------
   
Program Committee:
   Maria Paola Bonacina (University of Iowa)
   Ricardo Caferra (LEIBNIZ-IMAG, Grenoble)
      (co-chair, Ricardo.Caferra@imag.fr)
   Ulrich Furbach (Universitaet Koblenz)
   Fausto Giunchiglia (IRST, Trento)
   Jieh Hsiang (National Taiwan University, Taipei)
   Reinhold Letz (Technische Universitaet Muenchen)
   Hans Juergen Ohlbach (Imperial College, London)
   David Plaisted (UNC at Chapel Hill)
   Michael Rusinowitch (LORIA, Nancy)
   Gernot Salzer (Technische Universitaet Wien)
      (co-chair, salzer@logic.at)
   Mark Stickel (SRI, Menlo Park)
   Andrei Voronkov (Uppsala University)

Local Arrangements:
   Franziska Gusel (Technische Universitaet Wien)
      (chair, gusel@logic.at)

Steering Committee:
   David Plaisted (chair), Maria Paola Bonacina, Ulrich Furbach,
   Jieh Hsiang, Christopher Lynch, Xumin Nie, Michael Rusinowitch,
   Gernot Salzer, Camilla Schwind, Klaus Truemper, Hantao Zhang.