The Coq mailing list

[maxime amblard <amblard AT labri.fr>]

Apologies for multiple copies / please redistribute
**************************************************
                L A C L   2 0 0 5
        Fifth International Conference on
   Logical Aspects of Computational Linguistics
                       ---
      28-29-30 april 2005, Bordeaux  (France)
               http://lacl.labri.fr/
   CNRS - INRIA - University of Bordeaux 1 & 3
**************************************************

             CALL FOR PARTICIPATION
Early registration deadline: monday 28 february 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.


Student Session
----------------------

A student session will be organize.
For more informations, see our web site
http://lacl.labri.fr/student_session

Registration
------------

Registration for LACL 2005 is open. You can access the registration form
from the LACL website

http://lacl.labri.fr/registration.html

Early registration fees, for participants registering before the 28th of
february, are 100 euros for student and 160 euros for other 
participants.

Travel
------

Bordeaux has an airport with direct flights from Paris (both Charles
de Gaulle and Orly), Amsterdam, London Gatwick and several other major
European destinations.

There is also an hourly TGV service from Paris Montparnasse.

Accommodation
-------------

Information on accommodation will be posted on our website
http://lacl.labri.fr before february 25th.

Conference Site
---------------
LACL will take place at the conference room of the Musee d'Aquitaine,
a few steps away from the stop `Musee d'Aquitaine' of tramline B.

Practical inquiries
-------------------
Joan Busquets 
busquets AT u-bordeaux3.fr
Richard Moot 
moot AT labri.fr
Brigitte Larue-Bourdon +33 5 40 00 69 30

Important dates
---------------
Early registration deadline : monday 28th february 2005
Camera-ready papers due     : monday 28th february 2005
LACL conference             : thursday 28th - saturday 30th april 2005

Invited speakers
----------------
Gerard Huet       INRIA Futurs & Rocquencourt
Ruth Kempson      King's College, London
Carl Pollard      Ohio Statu University, Columbus, OH

Preliminary Program
-------------------
Bassam Haddad and Mustafa Yaseen `A Compositional Approach Towards
  Semantic Representation and Construction of Arabic'

Nissim Francez `Lambek-Calculus with General Elimination rules and
  Continuation Semantics'

Richard Zuber `More algebras for determiners'

Anne Preller and Joachim Lambek `Categorical semantics for pregroup
  grammars'

Allan Third `The Expressive Power of Restricted Fragments of English'

Denis Bechet and Annie Foret `k-Valued Non-Associative Lambek Grammars
  (without Product) Form a Strict Hierarchy of Languages'

Claire Gardent and Yannick Parmentier `Large scale semantic
  construction for Tree Adjoining Grammars'

Peter Ljunglof `A Polynomial Time Extension of Parallel Multiple
  Context-Free Grammar'

Marcelo da S. Correa and E. Hermann Haeusler `On the Selective Lambek
  Calculus'

Areski Nait Abdallah, Alain Lecomte `On expressing vague
  quantification and scalar implicatures in the logic of partial
  information'

David A. Burke, Kristofer Johannisson `Translating Formal Software
  Specifications to Natural Language. A Grammar-Based Approach'

Erwan Moreau `Learnable classes of general combinatory grammar'

Ryo Yoshinaka, Makoto Kanazawa `The Complexity and Generative Capacity
  of Lexicalized Abstract Categorial Grammars'

Isabelle Tellier `When Categorial Grammar meet Regular Grammatical 
Inference'

Denis Bechet, Alexander Dikovsky, Annie Foret `Dependency Structure
  Grammars'

Roberto Bonato `Towards a Computational Treatment of Binding Theory'

Benoit Crabbe `Grammatical Development with XMG'

Benoit Sagot `Linguistic facts as predicates over ranges of the 
sentence'

Djame Seddah and Bertrand Gaiffe `How to Build Argumental graphs Using
  TAG Shared Forest : a view from control verbs'

Jens Michaelis and Hans-Martin Gaertner `A Note on the Complexity of
  Constraint Interaction: Locality Conditions and Minimalist Grammars'

Joachim Niehren and Mateu Villaret `Describing Lambda Terms in Context
  Unification'

Veit Reuer and Kai-Uwe Kuehnberger `Feature Constraint Logic and Error
  Detection in ICALL Systems'

Evelyne Jacquey `Un cas de "polysemie logique"'

John T. Hale and Edward P. Stabler `Strict Deterministic Aspects of
  Minimalist Grammars'

========================================================================
LACL 2005 web site: http://lacl.labri.fr