Logic & Linguistics, 23-25 Sept, Nancy, France

Christian RETORE (Christian.Retore@loria.fr)
Tue, 3 Sep 1996 14:01:24 +0200

Dear Colleague,

It is time to register if you are interested in attending
"Logical Ascpects of Computational Linguistics" 23-25 September, Nancy.
--- http:www.loria.fr/~retore/LACL.html ---
With respect to the previous announcement,
we have to correct a mistake:
for the registration fees,
we are not able to charge your credit card
unless you are here:
so you have to bring your card here, where it will be charged.
The 800F registration fees cover
* the collection volume of the 4 pages abstracts,
* the three lunches,
* the breaks (coffee, tea, cakes),
* the conference dinner on Tuesday 24.

Here is the revised announcement:

***********************************************
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS
Nancy, France, 23-25 September 96
Co-organized by INRIA-Lorraine and CRIN-C.N.R.S.
with the financial support of Rank Xerox, France-Telecom CNET
***********************************************

You may prefer to look at this via WWW at URL:

http://www.loria.fr/~retore/LACL.html
Inquiry: calligramme@loria.fr
or tel C. Retore +33 83 59 20 17

Program committee:
------------------
M. Abrusci (U. di Bari & U. di Roma) P. Blackburn (U. Sarrebruecken)
M. Dymetman(Rank-Xerox, Grenoble) M. Johnson (Brown U. , Providence)
A. Lecomte (U. Grenoble 2 & INRIA-Lorraine) M. Moortgat (OTS, Utrecht)
G. Morrill (UPC, Barcelona) A. Ranta(U. Helsinki & U. Tampere)
C. Retore (INRIA-Lorraine & CRIN-CNRS) E. Villemonte de la Clergerie
(INRIA-Rocq.)

Organizing committee:
---------------------
B. Lang (Atoll, INRIA, Rocquencourt)
D. Bechet, Ph. de Groote, F. Lamarche, G. Perrier and C. Retore
(Calligramme, INRIA-Lorraine & CRIN-CNRS, Nancy)
************************
LACL PRELIMINARY PROGRAM
************************
MONDAY 23 SEPTEMBER
8:45 Begining of registration
9:10 Greeting message by Alain Quere, head of INRIA-Lorraine
9:15 - 9:30 Opening address of LACL by Jean-Marie Pierrel, head of
CRIN-C.N.R.S.
----------------------------------------------------------------------------
9:30 - 10:20 Invited lecture:
Jean-Yves GIRARD (C.N.R.S. , Marseille)
Introduction to linear logic
----------------------------------------------------------------------------
10:35 - 11:00
Denis BECHET & Philippe DE GROOTE (INRIA & CRIN, Nancy)
Constructing different phonological bracketings from a proof net
11:00 - 11:25
Irene SCHENA (Universita di Bologna)
Pomset logic and discontinuity in natural languages
11:25 - 11:50
Michele ABRUSCI & Christophe FOUQUERE & Jacqueline VAUZEILLES
(Univerita di Bari & Universite Paris Nord & Universite Paris Nord)
Tree adjoining grammar and non-commutative linear logic.
----------------------------------------------------------------------------
12:05 - 12:55 Discussion
"New syntaxes for linguistic theories"
----------------------------------------------------------------------------
----------------------------------------------------------------------------
14:15 15:05 Invited lecture:
Edward STABLER
University of California at Los Angeles
Derivational minimalism
----------------------------------------------------------------------------
15:20 - 15:45
Frieder STOLZENBURG & Stephan HOHNE & Ulrich KROCH & Martin VOLK
(Universtitaet: Koblenz, Frankfurt, Koblenz, Zuerich)
Constraint logic programming for computational linguistics
15:45 - 16:10
Stefan RIEZLER (Universitaet Tuebingen)
Quantitative extensions of constraint logic grammars
16:10 - 16:35
Claire GARDENT (Universitaet des Saarlandes, Sarrebruecken)
Ellipsis pronouns and parallelism
----------------------------------------------------------------------------
16:50 - 17:15
James ROGERS (University of Pennsylvania, Philadelphia)
Strict LT2: regular -- Local: recognizable
17:15 - 17:40
Jens MICHAELIS & Marcus KRACHT (Univertitaet Potsdam)
Semilinearity as a syntactic invariant
----------------------------------------------------------------------------
TUESDAY 24 SEPTEMBER
----------------------------------------------------------------------------
9:30 - 10:20 Invited lecture:
Aravind JOSHI (University of Pennsylvania, Philadelphia)
Partial proof trees, resource conscious logics, and syntactic constraints
----------------------------------------------------------------------------
10:35 - 11:00
Crit CREMERS and Maartens HIJZELENDOORN (Rijksuniversiteit Leiden)
An effective categorial count invariant for free coordination
11:00 - 11:25
Martin EMMS (Universitaet Muenchen)
A completeness result for polymorphic Lambek calculus
11:25 - 11:50
Marek SZCZERBA (Uniwersytet Adama Mickiewicza, Poznan)
Representation theorems for residuated groups
----------------------------------------------------------------------------
12:05 - 12:55 Discussion
"Logical aspects of the minimalist program"
----------------------------------------------------------------------------
14:15 - 15:05 Invited lecture:
Dale MILLER (University of Pennsylvania, Philadelphia)
Linear logic as logic programming
----------------------------------------------------------------------------
15:20 - 15:45
Lucia H. B. MANARA & Anne DE ROECK
University of Essex, Colchester
Pragmatic presupposition and agent belief
15:45 - 16:10
Ruth KEMPSON & Wilfried MEYER-VIOL
University of London & Imperial College, London
Language understanding --- a procedural perspective
16:10 - 16:35
Ralf NAUMANN (Universitaet Duesseldorf)
The problem of present perfect in the setting of dynamic semantics
----------------------------------------------------------------------------
16:50 - 17:15
Jacek MARCINIEC (Uniwersytet Adama Mickiewicza, Poznan)
Infinite set unification and rigid categorial grammar
17:15 - 17:40
Josep Maria MERENCIANO (Universitat Politecnica de Catalunya)
Generation as deduction
17:40 - 18:05
Kiril SIMOV & Paul John KING (Bulgarian Academy of Sciences & Universitaet
Tuebingen)
Indexing of linguistic knowledge
----------------------------------------------------------------------------
WEDNESDAY 25 SEPTEMBER
----------------------------------------------------------------------------
9:30 - 10:20 Invited Lecture:
Marcus KRACHT (Universitaet Potsdam)
Inessential Features
----------------------------------------------------------------------------
10:35 - 11:00
Pascal BOLDINI (ENST-Bretagne, Brest)
Vagueness and constructivism
11:00 - 11:25
Michael KOHLHASE & Susanna KUSCHERT (Universitaet des Saarlandes, Sarrebruecken)
Towards a dynamic type theory
11:25 - 11:50
Yann COSCOY (INRIA, Sophia-Antipolis)
A natural language explanation for formal proofs
----------------------------------------------------------------------------
12:05 - 12:55 Discussion
"Logical semantics"
----------------------------------------------------------------------------
14:15 - 14:45
Stephen J. HEGNER (University of Vermont, Burlington)
A family of decidable feature logics which support HPSG style set and list
construction
----------------------------------------------------------------------------
****************
How to register?
****************
Warning: you must independently and quickly book a room, see below.
To register please either
* send an e-mail to RE@loria.fr
* a FAX to Service des Relations Exterieures FAX: +33 83 27 83 19
* or a letter to

