%
% Call for Papers - FTP'98
%
% International Workshop on First-Order Theorem Proving
% http://www.logic.at/ftp98
%
% Schloss Wilheminenberg, Vienna, Austria
% November 23-25, 1998
%
\documentstyle{article}
%
\oddsidemargin -0.9cm
\topmargin -1cm
\textwidth 17.5cm
\textheight 27cm
\headheight 0pt
\headsep 0pt
\footheight 0pt
\footskip 0pt
\parindent 0pt
\def\vsep{3ex}
\pagestyle{empty}
\begin{document}
\begin{center}
{\Large\sc FTP'98 -- Call for Papers}\\[2.5ex]
{\Large \bf International Workshop on
First-Order Theorem Proving}\\[1.5ex]
{\large\bf Schloss\ Wilhelminenberg, Vienna, Austria,
November 23--25, 1998}\\[1.5ex]
{\large\tt http://www.logic.at/ftp98}\\[5ex]
\end{center}
\parbox[t]{7.5cm}{\small
%
{\bf Program Chairs:}\\[1.5ex]
%
\begin{tabular}{@{}l@{}}
Ricardo Caferra\\
LEIBNIZ-IMAG, Grenoble\\
{\tt Ricardo.Caferra@imag.fr}\\[1ex]
Gernot Salzer\\
Technische Universit\"at Wien\\
{\tt salzer@logic.at}
\end{tabular}\\[3ex]
%
{\bf Program Committee:}\\[1.5ex]
%
\begin{tabular}{@{}l@{}}
Maria Paola Bonacina (University of Iowa)\\
Ricardo Caferra (LEIBNIZ-IMAG, Grenoble)\\
Ulrich Furbach (Universit\"at Koblenz)\\
Fausto Giunchiglia (IRST, Trento)\\
Jieh Hsiang (National Taiwan University, Taipei)\\
Reinhold Letz (Technische Universit\"at M\"unchen)\\
Hans J\"urgen Ohlbach (Imperial College, London)\\
David Plaisted (UNC at Chapel Hill)\\
Michael Rusinowitch (LORIA, Nancy)\\
Gernot Salzer (Technische Universit\"at Wien)\\
Mark Stickel (SRI, Menlo Park)\\
Andrei Voronkov (Uppsala University)
\end{tabular}\\[3ex]
%
{\bf Local Arrangements Chair:}\\[1.5ex]
%
\begin{tabular}{@{}l@{}}
Franziska Gusel\\
Technische Universit\"at Wien\\
{\tt gusel@logic.at}
\end{tabular}\\[3ex]
%
{\bf Steering Committee:}\\[1.5ex]
%
\begin{tabular}{@{}l@{}}
David Plaisted (chair) (UNC at Chapel Hill)\\
Maria Paola Bonacina (University of Iowa)\\
Ulrich Furbach (Universit\"at Koblenz)\\
Jieh Hsiang (National Taiwan University)\\
Christopher Lynch (Clarkson University)\\
Xumin Nie (Wichita State University)\\
Michael Rusinowitch (LORIA, Nancy)\\
Gernot Salzer (Techn.~Universit\"at Wien)\\
Camilla Schwind (Universit\'e Aix-Marseille II)\\
Klaus Tr\"umper (University of Texas at Dallas)\\
Hantao Zhang (University of Iowa)
\end{tabular}\\[3ex]
%
{\bf Important dates:}\\[1.5ex]
\begin{tabular}{@{}ll@{}}
September 27, 1998 & Paper submissions\\
October 25, 1998 & Acceptance notification\\
November 8, 1998 & Camera-ready copy due\\
November 23--25, 1998 & FTP'98
\end{tabular}
}
%
\parbox[t]{5mm}{
\rule[-22cm]{0.2mm}{22.3cm}
%\rule[-20.9cm]{0.2mm}{21.2cm}
}
%
\begin{minipage}[t]{9.33cm}
\small
{\bf 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.%
\vspace{\vsep}
{\bf Technical Program:}
The technical program will include presentations of the accepted
papers as well as invited talks by
Gilles Dowek, INRIA Rocquencourt ({\em Proof search in first-order
logic modulo: on the difference between set theory and simple type
theory}), Melvin Fitting, City University of New York ({\em Quantified
Modal Logic}), and Alexander Leitsch, Technische Universit\"at Wien
({\em Decision Procedures and Model Building, or How to Improve Logical
Information in ATP}.%
\vspace{\vsep}
%{\bf Conference venue:}
%Schloss Wilheminenberg is located in \mbox{Vienna}, capital city of
%Austria and center of the old Habsburg empire.
%For more informations on Vienna see {\tt http://info.wien.at}.%
%\vspace{\vsep}
{\bf Submissions:}
Authors are invited to submit papers in the following categories:\\[.5ex]
{\em Extended abstracts} of 5--8 pages describing original results
not published elsewhere. Contact the PC chairs at {\tt ftp98@logic.at}
if the page limit poses a problem.\\[.5ex]
{\em Position papers} of 1-2 pages describing the author's research
interests in the field, work in progress, and future directions
of research.\\[.5ex]
{\em System descriptions} of 1-3 pages describing new systems or
significant upgrades of existing ones, especially including
experiments. System demonstrations will be possible.\\[.5ex]
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 {\tt ftp98@logic.at} or via
the WWW submission form; see {\tt 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.%
\vspace{\vsep}
{\bf 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.%
\vspace{\vsep}
{\bf Additional~information}
is available from the FTP'98 web site: {\tt http://www.logic.at/ftp98}.
\end{minipage}
\end{document}