|
|
FTP'98International Workshop on
|
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.
The technical program includes presentations of the accepted papers as well as invited talks by
Gilles Dowek, INRIA Rocquencourt
Automated theorem proving
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 Universität Wien
Decision Procedures and Model Building,
or
How to Improve Logical Information in ATP
Schloss Wilheminenberg is located in Vienna, capital city of Austria and center of the old Habsburg empire.
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.
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.
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.
Program Committee:
Maria Paola Bonacina (University of Iowa)
Ricardo Caferra (LEIBNIZ-IMAG, Grenoble) (co-chair, Ricardo.Caferra@imag.fr)
Ulrich Furbach (Universität Koblenz)
Fausto Giunchiglia (IRST, Trento)
Jieh Hsiang (National Taiwan University, Taipei)
Reinhold Letz (Technische Universität München)
Hans Jürgen Ohlbach (Imperial College, London)
David Plaisted (UNC at Chapel Hill)
Michael Rusinowitch (LORIA, Nancy)
Gernot Salzer (Technische Universität Wien) (co-chair, salzer@logic.at)
Mark Stickel (SRI, Menlo Park)
Andrei Voronkov (Uppsala University)
Local Arrangements Chair:
Franziska Gusel (Technische Universität Wien), gusel@logic.at
Steering Committee:
David Plaisted (UNC at Chapel Hill) (chair)
Maria Paola Bonacina (University of Iowa)
Ulrich Furbach (Universität Koblenz)
Jieh Hsiang (National Taiwan University)
Christopher Lynch (Clarkson University)
Xumin Nie (Wichita State University)
Michael Rusinowitch (LORIA, Nancy)
Gernot Salzer (Technische Universität Wien)
Camilla Schwind (Université Aix-Marseille II)
Klaus Trümper (University of Texas at Dallas)
Hantao Zhang (University of Iowa)
September 27, 1998: Paper submissions
October 25, 1998: Acceptance notification
November 8, 1998: Camera-ready copy due
November 23-25, 1998: FTP'98
For further information, please contact either one of the program chairs, Ricardo.Caferra and Gernot Salzer, or Franziska Gusel for local arrangements.
The call for papers is available as plain text, as LaTeX source, and in PDF format.
The preliminary program is available as plain text, as LaTeX source, and in PDF format.
The last workshop in this series , FTP'97, took place October 27-28, 1997, at Schloss Hagenberg, Austria. The proceedings appeared in the RISC-Linz Report Series, No. 97-50, Johannes Kepler Universität Linz (Austria), 1997. They are also available on the web.