LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS (LACL98) FIRST ANNOUNCEMENT and CALL FOR PAPERS CONFERENCE TIME and PLACE: 14-16 December 1998 LORIA, INRIA-Rhone-Alpes, Universite Pierre Mendes-France, Grenoble 2 France THEME The LACL conferences provide a platform for the presentation of new and original research on the use of logical techniques, both model-theoretic and proof-theoretic, in the field of computational linguistics. The first two editions of the conference were held in Nancy (France), in September 1996 and 1997. Proceedings of these events are published in the Springer Lecture Notes in Artificial Intelligence series. See http://www.loria.fr/~retore/LesLACL.html for more information. From LACL98 on, the conference will operate on a bi-annual schedule, so as to optimize the alternation with related events. TOPICS OF INTEREST We hereby invite computational linguists, logicians, computer scientists and/or philosophers to submit papers describing original and unpublished research related to the conference theme. Topics of interest include, but are not limited to: -logical foundations of computational grammar formalisms; -model-theoretic and proof-theoretic methods in linguistics; -constraint-based and resource-sensitive approaches to grammatical analysis; -linguistic applications of linear logic, type theory; -computational complexity of type logics and feature logics; -natural-language interfaces for automated theorem provers SUBMISSIONS The LACL98 conference has an electronic refereeing procedure. Submissions consist of two parts: -A page containing the title of the paper, the name and affiliation of the author(s), e-mail and postal address(es). Format: plain ASCII. -An abstract of maximally 4 pages (including figures and references), containing the title of the contribution, but not the name of the author(s). Format: plain ASCII, or (preferably) postscript, DVI, PDF (in a unix compatible mode, if encoded). Submissions have to be sent to the following e-mail address, before July 31, 1998: lacl98@let.ruu.nl The notifications of acceptance will be sent out the first week of September. The collection of the selected abstracts will be available at the conference. After the conference, authors are invited to submit a full paper (up to 20 pages) for publication. The final papers will appear in a special volume of the Springer-Verlag series of Lecture Notes in Computer Science (LNCS/LNAI). IMPORTANT DATES July 31, 1998: 4-page abstract due 1st week of September 1998: notification of acceptance 1st week of November 1998: final 4-page abstract due December 14-16, 1998: conference dates PROGRAM COMMITEE Chair: Michael Moortgat (OTS, Utrecht) Johan Van Benthem (ILLC, Amsterdam) Gosse Bouma (Groningen) Vijay Shanker (Delaware) Erhard Hinrichs (Tuebingen) Mary Dalrymple (Xerox Parc) Ruy de Queiroz (UFPE, Sao Paolo) Francois Lamarche (INRIA Nancy) Christian Retore (INRIA Rennes) Uwe Reyle (IMS Stuttgart) ORGANISING COMMITEE Chair: Alain Lecomte (Grenoble) Francois Lamarche (CRIN-C.N.R.S. & INRIA-Lorraine, Nancy) Christine Krebs (INRIA-Rhone-Alpes) ADDRESSES For information related to the conference organisation, contact: Prof Alain Lecomte Departement IMSS Universite Pierre Mendes-France BP 47 X 38040 GRENOBLE Cedex 9 France Tel: +33 4 76 82 78 52 Fax: +33 4 76 82 56 65 Alain.Lecomte@upmf-grenoble.fr http://www-bshm.upmf-grenoble.fr/~alecomte For information related to the conference program and submission procedure, contact: Michael Moortgat Utrecht Institute of Linguistics OTS Trans 10 3512 JK Utrecht The Netherlands Tel: +31 30 2536043 Fax: +31 30 2536406 Michael.Moortgat@let.ruu.nl http://www-uilots.let.ruu.nl/user/uilots/moortgat/home.html CONFERENCE URL The LACL98 homepage will be regularly updated with conference information: http://www-bshm.upmf-grenoble.fr/LACL98