Logical Aspects of Computational Linguistics, LACL

 LACL is a series of international conferences on logical and formal methods in computational linguistics, started in 95/96 by the INRIA team Calligramme (Nancy). It addresses in particular the use of proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models. A selection of the 1995 articles appeared in a special issue of the Journal of Logic, Language and Information (7:4, 1998). The proceedings of the international conferences LACL`96 ,LACL`97, LACL`98 et LACL`2001 LACL`2005 appeared in the series Lecture Notes in Artificial Intelligence (volumes 1328, 1582, 2014, 2099, 3492) published by Springer.

• LACL`2005 LNAI/LNCS 3492 edited by Ph. Blache E. Stabler, J. Busquets, R. Moot (contents is here)
  The call for papers of LACL 2005 is still on line.
  Bordeaux,  28-30 april 2005
  Programme committee: Chairs: Philippe Blache (co-chair)(CNRS LPL Aix), Edward Stabler (co-chair) (UCLA)
  Johan Bos (U. of Edinburgh), Joan Busquets (U. Bordeaux 3), Henning Christiansen (Roskilde U.), Veronica Dahl (Simon Fraser U.), Denys Duchier (INRIA-Lorraine), Marc Dymetman (Xerox Grenoble), Sandiway Fong (U. Arizona), Kim Gerdes (U. Bordeaux 3), Philippe de Groote (INRIA-Lorraine), Gerhard Jäger (U. Potsdam), Marcus Kracht (UCLA), Alain Lecomte (Université Grenoble 2), Uwe Mönnich (U. Tübingen), Michael Moortgat (U. Utrecht), Richard Moot (CNRS LaBRI Bordeaux), Glyn Morrill (UPC, Barcelona), Gerald Penn (U. Toronto), Christian Retoré (U. Bordeaux 1), Maarten de Rijke (U. Amsterdam), James Rogers (Earlham College, Richmond), Vijay Shanker (U. Delaware), Mark Steedman (U. of Edinburgh)
  Organizing committee Chairs: Joan Busquets (U. Bordeaux 3), Richard Moot (CNRS LaBRI Bordeaux)
  Main Organizer: CNRS LaBRI

• LACL`2001 LNAI/LNCS 2099 Edited by Ph. de Groote, G. Morrill and Ch. Retoré (contents is here)
  Port-aux-Rocs, Le Croisic, 27-29 june 2001. 
  Programme committee: Chairs: Philippe DE GROOTE (Nancy) and Glyn V. MORRILL (Barcelone)
  W. Buszkowski (Poznan), R. Crouch, (Palo Alto) A. Dikovsky (Nantes), M. Dymetman (Grenoble), C. Gardent (Saarbrucken), M. Kanazawa (Tokyo), R. Muskens (Tilburg), F. Pfenning (Pittsburgh), B. Rounds, (Ann Arbor), E. Stabler (Los Angeles)
  Organizing committee Chair: Christian RETORE (Nantes)
  Main Organizer: INRIA-Rennes

 
• LACL`98 LNCS/LNAI 2014 (contents is here)
  Grenoble, 14-16 December 1998
  Programme committee: Chair:  Michael MOORTGAT (OTS, Utrecht)
  Johan Van Benthem (ILLC, Amsterdam), Gosse Bouma (Groningen), Vijay Shanker (Delaware), Erhard Hinrichs (Tuebingen), Mary Dalrymple (Xerox Parc), Ruy de Queiroz (UFPE, Sao Paolo), Francois Lamarche (INRIA, Nancy), Christian Retoré (INRIA, Rennes), Uwe Reyle (IMS, Stuttgart)
  Organizing committee chair: Alain LECOMTE
  Main organizer: INRIA-Lorraine
  
  
• LACL`97 LNCS/LNAI 1582 Edited by A. Lecomte, F. Lamarche & G. Perrier (contents is here)
  Nancy, 22-24 September 1997
  Programme committee: Chair: Alain LECOMTE (U. Grenoble 2)
  B. Carpenter (Bell Labs), M. Dymetman (Rank-Xerox, Grenoble), C. Gardent (U. Saarbrucken), Ph. de Groote (INRIA & CRIN, Nancy), S. Kulick (U. Pennsylvania), F. Lamarche (INRIA & CRIN, 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)
  Organizing committee chair: Guy PERRIER
  Main organizer: INRIA-Lorraine
• LACL`96 LNCS/LNAI 1328 edited by Christian RETORE (contents is here)
  Nancy,  23-25 september 96
  Programme committee Chair: Christian RETORE (INRIA, Nancy)
  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), E. Villemonte de la Clergerie (INRIA, Rocquencourt)
  Organizing committee chair: Christian RETORE 
  Main organizer: INRIA-Lorraine
  
• LACL`95 workshop, september 1995 Chairs: Christian RETORE and Alain LECOMTE in Nancy Main organizer: INRIA-Lorraine
  Selected papers  Journal of Logic, Language and Information  volume 7 number 4, 1998 (guest editor: Christian RETORE ).
  Contents: 1 Introduction - Christian Retoré - pp. 395 - 398 2 Categorial Inference and Modal Logic - Natasha Kurtonina - pp. 399 - 411  3 Syntactic Calculus with Dependent Types Aarne Ranta pp. 413 - 431 4 Proof Nets and the Complexity of Processing Center Embedded Constructions - Mark Johnson - pp. 433 - 447 5 A New Correctness Criterion for Cyclic Proof Nets - V. Michele Abrusci and Elena Maringelli - pp. 449 - 459 6 Group Theory and Computational Linguistics -Marc Dymetman - pp. 461 - 497