[Prev][Next][Index][Thread]
CADE-15: Final Call for Papers
CADE-15
The 15th International Conference on Automated Deduction
July 5-10, 1998, Lindau, Germany
FINAL CALL FOR PAPERS
CADE is the major forum for the presentation of new research in all aspects
of automated deduction. Original research papers, descriptions of systems, and
problem sets that provide innovative, challenging tests for automated deduction
systems, are solicited.
Tutorials and workshops will run on July 5 and 6, and a special symposium
Deduction as a Cross-Sectional Technology will be held on Friday, July 10.
Talks will be held by six distinguished invited speakers including
Robert Boyer, Frank Pfenning, Bart Selman and Douglas Smith.
Program Committee: Topics
F. Baader (Aachen) Logics of interest include propositional, first-
D. Basin (Freiburg) order, higher-order, equational, classical,
W. Bibel (Darmstadt) modal, temporal, dynamic, intuitionistic,
H. Comon (Cachan) constructive, linear, type theory, and
G. Dowek (Rocquencourt) metalogics.
H. Ganzinger (Saarbr"ucken) Methods encompass resolution, tableaux,
F. Giunchiglia (Trento) connection, unification, paramodulation, term
S. Grumbach (Rocquencourt) rewriting, constraints, decision procedures,
J. Hsiang (Taipei) induction, and model checking.
D. Kapur (Albany) Applications cover hardware and software
C. Kirchner (Nancy) development, systems verification, deductive
H. Kirchner (Nancy) databases, logic and functional programming,
C. Kreitz (Ithaca) computer mathematics including algebra and
C. Lynch (Clarkson) geometry, deductive aspects in artificial
D. McAllester (Florham Park) intelligence.
M. Okada (Tokyo) Special topics of interest involve logical
L. Paulson (Cambridge) frameworks, proof translation, human-computer
N. Shankar (Menlo Park) interfaces, distributed deduction, and search
A.P. Sistla (Chicago) heuristics.
J. Slaney (Canberra)
M. Wallace (London, UK)
D. Wang (Grenoble) Submissions
S. Watt (London, Canada)
Papers must be original and not submitted for
publication elsewhere. Research papers can
be up to 15 proceedings pages, system
descriptions can be up to 4 pages and should
be entitled "System Description: ...". The
proceedings of CADE-15 will be published
by Springer-Verlag in the LNAI series. Authors
are strongly encouraged to use LaTEX
and the Springer style files available from
the CADE-15 Web site. The primary means
of submission will be electronic, in
PostScript format. Papers should be compressed,
then uuencoded, and e-mailed to the program
chairs. Details on the procedure and alternatives
can be found at the CADE-15 Web site.
If electronic submission is not possible, 5 hard
copies should be sent to the program chairs
at the postal address given below. Regardless
of the submission method, the letter or e-mail
message accompanying the paper must contain
a plain text abstract of about 200 words
and the names, e-mail addresses, and postal
addresses of all authors. All submissions must
be received by January 5, 1998. Submissions
that are late or too long or require substantial
revision will not be considered.
Submission deadline: January 5, 1998
Notification of acceptance: March 16, 1998
Camera-ready copy due: April 17, 1998
Program Chair: Conference Chair:
Claude and Helene Kirchner Wolfgang Bibel
LORIA, INRIA & CNRS Darmstadt University of Technology
615 Rue du Jardin Botanique, BP 101 Alexanderstr. 10
F-54602 Villers-les-Nancy CEDEX D-64283 Darmstadt
FRANCE GERMANY
Phone: +33 3 83 59 30 11 or 12 Phone: +49 6151 162100
FAX: +33 3 83 27 83 19 FAX: +49 6151 165326
E-mail: cade-15@loria.fr E-mail:cade-15@informatik.tu-darmstadt.de
CADE-15 Web Site - http://www.tu-darmstadt.de/cade-15
===============================================================================
=== LATEX VERSION ===
===============================================================================
\documentstyle{article}
\setlength{\textwidth}{17.1cm}
\setlength{\textheight}{27cm}
\setlength{\hoffset}{-3cm}
\setlength{\voffset}{-3.7cm}
\begin{document}
\thispagestyle{empty}
\begin{center}
{\Huge\bf CADE-15}
\\[.6cm]
{\LARGE The 15th International Conference on Automated Deduction}\\[.4cm]
{\Large\it July 5-10, 1998, Lindau, Germany}\\[6mm]
{\LARGE\bf FINAL CALL FOR PAPERS}
\end{center}
CADE is the major forum for the presentation of new research in all
aspects of automated deduction. Original research papers,
descriptions of systems, and problem sets that provide innovative,
challenging tests for automated deduction systems, are solicited.
Tutorials and workshops will run on July 5 and 6, and a special
symposium {\em Deduction as a Cross-Sectional Technology} will be held
on Friday, July 10.
Talks will be held by six distinguished invited speakers including
Robert Boyer, Frank Pfenning, Bart Selman and Douglas Smith.
\\[3mm]
\noindent
\begin{minipage}{5.5cm}
{\small
{\bf Program Committee:}\\[1.5mm]
F. Baader (Aachen)\\
D. Basin (Freiburg)\\
W. Bibel (Darmstadt) \\
H. Comon (Cachan)\\
G. Dowek (Rocquencourt)\\
H. Ganzinger (Saarbr\"ucken)\\
F. Giunchiglia (Trento)\\
S. Grumbach (Rocquencourt)\\
J. Hsiang (Taipei)\\
D. Kapur (Albany)\\
C. Kirchner (Nancy)\\
H. Kirchner (Nancy)\\
C. Kreitz (Ithaca) \\
C. Lynch (Clarkson)\\
D. McAllester (Florham Park)\\
M. Okada (Tokyo)\\
L. Paulson (Cambridge)\\
N. Shankar (Menlo Park)\\
A.P. Sistla (Chicago)\\
J. Slaney (Canberra)\\
M. Wallace (London, UK)\\
D. Wang (Grenoble)\\
S. Watt (London, Canada)\\[5mm]
}
%\framebox{
\begin{minipage}{4.5cm}
\begin{tabbing}
xxxxxxxxxx \= \kill
{\bf Submission deadline:}\\
\> January 5, 1998\\
{\bf Notification of acceptance:}\\
\> March 16, 1998\\
{\bf Camera-ready copy due:} \\
\> April 17, 1998
\end{tabbing}
\end{minipage}
%}
\end{minipage}
\begin{minipage}{11.7cm}
\begin{center}
{\bf Topics}
\end{center}
{\em Logics\/} of interest include propositional, first-order,
higher-order, equational, classical, modal, temporal, dynamic,
intuitionistic, constructive, linear, type theory, and meta-logics.
{\em Methods\/} encompass resolution, tableaux, connection,
unification, paramodulation, term rewriting, constraints, decision
procedures, induction, and model checking.
{\em Applications\/} cover hardware and software development, systems
verification, deductive databases, logic and functional programming,
computer mathematics including algebra and geometry, deductive aspects
in artificial intelligence.
{\em Special topics\/} of interest involve logical frameworks, proof
translation, human-computer interfaces, distributed deduction, and
search heuristics.
\medskip
\begin{center}
{\bf Submissions}
\end{center}
Papers must be original and not submitted for publication elsewhere.
Research papers can be up to 15 proceedings pages, system descriptions
can be up to 4 pages and should be entitled ``System Description:
\ldots''. The proceedings of CADE-15 will be published by
Springer-Verlag in the LNAI series. Authors are {\em strongly\/}
encouraged to use \LaTeX\ and the Springer style files available from
the CADE-15 Web site. The primary means of submission will be
electronic, in {\sc PostScript} format. Papers should be compressed,
then uuencoded, and e-mailed to the program chairs. Details on the
procedure and alternatives can be found at the CADE-15 Web site. If
electronic submission is not possible, 5 hard copies should be sent to
the program chairs at the postal address given below. Regardless of
the submission method, the letter or e-mail message accompanying the
paper must contain {\em a plain text abstract of about 200 words} and
the names, e-mail addresses, and postal addresses of all authors. All
submissions must be {\em received} by {\bf January 5, 1998}.
Submissions that are late or too long or require substantial revision
will not be considered.
\end{minipage}
\vspace{.3cm}
\begin{center}
\begin{minipage}[t]{7cm}
{\bf Program Chair:}\\[.2cm]
Claude and H\'el\`ene Kirchner\\
LORIA, INRIA \& CNRS \\
615 Rue du Jardin Botanique, BP 101\\
F-54602 Villers-les-Nancy CEDEX\\
FRANCE
\begin{tabbing}
00000000\=\kill
Phone: \> +33 3 83 59 30 11 or 12\\
FAX: \> +33 3 83 27 83 19\\
E-mail: \> cade-15@loria.fr
\end{tabbing}
\end{minipage}
\begin{minipage}[t]{7cm}
{\bf Conference Chair:}\\[.2cm]
Wolfgang Bibel \\
Darmstadt University of Technology\\
Alexanderstr.\ 10\\
D-64283 Darmstadt \\
GERMANY
\begin{tabbing}
00000000\=\kill
Phone: \> +49 6151 162100\\
FAX: \> +49 6151 165326\\
E-mail: \> cade-15@informatik.tu-darmstadt.de
\end{tabbing}
\end{minipage}
\vspace{.5cm}
\fbox{\bf CADE-15 Web Site --- \tt http://www.tu-darmstadt.de/cade-15}
\end{center}
\end{document}