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 ------------- We have reserved rooms in serveral hotels close to the conference site. You can find information and a booking form at. http://lacl.labri.fr/hotels.html 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@u-bordeaux3.fr Richard Moot moot@labri.fr Brigitte Larue-Bourdon +33 5 40 00 69 30 Preliminary Program ------------------- Thursday 28 April 09:00-09:30 Coffee/Registration 09:30-10:30 Invited Talk: Ruth Kempson - A Grammar Formalism for Dialogue Modelling? 10:30-10:45 Coffee Break 10:45-11:15 Ryo Yoshinaka and Makoto Kanazawa - The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars 11:15-11:45 Allan Third - The Expressive Power of Restricted Fragments of English 11:45-12:15 Peter Ljunglof - A Polynomial Time Extension of Parallel Multiple Context-Free Grammar 12:15-14:00 Lunch 14:00-14:30 Roberto Bonato - Towards a Computational Treatment of Binding Theory 14:30-15:00 Joachim Niehren and Mateu Villaret - Describing Lambda Terms in Context Unification 15:00-15:30 Bassam Haddad and Mustafa Yaseen - A Compositional Approach Towards Semantic Representation and Construction of Arabic 15:30-16:00 Benoit Sagot - Linguistic facts as predicates over ranges of the sentence 16:00-16:30 Coffee Break 16:30-17:00 Evelyne Jacquey - Un cas de "polysemie logique" 17:00-18:00 Industrial Session - APIL 18:00-20:00 Wine Tasting Friday 29 April 09:00-09:30 Coffee 09:30-10:30 Invited Talk: Gerard Huet - TBA 10:30-10:45 Coffee Break 10:45-11:15 Erwan Moreau - Learnable classes of general combinatory grammar 11:15-11:45 Isabelle Tellier - When Categorial Grammar meet Regular Grammatical Inference 11:45-12:15 Denis Bechet and Annie Foret - k-Valued Non-Associative Lambek Grammars (without Product) Form a Strict Hierarchy of Languages 12:15-14:00 Lunch 14:00-14:30 Richard Zuber - More algebras for determiners 14:30-15:00 Nissim Francez - Lambek-Calculus with General Elimination rules and Continuation Semantics 15:00-15:30 Areski Nait Abdallah and Alain Lecomte - On expressing vague quantification and scalar implicatures in the logic of partial information 15:30-16:00 Marcelo da S. Correa and E. Hermann Haeusler - On the Selective Lambek Calculus 16:00-16:15 Coffee Break 16:15-16:45 Student Session 16:45-17:15 Djame Seddah and Bertrand Gaiffe - How to Build Argumental graphs Using TAG Shared Forest : a view from control verbs 17:15-17:45 Claire Gardent and Yannick Parmentier - Large scale semantic construction for Tree Adjoining Grammars 21:00-23:00 Conference Diner Saturday 30 April 09:00-09:30 Coffee 09:30-10:00 Anne Preller and Joachim Lambek - Categorical semantics for pregroup grammars 10:00-10:30 Denis Bechet, Alexander Dikovsky and Annie Foret - Dependency Structure Grammars 10:30-10:45 Coffee Break 10:45-11:15 Veit Reuer and Kai-Uwe Kuehnberger - Feature Constraint Logic and Error Detection in ICALL Systems 11:15-11:45 David A. Burke and Kristofer Johannisson - Translating Formal Software Specifications to Natural Language. A Grammar-Based Approach 11:45-12:15 Benoit Crabbe - Grammatical Development with XMG 12:15-14:00 Lunch 14:00-14:30 John T. Hale and Edward P. Stabler - Strict Deterministic Aspects of Minimalist Grammars 14:30-15:00 Jens Michaelis and Hans-Martin Gaertner - A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars 15:00-16:00 Invited Talk: Carl Pollard - TBA ======================================================================== LACL 2005 web site: http://lacl.labri.fr 25-Mar-2005 09:32:41 -0400,802;000000000000-00000000