English LACL 2001 

4e conférence internationale sur les
ASPECTS LOGIQUES de la LINGUISTIQUE INFORMATIQUE
27 -- 29 juin 2001
Le Croisic, France

 La conférence LACL'2001 est organisée par :

 

La conférence LACL'2001 est sponsorisée par :

 

FOLLI


Inscriptions et informations pratiques Elisabeth Lebret lebret@irisa.fr
Christele Soulas csoulas@irisa.fr
Programme et déroulement de la conférence Christian Retore retore@irisa.fr

 

Autres manifestations de linguistique informatique en France au début du mois de juillet:

 
Historique

 


HISTORIQUE

La série de conférences LACL propose à toutes les recherches actuelles sur les aspects logiques et formels de la linguistique informatique l'occasion d'être présentées et discutées.  Le point de départ de cette série fut une rencontre  sur invitation LACL`95 en 1995 à Nancy, dont le succès a conduit, l'année suivante à l'organisation d'une conférence internationale. Les deux premières conférences internationales LACL`96 et LACL`97 eurent lieu à Nancy et la troisième, LACL`98, à Grenoble. Une sélection des articles de 1995 est parue comme un numéro spécial du Journal of Logic, Language and Information , 7(4), 1998. Les actes de LACL`96 et LACL`97 ont été publiés par Springer dans la collection  Lecture Notes in Artificial Intelligence volumes 1328 et 1582. Les actes de LACL`98 sont en cours d'impression dans la même collection.
 

THEMATIQUE

Les sujets suivants relèvent de cette conférence, mais la liste n'est pas exhaustive:

Grammaires catégorielles, Logique des systèmes de typages catégoriels, Compositionalité, Théorie de la représentation du discours (DRT), Logiques dynamiques, Logiques des structures de traits, Théorie des langages formels, Inférence grammaticale et apprentissage, Modèles linguistiques issus de la logique linéaire, Minimalisme, Logique modale, Sémantique de Montague, Analyse syntaxique et déduction logique, Théorie de la démonstration pour le traitement des langues, Sémantique des situations et théorie des situations, Théorie des types et traitement des langues.

ACTES DE LA CONFERENCE

Les contributions retenues seront publiées dans un volume de la collection Lecture Notes in Artificial Intelligence de Springer, qui sera disponible lors de la conférence.

COMITE DE PROGRAMME

W. Buszkowski (Poznan)
R. Crouch, (Palo Alto)
A. Dikovsky (Nantes)
M. Dymetman (Grenoble)
C. Gardent (Saarbrucken)
P. de Groote (Nancy), co-responsable
M. Kanazawa (Tokyo)
G. Morrill (Barcelona), co-responsable
R. Muskens (Tilburg)
F. Pfenning (Pittsburgh)
B. Rounds, (Ann Arbor)
E. Stabler (Los Angeles)

 

COMITE D'ORGANISATION

B. Daille (Nantes)
A. Dikovsky (Nantes)
A. Foret (Rennes)
E. Lebret (Rennes)
C. Pilière (Nancy), responsable de la communication
C. Retoré (Nantes), responsable
P. Sébillot (Rennes)



PROGRAMME

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
pause - 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
déjeuner - 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
pause - 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
pause - 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
déjeuner - lunch
quartier libre (discussions, visites,...) - free afternoon (discussions, tour,...)
20:00 - diner de conférence - 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
pause - 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
déjeuner - 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


INFORMATIONS PRATIQUES

Lieu de la conférence
Comment se rendre au Croisic
Hébergement
Droits d'inscription
Paiement

 

Lieu de la conférence

Centre "Port-Aux-Rocs"
44 avenue Port Val
44490 LE CROISIC
Tél : 02 40 11 44 44 - Fax : 02 40 11 44 45

 

Comment se rendre au Croisic

1 - En train :

T.G.V. Paris/Le Croisic en 3 heures
T.G.V. Lyon/Le Croisic en 6 heures
T.G.V. Lille/Le Croisic en 5 heures

Au départ de Paris-Montparnasse, nous vous conseillons d'emprunter les trains suivants pour lesquelles des navettes seront assurées.


 
PARIS MONTPARNASSE
LE CROISIC
ALLER, le 26 juin 2001
14h00
17h20
18h30
21h39

 
LE CROISIC
PARIS MONTPARNASSE
RETOUR, le 29 juin 2001
17h17
20h35

Pour plus de renseignements, nous vous invitons à consulter : http://www.sncf.fr

Des fichets de réduction SNCF (20% sur trajet aller-retour en France) sont diponibles.

2 - En avion :

Aéroport International de Nantes Atlantique, lignes régulières
Informations des horaires de vols : http://bv.airfrance.fr

Il y a des navettes régulières entre l'aéroport de Nantes et la gare de Nantes. Le train Nantes-Le Croisic met une heure. Nous conseillons :
 
NANTES GARE
LE CROISIC
ALLER, le 27 juin 2001
16h18
17h20

 
LE CROISIC
NANTES GARE
DEPART, le 29 juin 2001
17h17
18h25



3 - Par la route :

Le Croisic est situé à environ 5 heures de Paris et à 45 minutes de Nantes en voiture.

 

Hébergement

 

Des chambres à Port-aux-Rocs ont été réservées du 26 au 28 juin inclus. En raison de la forte demande en cette période, nous vous conseillons de faire vos réservations le plus rapidement possible.

De plus, il est tout à fait possible d'accueillir des personnes supplémentaires, ou de passer plus de temps à Port-aux-Rocs. Dans ce cas nous vous invitons à en informer au plus vite le secrétariat de la conférence.


Droits d'inscription (TVA 19,6% incluse)

 
Avant le 1er juin 2001
Après le 1er juin 2001
Tarif normal
2 700 FRF
411,61 €
3 500 FRF
533,57 €
Tarif spécial*
1 700 FRF
259,16 €
Tarif sans hébergement
1 200 FRF
182,94 €

* Un petit nombre d'inscriptions, à tarif réduit, sera disponible sur demande adressée au secrétariat de la conférence.

Ces droits comprennent :

Votre participation à la conférence
Les actes de la conférence publiés par Springer-Verlag
La pension complète du 26 juin (dîner) au 29 (après le déjeuner)
Les pauses café
Un dîner de gala le jeudi 28 juin
Les navettes autocar entre la gare du Croisic et Port-aux-Rocs en début et fin de colloque.

Les dépenses supplémentaires de repas et d'hébergement (en cas de prolongation du séjour à Port-aux-Rocs) seront supportées par chaque participant.


Paiement

Le paiement en francs français ou en euros devra être effectué à l'avance par un des moyens suivants :

Par chèque
Le chèque devra être joint au bulletin d'inscription et établi à l'ordre de l'Agent Comptable de l'INRIA.

Par virement bancaire à la trésorerie Générale des Yvelines.
Adresse : 16 avenue de Saint-Cloud, 78018 Versailles Cedex, France Compte N° : 10071 - 78000 - 00003003958 - 80

Par carte de crédit (Euro/Mastercard, VISA).
Veuillez remplir la partie réservée à cet effet sur le bulletin d'inscription.

Par bon de commande (pour les institutions françaises uniquement).
Le bon de commande devra être joint au bulletin d'inscription.


Annulation

Le remboursement des frais d'inscription sera possible pour toute demande écrite parvenant au secrétariat avant le 11 juin 2001 (le cachet de la poste faisant foi). Aucun remboursement ne sera effectué au-delà de cette date. Les organisateurs se réservent le droit de modifier le programme en fonction d'événements imprévisibles.

 

Bulletin d'inscription

Le bulletin d'inscription est établi dans les formats suivants :

Formulaire en ligne.

Formulaire au format pdf à retourner à l'adresse suivante :


Elisabeth LEBRET
IRISA/INRIA

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