AMAST Mail 1996
[Prev][Next][Index]

CFP: logical aspects of comp. linguistics


Dear colleague,

This message contains the call for paper of the conference
Logical aspects of computational linguistics [Nancy 23-25 septembre 96]
in ascii and in LaTeX (english and french).
The deadline for submitting a 4-page abstract is May 31.
For more details, see http://www.loria.fr/~retore/LACL.html
or ask retore@loria.fr
Please forward this message
... and forgive us if you receive it several times.

Best regards, the organisers


Call for papers:
==============================================================================
                LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS
==============================================================================
INRIA-Lorraine and CRIN-C.N.R.S. ,  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.


Invited speakers:
------------------------------------------------------------------------------

Jean-Yves Girard (C.N.R.S. ,  Marseille)
Aravind Joshi (University of Pennsylvania, Philadelphia)
Marcus Kracht (Freie Universitaet Berlin)
Dale Miller (University of Pennsylvania, Philadelphia)
Edward Stabler (University of California at Los Angeles)

Submissions:
------------------------------------------------------------------------------

Authors are  invited to  submit before May 31 a 4-page abstract (including the
bibliography) 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

The collection of the selected abstract will be available at the conference.

Full papers (up to 20 pages) will be due in November.
After the full papers  are refereed, we intend  to publish  them as a volume
of Lecture Notes in Computer Science, Springer-Verlag.

Schedule:
------------------------------------------------------------------------------

31 May:                 4-page abstract due
14 july:                notification of acceptance
31 August:              final 4-page abstract due
11 November:            full paper due

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)

------------------------------------------------------------------------------
WWW homepage:     http://www.loria.fr/~retore/LACL.html
     contact:     retore@loria.fr     tel: +83 59 20 17
------------------------------------------------------------------------------
This conference is co-organised by INRIA-Lorraine and CRIN-C.N.R.S.




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                            %
%                     LaTeX  announcement                                    %
%                                                                            %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\documentstyle{article}
\renewcommand\baselinestretch{0.95}
\pagestyle{empty}

\newlength\toto
\setlength\toto{-4mm}

\setlength\textheight{23cm}
\setlength\topmargin{-1cm}
\setlength\textwidth{16cm}
\setlength\oddsidemargin{0cm}


\begin{document}
\begin{center}\bf
Call for papers:

\medskip

{\LARGE\sf LOGICAL  \hfill ASPECTS  \hfill OF  \hfill COMPUTATIONAL
\hfill
LINGUISTICS}

\smallskip

{\small \bf INRIA}-Lorraine \& {\small \bf CRIN-C.N.R.S.}
\hfill --- \hfill
 NANCY
\hfill --- \hfill
23-25 {\small \bf SEPTEMBER} 1996


\end{center}

\vspace{\toto}
\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 conference 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.

\vspace{\toto}
\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}

\vspace{\toto}
\paragraph{Invited speakers:}\
\begin{tabular}[t]{l}
Jean-Yves Girard (C.N.R.S. ,  Marseille)\\
Aravind Joshi (University of Pennsylvania, Philadelphia)\\
Marcus Kracht (Freie Universit\"at Berlin) \\
Dale Miller (University of Pennsylvania, Philadelphia)\\
Edward Stabler (University of California at Los Angeles)\\
\end{tabular}






\vspace{\toto}
\paragraph{Submissions:}
Authors are invited to submit before May 31 a 4-page abstract
(including the bibliography)
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}

The collection of the selected abstracts will be available at the
conference.

Full papers (up to 20 pages) will be due in November.
After the full papers are refereed,
we intend to publish
them  as  a volume of Lecture Notes in Computer Science,
Springer-Verlag.
\vspace{\toto}
\paragraph{Schedule:}\quad
\begin{tabular}[t]{llcll}
\bf 31 May: & 4-page abstract due\\
\bf 14 July: & notification of acceptance\\
\bf 31 August: & final 4-page abstract due\\
\bf 11 November:& full paper due\\
\end{tabular}
\vspace{\toto}
\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}
\vspace{\toto}
\paragraph{Organising commitee:}\quad\quad
B. Lang ({\sc inria}, Rocquencourt)\newline
D. Bechet,
Ph. de Groote,
F. Lamarche, and
C. Retor\'e ({\sc inria}-Lorraine \& {\sc crin-c.n.r.s.}, Nancy)\\



\begin{center}{\tt
\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}\vspace{3mm} }

