[Prev][Next][Index][Thread]
LACL 97 : DEADLINE EXTENSION
There are many connections between computational linguistics and type
systems, starting with Montague's pioneering work in the sixties on a
semantics for natural languages based on the lambda calculus. This has
been extended in several directions, that have made use, among others,
of dependent type theory, subtyping systems, constraint logic
programming, and last but not least, linear logic.
*****************************************************************
DEADLINE EXTENSION
New submission deadline for 4-page abstract: may 20
-----------------------------------------------------------------
L A C L ' 9 7
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS
-----------------------------------------------------------------
INRIA-Lorraine & CRIN-C.N.R.S. -- NANCY -- 22-24 SEPTEMBER 1997
GENERAL TOPIC: The first edition of the LACL conference, which
was held in Nancy in September 1996, was very successful. This
fact proves that there is a growing interest in the use of logic
in natural language processing, both for syntactical and semanti
cal models. LACL'97 wants to continue to bring together lin
guists, logicians, philosophers and computer scientists around
this theme in order to present the latest results and to discuss
the different approaches.
TOPICS (not exclusive):
- Proof-theoretical aspects of the syntactical and semantical
models of natural languages.
- Automatic proof-search techniques for syntactical analysis and
generation.
- Grammars based on non-commutative linear logics.
- Relations between categorial grammars, context-free grammars
and TAGs.
- Natural language interfaces for automatic provers.
INVITED SPEAKERS:
Denis Bouchard (Universite du Quebec a Montreal)
Mark Johnson (Brown University, Providence)
Yves Lafont (C.N.R.S., Marseille)
Joachim Lambek (McGill University, Montreal)
SUBMISSIONS: Authors are invited to submit before May 20th a
4-page abstract (including the bibliography) of a paper which has
not been submitted elsewhere. This abstract must be sent to the
chairman of the program commitee by electronic mail (LaTeX,
PostScript, dvi or ascii format), or by surface mail. The notifi
cations of acceptance will be sent before May 31. The collection
of the selected abstracts will be available at the conference.
After the conference, the authors are invited to submit a full
paper (up to 20 pages) for publication. The final papers for the
previous conference are to appear in a special volume of the
Springer-Verlag series of Lecture Notes in Computer Science.
The submissions must be sent to:
Prof. Alain Lecomte
Departement IMSS TEL: +33 4 76 82 78 52
Universite Pierre Mendes-France FAX: +33 4 76 82 56 65
BP 47 X 38040 GRENOBLE Cedex 9
FRANCE
EMAIL: lecomte@shm.upmf-grenoble.fr
SCHEDULE:
20 May: 4-page abstract due
15 June: notification of acceptance
31 August: final 4-page abstract due
PROGRAM COMMITEE: Chairman: A. Lecomte (U. Grenoble 2)
C. Gardent (U. Saarbrucken)
B. Carpenter (Bell Labs)
M. Dymetman (Rank-Xerox, Grenoble)
P. de Groote (INRIA-Lorraine & CRIN-CNRS, Nancy)
S. Kulick (U. Pennsylvania)
F. Lamarche (INRIA-Lorraine & CRIN-CNRS, Nancy)
M. Moortgat (OTS, Utrecht)
G. Morrill (UPC, Barcelone)
A. Ranta (U. Helsinki & U. Tampere)
P. Saint-Dizier (IRIT, Toulouse)
E. Stabler (UCLA, Los Angeles)
E. Villemonte de la Clergerie (INRIA, Rocquencourt)
ORGANISING COMMITEE: Chairman: G. Perrier
V. Antoine, D. Bechet, A.-L. Charbonnier, F. Lamarche and A.
Savary, INRIA-Lorraine & CRIN-C.N.R.S., Nancy.
For any information related to the organisation, contact:
F. Lamarche
INRIA Lorraine & CRIN-CNRS TEL: +33 3 83 59 30 28
Campus Scientifique - BP 239 FAX: +33 3 83 41 30 79
54506 Vandoeuvre-les-Nancy Cedex EMAIL: lamarche@loria.fr
FRANCE
WWW homepage: http://www.loria.fr/~bechet/LACL.html
Contact: E-mail: lamarche@loria.fr Tel: +33 3 83 59 30 28
-----------------------------------------------------------------
NOUVELLE DATE LIMITE
Les resumes doivent parvenir avant le 20 mai
-----------------------------------------------------------------
L A C L ' 9 7
ASPECTS LOGIQUES DE LA LINGUISTIQUE INFORMATIQUE
-----------------------------------------------------------------
INRIA-Lorraine & CRIN-C.N.R.S. --- NANCY --- 22-24 SEPTEMBRE 1997
THEME GENERAL: La premiere edition de la conference LACL, qui
s'est tenue a Nancy en septembre 96, a connu un succes incon
testable. Elle temoigne ainsi d'un interet grandissant pour
l'utilisation de la logique dans le traitement automatique des
langues, tant dans leurs aspects syntaxiques que semantiques.
C'est autour de ce theme que LACL'97 veut continuer a rassembler
linguistes, logiciens et informaticiens et a confronter les ap
proches les plus diverses.
UNE LISTE NON EXHAUSTIVE DE SUJETS POSSIBLES:
- apports de la theorie de la demonstration aux modeles
syntaxiques et semantiques des langues;
- techniques de demonstration automatique pour l'analyse syntax
ique et la generation automatique;
- grammaires basees sur la logique lineaire non commutative;
- relations entre grammaires categorielles, grammaires hors con
texte et grammaires d'arbres adjoints;
- interfaces en langue naturelle pour les demonstrateurs automa
tiques...
CONFERENCIERS INVITES:
Denis Bouchard (Universite du Quebec a Montreal)
Mark Johnson (Brown University, Providence)
Yves Lafont (C.N.R.S., Marseille)
Joachim Lambek (McGill University, Montreal)
SOUMISSIONS: Les auteurs sont invites a envoyer pour le 20 mai
97 un resume d'une contribution originale de quatre pages au max
imum (bibliographie incluse). Ce resume sera adresse au respons
able scientifique de la conference, soit par voie electronique
(sous la forme d'un fichier LaTeX, PostScript, dvi ou ascii),
soit par voie postale. L'acceptation des contributions sera no
tifiee aux auteurs avant le 31 mai 97. Un volume constitue des
resumes selectionnes sera distribue lors de la conference.
Apres la conference, les auteurs des communications seront in
vites a soumettre les articles complets (de moins de 20 pages)
pour publication. Les actes de la precedente conference vont
etre publies dans un volume special de la serie Lecture Notes in
Computer Science de Springer-Verlag.
Les soumissions sont a adresser a:
Prof. Alain Lecomte
Departement IMSS TEL: +33 4 76 82 78 52
Universite Pierre Mendes-France FAX: +33 4 76 82 56 65
BP 47 X 38040 GRENOBLE Cedex 9
FRANCE
EMAIL: lecomte@shm.upmf-grenoble.fr
DATES:
30 avril: reception des resumes
31 mai: selection des communications
31 aout: reception des resumes corriges