From: reiner@ira.uka.de (Reiner Haehnle)
Newsgroups: comp.theory
Subject: CFP Workshop on Tableau-based Deduction (Udated,LaTeX)
Date: 12 Nov 1992 10:04:48 GMT
Organization: University of Karlsruhe, Comp. Sc. Dept., FRG
NNTP-Posting-Host: i12s1.ira.uka.de


%Dear Colleague,
%
%please distribute the follwoing CFP as widely as possible.
%

\documentstyle[11pt]{article}

%% Falls wasyfont.tex vorhanden:
%
%\def\secmarker{\centerline{{\raisebox{-0.6pt}{\bf ---}\hspace{-0.2pt}\gluon\raisebox{-0.6pt}{\bf ---}}}}
%\input wasyfont
%
%% Ansonsten obiges auskommentieren und folgende Zeile einsetzen
 \def\secmarker{\relax}


\pagestyle{empty}
\nonstopmode
\parindent=0pt
\parskip=5pt\topsep=0pt\itemsep=0pt

\textheight=640pt
\textwidth=470pt
\topmargin=0pt
\oddsidemargin=0pt
\evensidemargin=0pt
\abovedisplayskip=0pt
\belowdisplayskip=0pt
\leftmargin=.4cm

\begin{document}

\bigskip
\begin{center}

 {\large\bf Call for Submissions}\\[5mm]

 {\Large\bf Workshop on\\[2mm]

 \Large\bf Theorem Proving 
 with Analytic Tableaux \\[2mm]

 \Large\bf and Related Methods}\\[5mm]

 Marseille, France,  April 28--30, 1993 \vspace{4pt}
\end{center}


This workshop is a continuation of a workshop on the same topic 
held in Lautenbach near Karlsruhe (Germany) in March 1992 that had
remarkable international participation\footnote{A technical report containing the
extended abstracts of this workshop is available from Thomas K\"aufl, 
Inst.~f\"ur Logik, Komplexit\"at und Deduktionssysteme, Universit\"at
Karlsruhe, Am Fasanengarten 5, 7500 Karlsruhe 1, Germany, e--mail: {\tt kaeufl@ira.uka.de}.}.

\secmarker
\subsection*{Topics of Interest}


Given the increased interest in tableaux-based theorem proving, this
workshop intends to bring together researchers interested
in the mechanisation of reasoning with tableaux and related systems.
By this we include (not exclusively):

\begin{center}\hspace*{2cm}
  \begin{tabular}{p{6cm}p{6cm}}
$\bullet$  analytic tableaux
& $\bullet$  model elimination\\
$\bullet$ connection method
& $\bullet$ matings
\end{tabular}
\end{center}\medskip

{\parskip=0pt\topsep=0pt\itemsep=0pt
The workshop has a dual focus, bringing together
\begin{itemize}
\parskip=0pt\topsep=0pt\itemsep=0pt
\item people who develop tableaux-like calculi for
  eventual implementation on computers and
\item people who already are involved in the practical implementation of
   tableaux-like calculi. 
\end{itemize}
Hence, the focus includes both theoretical work and
the presentation of implementation techniques and related
practical experience.}
We are particularly interested in presentations of provers already
used in applications or developed with applications in mind. 
Talks about theorem proving in non-classical logics are also welcome.


\secmarker

\subsection*{Submission of Papers}


Authors are invited to submit 4 copies of an extended abstract of 
about three pages or a full paper (about 5000 words) in English before\\
\centerline{{\bf November 30, 1992}}\\[1ex]
to  Reiner H\"ahnle.
The submitted papers need not to be original; please indicate
if your submission is already published or submitted elsewhere. All
papers will be refereed by
the program committee and all selected abstracts/papers will be
published as a technical report.

{\em  The program committee will propose
selected papers for publication in a special
edition of the Journal of Automated Reasoning.}

\secmarker\vfill

\subsection*{Further Information}


The conference language is English and presentations should not exceed
25 minutes.  Each talk will be followed by a discussion of 10 minutes.
The workshop is planned for at most 30 talks.  Notification of
acceptance will be sent by the middle of February 1993. Computers will
be available at the workshop site. Contact Camilla Schwind  for details.\bigskip


\secmarker

%
{\bf Workshop fees:} FF 600 (approximately US \$ 120)\\[2ex]
\parbox[t]{8cm}{
{\bf Program Committee} \medskip\\
David Basin, MPI Saarbr\"ucken\\
Bertram Fronh\"ofer, TU Munich\\
Masayuki Fujita, Mitsubishi Inc.\\
Reiner H\"ahnle, University Karlsruhe\\
Thomas K\"aufl, University Karlsruhe\\
Don Loveland, Duke University\\
Neil Murray, University at Albany \\
Joachim Posegga, University Karlsruhe\\
Peter Schmitt, University Karlsruhe\\
Camilla Schwind, CNRS -- GIA, Marseille\\
Graham Wrightson, Newcastle University}\hfill
\parbox[t]{8cm}{
{\bf Invited speakers: }\medskip\\
Melvin Fitting, CUNY\\
Mark Stickel, SRI International\vspace{7.4ex}\\
{\bf Organising Committee}\medskip\\
Camilla Schwind, CNRS -- GIA, Marseille\\
Bertram Fronh\"ofer, TU Munich\\
Reiner H\"ahnle, University Karlsruhe\\
Joachim Posegga, University Karlsruhe\\
David Basin, MPI Saarbr\"ucken}\bigskip


\secmarker

\subsection*{Workshop Addresses}

\parbox[t]{8cm}{%
{\em Submissions, conference details:}\\[2mm]
%
{\bf Reiner H\"ahnle}\\
Institut f\"ur Logik, Komplexit\"at\\ 
und Deduktionssysteme\\  
Universit\"at Karlsruhe\\ 
Am Fasanengarten 5\\  
7500 Karlsruhe 1, 
Germany\\[1mm]
Fax: ${\scriptstyle ++}49-721-69~77~60$\\
Phone:\, ${\scriptstyle ++}49-721-608-43~29$\\
Email: {\tt reiner}@{\tt ira.uka.de}}
\hfill
\parbox[t]{8cm}{%
{\em Local arrangements:}\\[2mm] 
%
{\bf Camilla Schwind} \\
D\'ep. d'Informatique\\
Fac. des Sciences de Luminy\\
163, av.~de Luminy -- Case 901\\
13288 Marseille Cedex 9,
France \\[1mm]
Fax: ${\scriptstyle ++}33-91~26~92~75$\\
Phone:\,${\scriptstyle ++}33-91~26~90~70$\\
Email: {\tt schwind}@{\tt gia.univ-mrs.fr}}

\end{document}


Newsgroups: comp.theory