INRIA-Lorraine
Service des Relations Exterieures - LACL
615, rue du jardin botanique
B.P. 101
F-54 602 Villers les Nancy
FRANCE

with subject LACL registration specifying
* your name
* your affiliation, professional address, email, phone and fax numbers
* the 800 FRF registration fees (see payment information below)
which includes the three lunches, the breaks (coffee, tea, cakes)
the conference dinner, and the collection volume of the 4-page abstracts

Payment information:
-------------------
The conference fees are 800 French Francs (FRF). Payments are accepted in
French Francs only. The enclosed payment may be one of the following form:
* bank transfer to the Agent comptable de l'INRIA , with your name and
LACL. The bank account number is: 10071-78000-00003003958-80 at the
bank "Tresorerie Generale des Yvelines".
* credit card information: type (Visa - Master Card - American Express -
Carte Bancaire)
number, expiration date, card holder's name.
* Euro Cheque,
Traveller's Cheque,
or cheque drawn on a French bank,
in French currency to the order of "Agent comptable de l'INRIA" .
*******************
How to book a room?
*******************
The sooner you book the better: Nancy seems to be unusually crowded in
September.
About 40 rooms have been booked for the conference in two dowtown hotels
close to each other.
In this hotel, the price will range from 200FRF to 250FRF
(single/double room).

For reservation, please send
* an Email to calligramme@loria.fr
with subject LACL accommodation
* or a FAX to +33 83 27 83 19 with subject
LACL accommodation c/o calligramme

including
* your name
* your affiliation, professional address, email, phone and fax number
* your dates of arrival and departure
* the type of room you need (single/double)
* the name of the accompanying person (if any)
* your credit card information: type (Visa - Master Card - American
Express - Carte Banquaire) number, expiration date, card holder's name.
******************
Travel Information
******************
Train Station: Nancy
---------------------
Airports:
---------
Luxembourg (and then train to Nancy, 1h30)
Paris (and then train from the railway station Paris - Gare de l'Est, 2h45)
Strasbourg (and then train to Nancy, 1h30)
Nancy-Metz (and then bus to Nancy, 30mn) --- mainly national flights

-------------------------------------------------

Christian RETORE

INRIA Lorraine & CRIN-C.N.R.S.
615 rue du jardin botanique
BP 101
54602 Villers les Nancy cedex
TEL: +33 83 59 20 17 (secr: +33 83 59 20 13)
FAX: +33 83 27 83 19
http://www.loria.fr/~retore/index.html

retore@loria.fr