[Prev][Next][Index][Thread]
Second call for papers, LACL
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.
-----------------------------------------------------------------
L A C L ' 9 7
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS
-----------------------------------------------------------------
INRIA-Lorraine & CRIN-C.N.R.S. -- NANCY -- 22-24 SEPTEMBER 1997
---------------------
2nd CALL FOR PAPERS
---------------------
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 April 30 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:
30 April: 4-page abstract due
31 May: 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