[Prev][Next][Index][Thread]
LACL call for papers
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
Preliminary call for papers:
==============================================================================
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS
==============================================================================
Nancy, 23-25 september 1996
General topic:
------------------------------------------------------------------------------
There has been a growing interest in the use of logic in natural language
processing, both for syntactical and semantical models. Some recent examples
include logical deduction as a basis for parsing/generation, the use of
non-commutative linear logic as a syntactical model, the relation between
categorial grammars, CFG and TAG, natural language interfaces for automatic
theorem proving, unification for anaphora resolution, and linear logic
semantics for LFG.
This workshop is aimed at bringing together linguists, logicians, philosophers
and computer scientists in order to present the latest results in these areas
and to discuss the different approaches.
Topics (not exclusive):
------------------------------------------------------------------------------
Proof-theoretical aspects of the syntactical and semantical models of natural
languages.
The use of classical and non-classical logics in computational linguistics.
Formal grammars for natural languages and their parsing: categorial grammars,
TAGs, LFGs etc.
Relations between models.
Submissions:
------------------------------------------------------------------------------
Authors are invited to submit before May 31 a 4-page abstract of a paper which
has not been submitted elsewhere. The favoured format is electronic
submission of a LaTeX, PostScript, dvi or ascii file.
Email submissions should be made to retore@loria.fr
Authors can also use surface mail or FAX:
LACL c/o Christian Retore
INRIA-Lorraine & CRIN-C.N.R.S.
B.P. 101
615, rue du jardin botanique
54602 Villers les Nancy cedex FRANCE
FAX: +33 83 27 83 19
Full papers (up to 20 pages) will be due at conference time, 23 september 96.
After the full papers are refereed, we intend to publish them as a special
issue of a journal, or as a volume in some series of lecture notes (this will
be made precise in a later announcement).
Schedule:
------------------------------------------------------------------------------
31 May: 4-page abstract due
14 july: notification of acceptance
23 september: final paper due at the conference
Program commitee:
------------------------------------------------------------------------------
M. Abrusci (U. di Bari & U. di Roma)
P. Blackburn (U. Sarrebruck)
M. Dymetman (Rank-Xerox, Grenoble)
M. Johnson (Brown U. , Providence)
A. Lecomte (U. Grenoble 2 & INRIA-Lorraine)
M. Moortgat (OTS, Utrecht)
G. Morrill (UPC, Barcelona)
A. Ranta (U. Helsinki & U. Tampere)
C. Retore (INRIA-Lorraine & CRIN-CNRS)
E. Villemonte de la Clergerie (INRIA, Rocquencourt)
Organising commitee:
------------------------------------------------------------------------------
B. Lang (INRIA, Rocquencourt)
D. Bechet, Ph. de Groote, F. Lamarche, and C. Retor\'e
(INRIA-Lorraine & CRIN-CNRS, Nancy)
------------------------------------------------------------------------------
The list of invited speakers will be given in a later version of this
announcement.
------------------------------------------------------------------------------
WWW homepage: http://www.loria.fr/~retore/LACL.html
contact: retore@loria.fr tel: +83 59 20 17
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %
% LaTeX announcement %
% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle{article}
\pagestyle{empty}
\setlength\textheight{23cm}
\setlength\topmargin{-1cm}
\setlength\textwidth{16cm}
\setlength\oddsidemargin{0cm}
\begin{document}
\begin{center}\bf
Preliminary call for papers:
\smallskip
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS
\smallskip
Nancy, 23-25 september 1996
\end{center}
\paragraph{General topic:}
There has been a growing interest in the use of logic in natural
language processing, both for syntactical and semantical models.
Some recent examples include logical deduction
as a basis for parsing/generation,
the use of
non-commutative linear logic as a syntactical model,
the relation between categorial grammars, CFG and TAG,
natural language interfaces for automatic theorem proving,
unification for anaphora resolution,
and
linear logic semantics for LFG.
This workshop is aimed at bringing together linguists, logicians,
philosophers and computer scientists in order to
present the latest results in these areas and to discuss the different
approaches.
\paragraph{Topics (not exclusive):}\ \vspace{1.5mm}\\
\noindent
\begin{tabular}{cl}
$\triangleright$&
Proof-theoretical aspects
of the syntactical and semantical models of natural languages.\\
$\triangleright$&
The use of classical and non-classical logics
in computational linguistics.\\
$\triangleright$&
Formal grammars for natural languages and their parsing:
categorial grammars, TAGs, LFGs etc.\\
$\triangleright$&
Relations between models.\\
\end{tabular}
\paragraph{Submissions:}
Authors are invited to submit before May 31 a 4-page abstract
of a paper which has not been submitted elsewhere.
The favoured format is electronic submission of a LaTeX,
PostScript, dvi or ascii file.
Email submissions should be made to {\tt retore@loria.fr}
Authors can also use surface mail or FAX:\vspace{1mm}
\centerline{
\begin{tabular}[t]{l}
LACL c/o Christian Retor\'e\\
INRIA-Lorraine \& CRIN-C.N.R.S. \\
B.P. 101\\
615, rue du jardin botanique\\
54602 Villers les Nancy cedex\quad FRANCE\\
\end{tabular}
\quad
FAX: +33 83 27 83 19}\vspace{1mm}
Full papers (up to 20 pages) will be due at conference time, 23 september 96.
After the full papers are refereed,
we intend to publish
them as
a special issue of a journal, or as a volume in some series
of lecture notes (this will be made precise in a later announcement).
\paragraph{Schedule:}\quad
\begin{tabular}[t]{ll}
\bf 31 May: & 4-page abstract due\\
\bf 14 July: & notification of acceptance\\
\bf 23 September: & final paper due at the conference\\
\end{tabular}
\paragraph{Program commitee:}\ \vspace{1.5mm}\\
\noindent
\begin{tabular}{l}
M. Abrusci (U. di Bari \& U. di Roma)\\
P. Blackburn (U. Sarrebr\"uck) \\
M. Dymetman (Rank-Xerox, Grenoble) \\
M. Johnson (Brown U. , Providence) \\
A. Lecomte (U. Grenoble 2 \& {\sc inria}-Lorraine)\\
\end{tabular}
\begin{tabular}{l}
M. Moortgat ({\sc ots}, Utrecht) \\
G. Morrill ({\sc upc}, Barcelona) \\
A. Ranta (U. Helsinki \& U. Tampere) \\
C. Retor\'e ({\sc inria}-Lorraine \& {\sc crin-c.n.r.s}, Nancy) \\
E. Villemonte de la Clergerie ({\sc inria}, Rocquencourt) \\
\end{tabular}
\paragraph{Organising commitee:}\ \vspace{1.5mm}\\
\noindent
\begin{tabular}{l}
B. Lang ({\sc inria}, Rocquencourt)\\
D. Bechet,
Ph. de Groote,
F. Lamarche, and
C. Retor\'e ({\sc inria}-Lorraine \& {\sc crin-c.n.r.s.}, Nancy)\\
\end{tabular}
\bigskip
\noindent A list of {\bf invited speakers} will be given in a
later version of this announcement.
\tt
\begin{center}
\begin{tabular}{|rl|}\hline
WWW homepage: & http://www.loria.fr/\~{}retore/LACL.html\\ \hline
Contact: & E-mail: retore@loria.fr \quad Tel: +33 83 59 20 17\\
\hline
\end{tabular}
\end{center}
\end{document}
=======================================
Christian RETORE
Equipe CALLIGRAMME Team
INRIA Lorraine & CRIN-C.N.R.S.
615 rue du jardin botanique
54602 Villers les Nancy cedex
TEL: 83 59 20 17 FAX: 83 27 83 19
http://www.loria.fr/~retore/index.html