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
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 | |
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.
W. Buszkowski (Poznan)
|
R. Crouch, (Palo Alto)
|
A. Dikovsky (Nantes)
|
M. Dymetman (Grenoble)
|
C. Gardent (Saarbrucken)
|
M. Kanazawa (Tokyo)
|
R. Muskens (Tilburg)
|
F. Pfenning (Pittsburgh)
|
B. Rounds, (Ann Arbor)
|
E. Stabler (Los Angeles)
|
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)
|
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 |
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.
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 |