[Prev][Next][Index][Thread]
TABLEAUX'97 Last call for papers
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
[I've merged two messages. Look toward the end for the "Call for
tutorials". -- Philip Wadler, moderator, Types Forum.]
[ Apologies to those who receive this many times through different
channels ]
Dear colleague,
Please find enclosed the Last Call for Papers (ascii and latex files) for
the conference
TABLEAUX'97 - Analytic Tableaux and Related Methods - that will be
held in Abbaye des Premontres, Pont-a-Mousson (near Nancy), France,
May 13-16, 1997.
Deadline for submissions: November 22, 1996.
Best regards
Didier Galmiche
-------------------------------------------------------------------
CALL FOR PAPERS
International Conference
TABLEAUX'97
Analytic Tableaux and Related Methods
Abbaye des Premontres, Pont-a-Mousson, France
May 13-16, 1997
Deadline for paper submissions: November 22, 1996
This conference is a continuation of international workshops on
Theorem Proving with Analytic Tableaux and Related Methods held in
Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near
Oxford (1994), St. Goar near Koblenz (1995) and Terrasini near Palermo
(1996). It will be held from May 13 to 16, 1997 in Pont-a-Mousson
(Abbaye des Premontres) near Nancy, France.
TOPICS
Given the increased interest in tableaux-based theorem proving and its
applications, the conference intends to bring together researchers
interested in all the aspects of mechanisation of reasoning with
tableaux and related methods (sequent calculi, connection method and
model elimination,...) and working on theoretical foundations
of methods, implementation techniques, systems development and applications.
Beside more traditional aspects of tableaux reasoning in various
underlying logics as classical logic and non classical logics (as
modal, temporal, intuitionistic and linear logic), works
dealing with other related approaches to automated reasoning are also
sollicited.
Topics of interest, in this context, include (but are not restricted
to):
- analytic tableaux for various logics (theory and applications)
- specific related techniques and concepts,
- related methods (model elimination, sequent calculi, connection
method,...),
- new calculi and methods for theorem proving in classical and
non-classical logics (modal, intuitionistic, linear)
- systems, tools, implementations and applications.
SUBMISSIONS
The conference will include contributed papers, systems descriptions,
poster session and invited lectures. Submissions are invited in three
categories:
- (A) Original research papers (up to 15 pages),
- (B) Original papers about system descriptions (up to 5 pages),
- (C) Position papers or work in progress, not necessarily original
(up to 6 pages)
(An exhibition/competition for provers in intuitionistic and modal
logics might be organized (to be later confirmed) with specific
position papers of category C.)
Papers will be reviewed by peers, typically members of the program
committee. They must be unpublished and not submitted for publication
elsewhere.
The cover page should include the name, address, e-mail address and
phone number of each author and the submission category.
It is intended to publish the conference proceedings (accepted papers
of category A and B) within the LNAI series of Springer.
Authors have to submit their contributions by e-mail submissions of
Postscript files, preferably in LaTeX llncs style, to the Program
Chair (Didier.Galmiche@loria.fr or tab97@loria.fr) by November 22,
1996.
Additional information will be available through WWW address:
http://www.loria.fr/tab97
INFORMATION
* Invited Speakers
- R. Hasegawa (Kyushu Univ, Japan)
- G. Mints (Stanford Univ, USA)
* Program Chair
D. Galmiche
CRIN-CNRS, UHP Nancy I
Batiment LORIA
54506 Vandoeuvre-les-Nancy
France
Phone: +33 83 59 20 15
Fax: +33 83 41 30 79
email: Didier.Galmiche@loria.fr
URL: http://www.loria.fr/~galmiche
* Program Committee:
C. Cellucci (Rome Univ, Italy)
M. d'Agostino (Imperial College, UK & Ferrara Univ, Italy)
R. Dyckhoff (St Andrews Univ, UK)
M. Fitting (CUNY, New York City, USA)
U. Furbach (Koblenz Univ, Germany)
D. Galmiche (CRIN-CNRS, Nancy, France) Chair
R. Gore (Austr. National Univ, Australia)
J. Goubault-Larrecq (GIE Dyade, France)
R. Haehnle (Karlsruhe Univ, Germany)
A. Leitsch (TU Wien, Austria)
R. Letz (TU Munich, Germany)
U. Moscato (Milan Univ, Italy)
N. Murray (SUNY at Albany, USA)
H. Ono (JAIST, Japan)
J. Posegga (Deutsche Telekom, Germany)
P. Schmitt (Karlsruhe Univ, Germany)
C. Schwind (LIM-CNRS, Marseille, France)
H. de Swart (Tilburg Univ, The Netherlands)
L. Wallen (Oxford Univ, UK)
G. Wrightson (Newcastle Univ, Australia)
* More information
E-mail: tab97@loria.fr
WWW: http://www.loria.fr/tab97
ftp: ftp://ftp.loria.fr/pub/tab97
IMPORTANT DATES
Deadline for submissions: November 22, 1996
Notification of acceptance: January 28, 1997
Final text: February 28, 1997
%--------------------------------------------------------
% Latex version TABLEAUX'97
%--------------------------------------------------------
\documentstyle{article}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Call for papers %%
%% TABLEAUX'97 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\head{
{\LARGE \bf CALL FOR PAPERS
}\\[3mm]
{\large \em International Conference
}\\[4mm]
{\Large \bf TABLEAUX'97 \\
\vspace{3mm}
Analytic Tableaux and Related Methods} \\
~\\
{\bf Abbaye des Pr\'emontr\'es, Pont-\`a-Mousson, France}\\
May 13-16, 1997 \\
~\\
Deadline for paper submissions: {\bf November 22, 1996}
}
\def\body{
%\sect{
%}
This conference is a continuation of international workshops on {\em
Theorem Proving with Analytic Tableaux and Related Methods} held in
Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near
Oxford (1994), St. Goar near Koblenz (1995) and Terrasini near Palermo
(1996). It will be held from May 13 to 16, 1997 in Pont-\`a-Mousson
(Abbaye des Pr\'emontr\'es) near Nancy, France.
\sect{ TOPICS
}
Given the increased interest in tableaux-based theorem proving and its
applications, the conference intends to bring together researchers
interested in all the aspects of mechanisation of reasoning with
tableaux and related methods (sequent calculi, connection method,
model elimination,...) and working on theoretical foundations
of methods, implementation techniques, systems development and
applications.
Beside more traditional aspects of tableaux reasoning in various
underlying logics as classical logic and non classical logics (as
modal, temporal, intuitionistic and linear logic), works
dealing with other related approaches to automated reasoning are also
sollicited.\\
Topics of interest, in this context, include (but are not restricted
to):
\items{
\item analytic tableaux for various logics (theory and applications)
\item specific related techniques and concepts
\item related methods (model elimination, sequent
calculi, connection method,...)
\item new calculi and methods for theorem proving in classical and
non-classical logics (modal, intuitionistic, linear)
\item systems, tools, implementations and applications.
}
\sect{ SUBMISSIONS
}
The conference will include contributed papers, systems descriptions
and invited lectures. Submissions are invited in three categories:
{\bf (A)} Original research papers (up to 15 pages), {\bf (B)}
Original papers on system descriptions (up to 5 pages), {\bf (C)}
Position papers or work in progress (up to 6 pages)
\footnote{An exhibition/competition for provers in intuitionistic and modal
logics might be organized (to be later confirmed) with specific
position papers of category C.}.
Papers will be reviewed by peers, typically members of
the program committee. They must be unpublished and not submitted for
publication elsewhere.
The cover page should include the name, address, e-mail address and
phone number of each author and the submission category.
It is intended to publish the conference proceedings (including
accepted papers of category $A$ and $B$) within the LNAI series of Springer. \\
Authors have to submit their contributions to the Program Chair, by
{\bf e-mail} {\bf submissions} of postscript files, preferably in {\em LaTeX
llncs} style ({\bf tab97@loria.fr} or {\bf Didier.Galmiche@loria.fr})
by {\bf November 22, 1996}. \\
Additional information will be available through WWW address: {\bf
http://www.loria.fr/tab97}.
}
% PRACTICAL INFORMATION
\def\pract{
\inform{ TABLEAUX'97
}
{
\names{ Program Committee
}
~\\
C. Cellucci (Rome Univ, Italy). \\
M. d'Agostino (Imperial College, UK \\
\hspace*{25mm} \& Ferrara Univ, Italy) \\
R. Dyckhoff (St Andrews Univ, UK) \\
M. Fitting (CUNY, New York City, USA) \\
U. Furbach (Koblenz Univ, Germany) \\
D. Galmiche (CRIN-CNRS, France) {\bf Chair} \\
R. Gor\'e (Austr. National Univ, Australia) \\
J. Goubault-Larrecq (GIE Dyade, France) \\
R. H\"{a}hnle (Karlsruhe Univ, Germany) \\
A. Leitsch (TU Vienna, Austria) \\
R. Letz (TU Munich, Germany) \\
U. Moscato (Milan Univ, Italy) \\
N. Murray (SUNY at Albany, USA) \\
H. Ono (JAIST, Japan) \\
J. Posegga (Deutsche Telekom, Germany) \\
P. Schmitt (Karlsruhe Univ, Germany)\\
C. Schwind (LIM-CNRS, Marseille, France) \\
H. de Swart (Tilburg Univ, The Netherlands) \\
L. Wallen (Oxford Univ, UK) \\
G. Wrightson (Newcastle Univ, Australia)
~\\
~\\
~\\
\names{ Invited Speakers}
~\\
R. Hasegawa (Kyushu Univ, Japan) \\
~\\
G. Mints (Stanford Univ, USA) \\
~\\
}
~\\
~\\
\inform{ IMPORTANT DATES
}
{
%\cent{
\info {Deadline for submissions:} {November 22, 1996}
\info {Notification of acceptance:} {January 28, 1997}
\info {Deadline for final text:} {February 28, 1997}
%}
}
~\\
~\\
\inform{ INFORMATION
}{
\infow {E-mail:} {tab97@loria.fr}
\infow {WWW:}
{http://www.loria.fr/tab97}
\infow {ftp:} {ftp://ftp.loria.fr/pub/tab97}
\infow {Submissions:} {Didier Galmiche
\\ TABLEAUX'97 Program Chair
\\ CRIN-CNRS, UHP Nancy I
\\ B\^atiment LORIA
\\ 54506 Vand\oe uvre-l\`es-Nancy
\\ France
\\ E-mail: galmiche@loria.fr
\\ Phone: +33 83 59 20 15
\\ Fax: +33 83 41 30 79
}
}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The text below will format this announcement with LaTeX
% in a style designed by Jeroen Fokker, Utrecht University (jeroen@cs.ruu.nl),
% which has been adapted for our purposes
\pagestyle{empty}
\topmargin-10mm \oddsidemargin-20mm \textwidth190mm \textheight26cm
\newcommand{\cent}[1]{\begin{center}#1\end{center}}
\newcommand{\names}[1]{{\bf #1}\\[0.5mm]}
\newcommand{\info}[2]{{\em #1}\\ \hspace*{15mm}{\bf #2}\\[2mm]}
\newcommand{\infow}[2]{{\em #1} {\bf #2}\\[2mm]}
\newcommand{\sect}[1]{\vspace{7mm}\par\centerline{{\bf #1}}\vspace{4mm}\par}
\newcommand{\items}[1]{\vspace{3mm}\begin{itz} #1
\end{itz}\vspace{3mm}\par}
\newcommand{\inform}[2]{
\fbox{\begin{minipage}[t]{58mm}
\vspace{2mm}\par
\centerline{#1}\footnotesize\vspace{1mm}\par#2
\end{minipage}}\vspace{3mm}
}
\newenvironment{itz}{
\begin{list}{$\bullet$}{
\parsep=0pt\parskip=0pt\topsep=0pt\itemsep=0pt\leftmargin=1em
}}{\end{list}}
\begin{document}
\nopagebreak
\begin{minipage}[t]{58mm}
\vspace*{16mm}
\pract
\end{minipage}
\hfill
\begin{minipage}[t]{120mm}
{\large\sl\cent{\head}}
\body
\end{minipage}
\end{document}
------------------------------------------------------------------------
[ Apologies to those who receive this many times through different channels ]
Dear colleague,
Please find enclosed the Last Call for Tutorials (ascii and latex files) for
the conference
TABLEAUX'97 - Analytic Tableaux and Related Methods - that will be
held in Abbaye des Premontres, Pont-a-Mousson (near Nancy), France,
May 13-16, 1997.
Deadline for submissions: November 1, 1996.
Best regards
Didier Galmiche
-------------------------------------------------------------------
CALL FOR TUTORIALS
International Conference
TABLEAUX'97
Analytic Tableaux and Related Methods
Abbaye des Premontres, Pont-a-Mousson, France
May 13-16, 1997
Deadline for tutorial submissions: November 1, 1996
This conference is a continuation of international workshops on
Theorem Proving with Analytic Tableaux and Related Methods held in
Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near
Oxford (1994), St. Goar near Koblenz (1995) and Terrasini near Palermo
(1996). It will be held from May 13 to 16, 1997 in Pont-a-Mousson
(Abbaye des Premontres) near Nancy, France.
TOPICS
Given the increased interest in tableaux-based theorem proving and its
applications, the conference intends to bring together researchers
interested in all the aspects of mechanisation of reasoning with
tableaux and related methods (sequent calculi, connection method and
model elimination,...) and working on theoretical foundations
of methods, implementation techniques, systems development and applications.
Beside more traditional aspects of tableaux reasoning in various
underlying logics as classical logic and non classical logics (as
modal, temporal, intuitionistic and linear logic), works
dealing with other related approaches to automated reasoning are also
sollicited.
Topics of interest, in this context, include (but are not restricted
to):
- analytic tableaux for various logics (theory and applications)
- specific related techniques and concepts,
- related methods (model elimination, sequent calculi, connection
method,...),
- new calculi and methods for theorem proving in classical and
non-classical logics (modal, intuitionistic, linear)
- systems, tools, implementations and applications.
SUBMISSIONS
This conference will include a tutorial programme. Hence, proposals
for high-quality tutorials are sollicited in all areas of analytic
tableaux and related methods from academic research to applications.
Tutorial levels may be introductory, intermediate and advanced.
Novel topics and topics of broad interest are preferred.
The submission will take the form of a position paper (up to 5
pages) including the title, the author, the topic of the tutorial, its
level, its relevance wrt conference topics, describing precisely the
interest and the scientific contents of the proposed tutorial.
Propositions will be reviewed by peers, typically members of
the program committee.
Authors have to submit their proposals by e-mail submissions of
postscript files to the Program Chair ({\bf tab97@loria.fr} or {\bf
Didier.Galmiche@loria.fr}) by {\bf November 1, 1996}.
Additional information will be available through WWW address:
http://www.loria.fr/tab97
INFORMATION
* Invited Speakers
- R. Hasegawa (Kyushu Univ, Japan)
- G. Mints (Stanford Univ, USA)
* Program Chair
Didier Galmiche
CRIN-CNRS, UHP Nancy I
Batiment LORIA
54506 Vandoeuvre-les-Nancy
France
Phone: +33 83 59 20 15
Fax: +33 83 41 30 79
email: Didier.Galmiche@loria.fr
URL: http://www.loria.fr/~galmiche
* Program Committee:
C. Cellucci (Rome Univ, Italy)
M. d'Agostino (Imperial College, UK & Ferrara Univ, Italy)
R. Dyckhoff (St Andrews Univ, UK)
M. Fitting (CUNY, New York City, USA)
U. Furbach (Koblenz Univ, Germany)
D. Galmiche (CRIN-CNRS, Nancy, France) Chair
R. Gore (Austr. National Univ, Australia)
J. Goubault-Larrecq (GIE Dyade, France)
R. Haehnle (Karlsruhe Univ, Germany)
A. Leitsch (TU Wien, Austria)
R. Letz (TU Munich, Germany)
U. Moscato (Milan Univ, Italy)
N. Murray (SUNY at Albany, USA)
H. Ono (JAIST, Japan)
J. Posegga (Deutsche Telekom, Germany)
P. Schmitt (Karlsruhe Univ, Germany)
C. Schwind (LIM-CNRS, Marseille, France)
H. de Swart (Tilburg Univ, The Netherlands)
L. Wallen (Oxford Univ, UK)
G. Wrightson (Newcastle Univ, Australia)
* More information
E-mail: tab97@loria.fr
WWW: http://www.loria.fr/tab97
ftp: ftp://ftp.loria.fr/pub/tab97
IMPORTANT DATES
Deadline for submissions: November 1, 1996
Notification of acceptance: January 28, 1997
%--------------------------------------------------------
% Latex version TABLEAUX'97
%--------------------------------------------------------
\documentstyle{article}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Call for tutorials %%
%% TABLEAUX'97 %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\head{
{\LARGE \bf CALL FOR TUTORIALS
}\\[3mm]
{\large \em International Conference
}\\[4mm]
{\Large \bf TABLEAUX'97 \\
\vspace{3mm}
Analytic Tableaux and Related Methods} \\
~\\
{\bf Abbaye des Pr\'emontr\'es, Pont-\`a-Mousson, France}\\
May 13-16, 1997 \\
~\\
Deadline for tutorial submissions: {\bf November 1, 1996}
}
\def\body{
%\sect{
%}
This conference is a continuation of international workshops on {\em
Theorem Proving with Analytic Tableaux and Related Methods} held in
Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near
Oxford (1994), St. Goar near Koblenz (1995) and Terrasini near Palermo
(1996). It will be held from May 13 to 16, 1997 in Pont-\`a-Mousson
(Abbaye des Pr\'emontr\'es) near Nancy, France.
\sect{ TOPICS
}
Given the increased interest in tableaux-based theorem proving and its
applications, the conference intends to bring together researchers
interested in all the aspects of mechanisation of reasoning with
tableaux and related methods (sequent calculi, connection method,
model elimination,...) and working on theoretical foundations
of methods, implementation techniques, systems development and
applications.
Beside more traditional aspects of tableaux reasoning in various
underlying logics as classical logic and non classical logics (as
modal, temporal, intuitionistic and linear logic), works
dealing with other related approaches to automated reasoning are also
sollicited.\\
Topics of interest, in this context, include (but are not restricted
to):
\items{
\item analytic tableaux for various logics (theory and applications)
\item specific related techniques and concepts
\item related methods (model elimination, sequent
calculi, connection method,...)
\item new calculi and methods for theorem proving in classical and
non-classical logics (modal, intuitionistic, linear)
\item systems, tools, implementations and applications.
}
\sect{ SUBMISSIONS
}
This conference will include a tutorial programme. Hence, proposals
for high-quality tutorials are sollicited in all areas of analytic
tableaux and related methods from academic research to applications.
\\
Tutorial levels may be introductory, intermediate and advanced.
Novel topics and topics of broad interest are preferred.
The submission will take the form of a position paper (up to 5
pages) including the title, the author, the topic of the tutorial, its
level, its relevance wrt conference topics, describing precisely the
interest and the scientific contents of the proposed tutorial.
Propositions will be reviewed by peers, typically members of
the program committee. \\
Authors have to submit their proposals by {\bf e-mail} {\bf
submissions} of postscript files to the Program Chair ({\bf
tab97@loria.fr} or {\bf Didier.Galmiche@loria.fr})
by {\bf November 1, 1996}. \\
Additional information will be available through WWW address: {\bf
http://www.loria.fr/tab97}.
}
% PRACTICAL INFORMATION
\def\pract{
\inform{ TABLEAUX'97
}
{
\names{ Program Committee
}
~\\
C. Cellucci (Rome Univ, Italy). \\
M. d'Agostino (Imperial College, UK \\
\hspace*{25mm} \& Ferrara Univ, Italy) \\
R. Dyckhoff (St Andrews Univ, UK) \\
M. Fitting (CUNY, New York City, USA) \\
U. Furbach (Koblenz Univ, Germany) \\
D. Galmiche (CRIN-CNRS, France) {\bf Chair} \\
R. Gor\'e (Austr. National Univ, Australia) \\
J. Goubault-Larrecq (GIE Dyade, France) \\
R. H\"{a}hnle (Karlsruhe Univ, Germany) \\
A. Leitsch (TU Vienna, Austria) \\
R. Letz (TU Munich, Germany) \\
U. Moscato (Milan Univ, Italy) \\
N. Murray (SUNY at Albany, USA) \\
H. Ono (JAIST, Japan) \\
J. Posegga (Deutsche Telekom, Germany) \\
P. Schmitt (Karlsruhe Univ, Germany)\\
C. Schwind (LIM-CNRS, Marseille, France) \\
H. de Swart (Tilburg Univ, The Netherlands) \\
L. Wallen (Oxford Univ, UK) \\
G. Wrightson (Newcastle Univ, Australia)
~\\
~\\
~\\
\names{ Invited Speakers}
~\\
R. Hasegawa (Kyushu Univ, Japan) \\
~\\
G. Mints (Stanford Univ, USA) \\
~\\
}
~\\
~\\
\inform{ IMPORTANT DATES
}
{
%\cent{
\info {Deadline for submissions:} {November 1, 1996}
\info {Notification of acceptance:} {January 28, 1997}
%}
}
~\\
~\\
\inform{ INFORMATION
}{
\infow {E-mail:} {tab97@loria.fr}
\infow {WWW:}
{http://www.loria.fr/tab97}
\infow {ftp:} {ftp://ftp.loria.fr/pub/tab97}
\infow {Submissions:} {Didier Galmiche
\\ TABLEAUX'97 Program Chair
\\ CRIN-CNRS, UHP Nancy I
\\ B\^atiment LORIA
\\ 54506 Vand\oe uvre-l\`es-Nancy
\\ France
\\ E-mail: galmiche@loria.fr
\\ Phone: +33 83 59 20 15
\\ Fax: +33 83 41 30 79
}
}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The text below will format this announcement with LaTeX
% in a style designed by Jeroen Fokker, Utrecht University (jeroen@cs.ruu.nl),
% which has been adapted for our purposes
\pagestyle{empty}
\topmargin-10mm \oddsidemargin-20mm \textwidth190mm \textheight26cm
\newcommand{\cent}[1]{\begin{center}#1\end{center}}
\newcommand{\names}[1]{{\bf #1}\\[0.5mm]}
\newcommand{\info}[2]{{\em #1}\\ \hspace*{15mm}{\bf #2}\\[2mm]}
\newcommand{\infow}[2]{{\em #1} {\bf #2}\\[2mm]}
\newcommand{\sect}[1]{\vspace{7mm}\par\centerline{{\bf #1}}\vspace{4mm}\par}
\newcommand{\items}[1]{\vspace{3mm}\begin{itz} #1
\end{itz}\vspace{3mm}\par}
\newcommand{\inform}[2]{
\fbox{\begin{minipage}[t]{58mm}
\vspace{2mm}\par
\centerline{#1}\footnotesize\vspace{1mm}\par#2
\end{minipage}}\vspace{3mm}
}
\newenvironment{itz}{
\begin{list}{$\bullet$}{
\parsep=0pt\parskip=0pt\topsep=0pt\itemsep=0pt\leftmargin=1em
}}{\end{list}}
\begin{document}
\nopagebreak
\begin{minipage}[t]{58mm}
\vspace*{16mm}
\pract
\end{minipage}
\hfill
\begin{minipage}[t]{120mm}
{\large\sl\cent{\head}}
\body
\end{minipage}
\end{document}