Logic List Mailing Archive

LACL05: Logical Aspects of Computational Linguistics 2005 (Bordeaux, France)

L A C L   2005

  Logical Aspects of Computational Linguistics
  -- fifth international conference

  28-29-30 avril 2005, Bordeaux (France)
  CNRS - INRIA -- Universites Bordeaux 1 & 3
  Submission deadline: monday 3 january 2005

  LACL CONFERENCE SERIES LACL-2005 is the 5th edition of a series of
  international conferences on logical and formal methods in
  computational linguistics. 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 appeared in the
  series Lecture Notes in Artificial Intelligence (volumes 1328, 1582,
  2014, 2099) published by Springer.