*********************************************************************** *** Last Call for Participation - Program *** LACL 2001 4th International Conference on LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS June 27 -- 29, 2001 Le Croisic (on the ocean coast, nearby Nantes), France http://www.irisa.fr/LACL2001 --- Please accept our apologies for multiple copies --- --- Thank you in advance to circulate among interested people --- ************************************************************************** *** Practical information, schedule, on-line registration: http://www.irisa.fr/LACL2001 http://www.irisa.fr/manifestations/2001/LACL2001 *** Contact: Christele Soulas csoulas@irisa.fr Elisabeth Lebret lebret@irisa.fr *************************************************************************** -- LACL 2001 PROGRAM -- *************************************************************************** --- Invited speakers ----------------------------- Geoffrey K. PULLUM, Barbara C. SCHOLZ : On the distinction between Model-theoretic and Generative-enumerative syntactic frameworks Michael MOORTGAT : Structural Reasoning in Categorial Learning Mark STEEDMAN : Reconciling Type-Logical and Combinatory Extensions of Categorial Grammar --- Contributed papers ------------------------- M. A. ALONSO, E. DE LA CLERGERIE, M. VILARES : A formal definition of Bottom-up Embedded Push-Down Automata and their tabulation technique D. BARGELLI, J. LAMBEK : An algebraic Approach to French Sentence Structure P. BOTTONI, B. MEYER, K. MARRIOTT, F. PARISI PRESICCE : Deductive Parsing of Visual Languages W. BUSZKOWSKI : Lambek Grammars based on Pregroups C. CASADIO, J. LAMBEK : An Algebraic Analysis of Clitic Pronouns in Italian C. COSTA FLORENCIO : Consistent Identification in the Limit of any of the Classes k-Valued is NP-hard A.DIKOVSKY : Polarized Non-projective Dependency Grammars A. FORET : Mixing Deduction and Substitution in Lambek Categorial Grammars, some investigations C. FOX, S. LAPPIN : Framework for the Hyperintensional Semantics of Natural Language with Two Implementations H. HARKEMA : A Characterization of Minimalist Languages T. LAGER, J. NIVRE : Part of Speech Tagging from a Logical Point of View J. MICHAELIS : Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars E. STABLER : Recognizing Head Movement J. VILLADSEN : Combinators for Paraconsistent Attitudes J. VILLANEAU, J.-Y. ANTOINE, O. RIDOUX : Combining Syntax and Semantical Knowledge for Semantic Analysis of Spoken Language R. ZUBER : Atomicity of Some Categorially Polyvalent Modifiers --- Panel discussion : Logic in Contemporary Linguistics and Computational Linguistics ************************************************************************ *** Organizers: IRISA (INRIA, CNRS, Universit� de Rennes 1, INSA) IRIN (Universit� de Nantes) *** Sponsors: France Telecom R&D Xerox Loire Atlantique Pays de la Loire Ville de Nantes Universit� de Rennes 1 Universit� de Nantes *** Book and journal exhibition: Elsevier Hermes Kluwer Lincom Europa MIT Press Springer-Verlag World Scientific Publishing Company *** Other events in computational linguistics in France, early July: 2-5 july, Tours, TALN & RECITAL 2001: http://www.li.univ-tours.fr/taln-recital-2001/ 6-11 july, Toulouse, ACL 2001: http://www.irit.fr/ACTIVITES/EQ_ILPL/aclWeb/acl2001.html ***************************************************************************