[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