{\large\it
This conference is co-organised by INRIA-Lorraine and CRIN-C.N.R.S.}
\end{center}
\pagebreak
\begin{center}\bf
Appel \`a communications:

\medskip

{\LARGE\sf ASPECTS \hfill LOGIQUES  \hfill DE  \hfill LA  \hfill
LINGUISTIQUE  \hfill INFORMATIQUE}

\smallskip

{\small \bf INRIA}-Lorraine \&
{\small \bf CRIN-C.N.R.S.}
\hfill --- \hfill
NANCY
\hfill --- \hfill
23-25 {\small \bf SEPTEMBRE} 1996


\end{center}
\vspace{\toto}
\paragraph{Th\`eme g\'en\'eral:}
L'utilisation de la logique dans le traitement automatique
des langues, tant syntaxique que s\'emantique,
est en plein essor. De nombreux travaux r\'ecents en t\'emoignent:
l'analyse syntaxique et la g\'en\'eration automatique au moyen de
techniques de d\'emonstration automatique, les grammaires bas\'ees sur
la logique lin\'eaire non-commutative,
les relations qui lient les grammaires cat\'egorielles aux grammaires
hors-contexte ou  aux grammaires d'arbres adjoints,
les interfaces en langue naturelle pour les d\'emonstrateurs
automatiques, l'unification pour la r\'esolution d'anaphores,
la s\'emantique des grammaires lexico-fonctionnelles
dans le cadre de la logique lin\'eaire.

Cette conf\'erence \`a pour mission d'amener des linguistes, des
logiciens, des philosophes et des informaticiens
\`a pr\'esenter leurs derni\`eres avanc\'ees en ces
domaines, et \`a d\'ebattre de leurs diverses approches.


\vspace{\toto}
\paragraph{Une liste non exhaustive de sujets possibles:}\ \vspace{1.5mm}\\
\noindent
\begin{tabular}{cl}
$\triangleright$&
apports de la th\'eorie de la d\'emonstration
aux mod\`eles syntaxiques et s\'emantiques des langues\\
$\triangleright$&
utilisation de logiques (classiques ou non) en linguistique
informatique\\
$\triangleright$&
grammaires formelles et
techniques d'analyse syntaxique: TAG, LFG, grammaires cat\'egorielles \ldots
\\
$\triangleright$&
relations entre mod\`eles\\
\end{tabular}

\vspace{\toto}
\paragraph{Conf\'erenciers invit\'es:}\
\begin{tabular}[t]{l}
Jean-Yves Girard (C.N.R.S. ,  Marseille)\\
Aravind Joshi (University of Pennsylvania, Philadelphia)\\
Marcus Kracht (Freie Universit\"at Berlin) \\
Dale Miller (University of Pennsylvania, Philadelphia)\\
Edward Stabler (University of California at Los Angeles)\\
\end{tabular}






\vspace{\toto}
\paragraph{Communications:}
Les auteurs sont invit\'es \`a nous adresser avant le 31 mai
un r\'esum\'e
d'une contribution originale.
Ce r\'esum\'e de moins de quatre pages (bibliographie incluse),
nous sera si possible envoy\'e
\'electroniquement sous la forme d'un fichier
LaTeX,
PostScript, dvi ou ascii \`a l'adresse
{\tt retore@loria.fr}.

On pourra \'egalement l'envoyer par courrier ou t\'el\'ecopie:\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
T\'el\'ecopie: +33 83 27 83 19}\vspace{1mm}

Un volume constitu\'e des r\'esum\'es s\'electionn\'es sera
distribu\'e
lors de la conf\'erence.

Les articles complets (de moins de 20 pages) devrons nous parvenir en novembre.
Les articles ayant obtenus des rapports positifs seront
publi\'es, probablement
dans  la s\'erie Lecture
Notes in Computer Science de Springer-Verlag.
\vspace{\toto}
\paragraph{Dates:}\quad
\begin{tabular}[t]{llcll}
\bf 31 mai: & r\'eception des r\'esum\'es\\
\bf 14 juillet: & s\'election des communications\\
\bf 31 ao\^ut: & r\'eception des r\'esum\'es corrig\'es\\
\bf 11 novembre:& r\'eception des articles complets\\
\end{tabular}
\vspace{\toto}
\paragraph{Comit\'e de programme:}\ \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}
\vspace{\toto}
\paragraph{Comit\'e d'organisation:}\quad\quad
B. Lang ({\sc inria}, Rocquencourt)\newline
D. Bechet,
Ph. de Groote,
F. Lamarche, et
C. Retor\'e ({\sc inria}-Lorraine \& {\sc crin-c.n.r.s.}, Nancy)\\




\begin{center}{\tt
\begin{tabular}{|rl|}\hline
WWW homepage: & http://www.loria.fr/\~{}retore/LACL.html\\ \hline
Contact: &  Adresse \'electronique: retore@loria.fr \quad T\'el: +33 83 59
20 17\\
\hline
\end{tabular}\vspace{3mm} }

{\large\it Cette conf\'erence est co-organis\'ee
par l'INRIA-Lorraine et le CRIN-C.N.R.S.}
\end{center}

\end{document}


Christian RETORE
=======================================

Equipe CALLIGRAMME Team

INRIA Lorraine & CRIN-C.N.R.S.
615 rue du jardin botanique
BP 101
54602 Villers les Nancy cedex
TEL: 83 59 20 17      FAX: 83 27 83 19
http://www.loria.fr/~retore/index.html
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]