LACL2001.html

The LACL series of conferences aims at providing a forum for the presentation and discussion of current research in all the formal and logical aspects of computational linguistics. It started as a workshop held in Nancy (France), in 1995. Due to its success, it was turned, the next year, into an international conference. LACL'96 and'97 were both held in Nancy (France). LACL'98 was held in Grenoble (France). Selected papers from LACL'95 appear in a special issue of Journal of Logic Language and Information, 7(4), 1998. The proceedings of LACL'96 and 97 appear as volumes 1328 and 1582 of Lecture Notes in Artificial Intelligence of Springer. The proceedings of LACL'98 are in press with the same series.

SCOPE

Categorial grammars, Categorial type logics, Compositionality, Discourse representation theory, Dynamics, Feature Logics, Formal language theory, Game-theoretical semantics, Grammatical inference, Learning theory, Linear logical frameworks, Minimalism, Modal logics, Montague semantics, Parsing as deduction, Proof- theoretic approaches, Situation semantics and situation theory, Type-theoretic approaches.

CONFERENCE PROCEEDINGS

The accepted papers will be published as a volume of Springer Lecture Notes in AI and will be available during of the conference.

PROGRAM COMMITTEE

ORGANIZING COMITTEE

PROGRAM

MERCREDI 27 JUIN - WEDNESDAY JUNE 27th
09:00	10:00	Geoffrey K. Pullum, Barbara C. Scholz	*On the distinction between model-theoretic and generative-enumerative syntactic frameworks*
coffee break
10:30	11:00	Alexander Dikovsky	Polarized Non-projective Dependency Grammars
11:00	11:30	Miguel A. Alonso, Eric de la Clergerie, Manuel Vilares	A formal definition of Bottom-up Embedded Push-Down Automata and their tabulation technique
11:30	12:00	Paolo Bottoni, Bernd Meyer, Kim Marriott, Francesco Parisi Presicce	Deductive Parsing of Visual Languages
lunch
14:00	14:30	Richard Zuber	Atomicity of Some Categorially Polyvalent Modifiers
14:30	15:00	Jørgen Villadsen	Combinators for Paraconsistent Attitudes
15:00	15:30	Chris Fox, Shalom Lappin	A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations
Coffee break
16:00	16:30	Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux	Combining Syntax and Semantical Knowledge for Semantic Analysis of Spoken Language
16:30	17:00	Torbjörn Lager, Joakim Nivre	Part of Speech Tagging from a Logical Point of View
JEUDI 28 JUIN - THURSDAY JUNE 28th
09:00	10:00	Michael Moortgat	*Structural reasoning in categorial learning*
Coffee break
10:30	11:00	Henk Harkema	A Characterization of Minimalist Languages
11:00	11:30	Jens Michaelis	Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars
11:30	12:00	Edward P. Stabler	Recognizing head movement
lunch
free afternoon (discussions, tour,...)
20:00 - conference dinner
VENDREDI 29 JUIN - FRIDAY JUNE 29th
09:00	09:30	Christophe Costa Florêncio	Consistent Identification in the Limit of any of the Classes k-Valued is NP-hard
09:30	10:00	Annie Foret	Mixing deduction and substitution in Lambek categorial grammars, some investigations
Coffee break
10:30	11:00	Wojciech Buszkowski	Lambek grammars based on pregroups
11:00	11:30	Daniele Bargelli, Joachim Lambek	An algebraic approach to French sentence structure
11:30	12:00	Claudia Casadio, Joachim Lambek	An Algebraic Analysis of Clitic Pronouns in Italian
lunch
13:30	14:30	Mark Steedman	"Why Combinators are Real: Grammar and the Logic of Change"
14:30	16:00	Panel discussion	Logic in contemporary linguistics and computational linguistics

INFORMATION

	Conference Location
	Transportation
	Accommodation
	Registration Fees
	Payment

Conference Location

Port-Aux-Rocs Center
44 avenue Port Val
44490 LE CROISIC
Tel: +33 2 40 11 44 44 - Fax: +33 2 40 11 44 45

