LINGUIST List 9.1443

Thu Oct 15 1998

Confs: Logical Aspects of Computational Linguistics

Editor for this issue: Karen Milligan <karenlinguistlist.org>


Please keep your conference announcement as short as you can; LINGUIST will not post conference announcements which in our opinion are excessively long. Also, please remember that, once posted, your announcement will be permanently available at our website: http://www.linguistlist.org/issues/indices/Confs1997r.html For this reason, we discourage multiple submissions of the same conference announcement. Thank you for your cooperation.

Directory

  1. Alain Lecomte, Logical Aspects of Computational Linguistics (LACL'98)

Message 1: Logical Aspects of Computational Linguistics (LACL'98)

Date: Thu, 15 Oct 1998 19:04:08 +0800
From: Alain Lecomte <Alain.Lecomteupmf-grenoble.fr>
Subject: Logical Aspects of Computational Linguistics (LACL'98)

LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS (LACL'98)
=====================================================
ASPECTS LOGIQUES DE LA LINGUISTIQUE INFORMATIQUE
=====================================================
Coorganisateurs: LORIA (Nancy), Universite Pierre Mendes-France
(Grenoble), avec l'appui de:
INRIA Rhone-Alpes,
Xerox Research Centre Europe,
CNET,
Mairie de Grenoble

Lieu: GRENOBLE (Domaine Universitaire, amphitheatre de la
Maison Alpes des Sciences de l'Homme)

Dates: du 14 au 16 decembre

Site web : http://www-bshm.upmf-grenoble.fr/LACL98/

PROGRAMME :
============

Monday, December 14 (Lundi 14 decembre)

8:45-9:30: Welcome

9:30-10:20: Invited Talk I

Maarten de RIJKE:

Inference and Natural Language Semantics
10:20-10:35: Break

10:35-11:35: Session 1: Feature Structures and
Constraints
 Stephen J. HEGNER. `Computational
management
 of partially specified type hierarchies for typed feature logics'.
 Christian WARTENA. `Grammars with composite storages'.

11:35-11:50: Break

11:50-12:50: Session 2: Categorial Grammar I

Marcelo FINGER.
`Structurally free theorem proving and
 structure learning in categorial grammar'.

Nissim FRANCEZ.
`Hypothetical reasoning
 and radical non-constituent coordination in categorial logic'.

12:50-14:30: Lunch

14:30-15:30: Session 3: Semantics and Logical Forms

 Joachim NIEHREN, Alexander KOLLER. `Dominance
constraints in context unification'.

 Wilfried MEYER VIOL,Ruth KEMPSON.
`Sequential construction of logical forms'.

15:30-15:45: Break

15:45-16:45:

Norihiro OGATA.
`A revision system of circular objects and
 its applications to dynamic semantics of dialogues'.

Zhaohui LUO, Paul CALLAGHAN.
`Coercive subtyping and lexical semantics'.

16:45-17:00: Break

17:00-17:30: Discussion

Tuesday, December 15 (Mardi 15 decembre)

9:30-10:20: Invited Talk II

Makoto KANAZAWA

Title: not yet communicated

10:20-10:35: Break

10:35-11:35: Session 4: Constraints and Semantics

Manuel BODIRSKY, Alexander KOLLER, Joachim
NIEHREN. `Dominance constraints: complexity, algorithms,
implementation'.

 Patrick BLACKBURN, Claire GARDENT. `A
description language for discourse semantics'.

11:35-11:50: Break

11:50-12:50:Session 5: Categorial Grammar II>

Gerhard JAEGER. `Anaphora and scope in categorial grammar'.

Hans-Joerg TIEDE. `Lambek calculus proofs and tree
automata'.

12:50-14:30: Lunch

14:30-15:30: Session 6: Minimalism and
Computation

Jens MICHAELIS.
`Derivational minimalism is mildly context-sensitive'.

Marcus KRACHT.
`Strictness and literal movement grammars'.

15:30-15:45: Break

15:45-16:45:

Alain LECOMTE.
`Categorial minimalism'.

Dirk HEYLEN.
`Aspects of a logical
reconstruction of the computational system for human language'.

16:45-17:00: Break

17:00-17:30: Discussion

20:00: Conference Dinner

Wednesday, December 16 (Mercredi 16 decembre)

9:30-10:20: Invited Talk III

Fernando PEREIRA

Title: not yet communicated

10:20-10:35: Break

10:35-12:05: Session 7: Trees and TAGs

Aravind JOSHI, Seth KULICK, Natasha KURTONINA.
`Lexicalized tree adjoining grammar: logical modelling'.

Sylvain POGODALLA.
`Lexicalized proof-nets in Pomset logic and TAG'.

Emiel KRAHMER, Reinhard MUSKENS.
`Talking about trees and truth-conditions'.

12:05-12:20: Break

12:20-12:50: Final Discussion


INSCRIPTION - REGISTRATION :
===========================
The registration fees for the conference are the following:


Before November 10
Regular : 700 FF, Student : 500 FF
After November 10
Regular: 900 FF, Student: 700 FF

Both regular and student fees include the conference proceedings, the
coffee breaks, the lunches, and the conference dinner (December 15).
Tickets for additional conference dinners (for accompanying persons)
can be purchased at 150 FF. You may register by surface mail, fax, or
e-mail. Please fill in the enclosed registration form and send it to:

UFR Sciences de l'Homme et de la Societe
Service Comptabilite - LACL'98
1251, Avenue Centrale, B.P. 47
F 38040 Grenoble Cedex9
FRANCE

Fax (internat.): + 33 4 76 82 56 65
(nat.): 04 76 82 56 65

E-mail: Amelie.Depaoliupmf-grenoble.fr

Payments
Payments are accepted in FRENCH FRANCS ONLY. The enclosed payment may
be one of the following forms:

Order Form from your institution;

Cheque in French currency, drawn on a French bank, made to the
order of "Agent comptable de l'UPMF">
Eurocheque in French currency, made to the order of "Agent
comptable de l'UPMF" (add 50 FRF for fees);

Bank transfer to the order of "Agent comptable de
l'UPMF" (with your name and LACL'98) at the bank
"Tresorerie Generale de l'Isere". The
bank account number is
 10071-38000-00003000140-46.>
Registration form

- ----------------------------------------
Please Print

Name :

.............................................................

Affiliation :
.............................................................

Address :
..............................................................

...................................................................


Zip code : .................... Country :
................................
Telephone : ................... Fax :
....................................

E-mail :

...................................................................

Please check the appropriate box:

o Regular fee 700 FRF

o Student rate(*) 500 FRF

o Late registration fee 900 FRF

o Student(*), late registration 700 FRF

o One additional ticket for the conference dinner 150 FRF

TOTAL AMOUNT: ... FRF

(*) Enclose a copy of your student card

Mode of payment :

o Order Form

o Enclosed cheque (if Eurocheque, please add 50 FRF)

o Bank transfer(**)

(**) Enclose a copy of the transfer order.

Booking

 Chose a category of hotel:

o single room
o double room
o 2 stars (around 300 FRF)
o 3 stars (around 500 FRF)

Date of arrival in Grenoble:...........
Date of departure:..................
Number of nights:................
If you are a vegetarian, please check the box o

Date:

Signature:

Alain LECOMTE
Universite Pierre Mendes-France
UFR Sciences de l'Homme et de la Societe
1251 - Avenue Centrale
Domaine Universitaire de St Martin d'Heres
BP47 - 38040 GRENOBLE CEDEX
tel: 04 76 827852
fax: 04 76 825665
email: Alain.Lecomteupmf-grenoble.fr
http://www-bshm.upmf-grenoble.fr/~alecomte

- ----------------------------------------------
ATTENTION: nouvelle adresse electronique
CAUTION: new email adress>
Alain.Lecomteupmf-grenoble.fr
- ---------------------------------------------
Alain LECOMTE
Universite Pierre Mendes-France
UFR Sciences de l'Homme et de la Societe
1251 - Avenue Centrale
Domaine Universitaire de St Martin d'Heres
BP47 - 38040 GRENOBLE CEDEX
tel: 04 76 827852
fax: 04 76 825665
email: Alain.Lecomteupmf-grenoble.fr
http://www-bshm.upmf-grenoble.fr/~alecomte

---------------------------------------------------------------------------
LINGUIST List: Vol-9-1373
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue