[LACL05] Last Call For Participation

[maxime amblard]

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

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


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 are on our website
http://lacl.labri.fr

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


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