Transportation

1 - By train:

TGV Paris Le Croisic (3 hours ) terminal station

Departure from Paris Montparnasse railway station, we advise you to take the following trains for which shuttles are provided..

	PARIS MONTPARNASSE	LE CROISIC
Arrival on June 26	14.00	17.20
Arrival on June 26	18.30	21.39

	LE CROISIC	PARIS MONTPARNASSE
Departure on June 29	17.17	20.35

For more information, you can consult: http://www.sncf.fr

Railway 20% discount vouchers for around trip ticket inside France are available. Please tick the appropriate box on the registration form.

2 - By plane:

International airport of Nantes (Nantes-Le Croisic by highway 45 mn)
For more information: http://bv.airfrance.fr

There are shuttles between Nantes International airport and Nantes railway station. The train Nantes-Le Croisic takes 1 hour. We advise you the following schedule:

NANTES RAILWAY STATION

LE CROISIC

ARRIVAL, le 27 juin 2001

16h18

17h20

LE CROISIC

NANTES RAILWAY STATION

DEPARTURE, le 29 juin 2001
17h17

18h25

3 - By road:

Le Croisic is located 5 hours drive from Paris and 35 minutes from Nantes.

Accommodation

Hotel accommodations will be provided at Port-aux-Rocs.

All rooms are equipped with modern facilities, including telephone with direct outside line, television and automatic wake-up alarm.

As accommodation is in high demand in June, early registration is strongly advised.

Participants are invited to indicate their requirement of room desired on the registration form.

In case you wish to stay longer than the period foreseen by the LACL Conference (from 26 June evening till 29 June afternoon) as well as for attendees who wish to bring their family with them, the secretariat will make the reservation on your behalf. The extra costs will be cashed directly by Port-aux-Rocs.

Registration Fees (VAT 19,6% included)

	Before June 1	After June 1
Regular	2 700 FRF 411,61 EUR	3 500 FRF 533,57 EUR
Special rate*	1 700 FRF 259,16 EUR
Fee without lodging	1 200 FRF 182,94 EUR

* There is a small number of low cost registration packages which is available from the LACL Office.

These fee include :

Attendance to the conference

The proceedings published by Springer-Verlag

The full board from June 26 (dinner) to June 29 (after lunch)

The coffee breaks

A conference dinner on Thursday, June 28

The buses between the station of Le Croisic and Port-aux-Rocs.

Payment

Payment in French Francs or in Euro should be made in advance by one of the following means:

By Bank Cheque
Cheques should be enclosed with the printed copy of the registration form and made payable to the Agent Comptable de l'INRIA.

By Bank transfer
Tresorerie Générale des Yvelines, 16 avenue de Saint-Cloud, 78018 Versailles Cedex, France. (10071: bank code - 78000: branch code - 00003003958: account number - 80: key)

By Credit Card (Euro/Mastercard, VISA)
Please complete the charge authorization section on the registration form.

By Purchase order (for french delegates only)
Purchase orders should be enclosed with the printed copy of the registration form.

Cancellation/Refund Policy

Fees will be returned in full for any written cancellation before June 11, 2001. No refund will be made in respect of cancellation received after this date. The organizers reserve the right to amend the program according to unforeseen circumstances.

Conference Registration Form

The Conference registration form can be downloaded/viewed/completed in two formats:

Online Registration (to be preferred)

Adobe Acrobat (PDF) format to be returned to :

Elisabeth LEBRET
IRISA/INRIA
Campus de Beaulieu
35042 Rennes Cedex - France
Fax : 33 2 99 84 73 95
email : lebret@irisa.fr

*Registration and information*	Elisabeth Lebret lebret@irisa.fr Christele Soulas csoulas@irisa.fr
*Program and conference*	Christian Retore retore@irisa.fr

	NANTES RAILWAY STATION	LE CROISIC
ARRIVAL, le 27 juin 2001	16h18	17h20

	LE CROISIC	NANTES RAILWAY STATION
DEPARTURE, le 29 juin 2001	17h17	18h25