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

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
 - Grammars based on non-commutative linear logics.
 - Relations  between  categorial grammars, context-free grammars
   and TAGs.
 - Natural language interfaces for automatic provers.

      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
   EMAIL: lecomte@shm.upmf-grenoble.fr

          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

WWW   homepage:   http://www.loria.fr/~bechet/LACL.html
Contact:  E-mail: lamarche@loria.fr  Tel: +33 3 83 59 30 28