🚀 go-pugleaf

                           EUROLAN'93   
             La premiere Ecole d'Ete Euro-Roumaine sur le  
                   Traitement du Langage Naturel.  
                        -----------------   
                        IASI - ROUMANIE 
                       19 - 29 juillet 1993     
                          Annonce Finale  


         

I) Objectifs et motivations 

    Cette action a pour objectif de demarrer une serie de seminaires sur
le Traitement du Langage Naturel (TLN) qui se tiendraient en Roumanie
 tous les deux ans. Les themes seront principalement
orientes vers le Langage Naturel mais toujours en relation avec un
autre domaine de l'Intelligence Artificielle ou des Sciences Cognitives.
Des professeurs et chercheurs reputes des pays Europeens seront invites a
presenter leurs connaissances dans les domaines modernes de la Linguistique
Informatique ou des sciences connexes.
      La premiere Ecole d'Ete, qui se tiendra du 19 au 29 juillet 1993 a
IASI en Roumanie, (Iasi se prononce "Iache" en roumain) est concue 
comme une Ecole Franco-Roumaine (enseignants francais dans un etablissement 
roumain). L'Universite de Iasi, en collaboration avec le LIMSI du CNRS et le 
LIFL de l'Universite de Lille (Lille 1 - Villeneuve d'Ascq) sont les 
organisateurs de cette Ecole.
Elle aura lieu dans les locaux du Centre Culturel Francais de Iasi.
Le nombre de participants attendus est de 50 (15 pour l'Ouest, 35 pour l'Est). 
Un effort special a ete fait pour obtenir des subventions afin de donner la 
possibilite aux jeunes chercheurs des pays de l'Est, qui pourraient avoir des 
difficultes financieres, de participer a cette Ecole.

II) Grandes lignes du programme 

Le theme pour la session de 1993 sera :
  
  "Traitement du Langage Naturel et Programmation Logique". 
 
Le programme comprendra des cours, de travaux diriges, une session de seminaire 
par les auditeurs et des tables rondes. Les cours seront les suivants:
  
     1) La semantique de Prolog.   
            par Jean-Paul DELAHAYE (LIFL, Universite de Lille 1).
     2) Transformation de programmes et interpretation abstraite pour Prolog.   
            par Philippe DEVIENNE (LIFL-CNRS, Universite de Lille 1).
     3) Grammaire d'unification et traduction automatique.   
            par Dominique ESTIVAL (ISSCO, Universite de Geneve).
     4) Methodes connexionnistes pour le Traitement du Langage Naturel.   
            par Daniel MEMMI assiste 
            par Mihail CRUCIANU (LIMSI-CNRS, Paris-Sud).
     5) Architectures informatiques pour le traitement automatique des langues, 
     exemple de l'analyse syntaxico-semantique des phrases.   
            par Gerard SABAH (LIMSI-CNRS, Paris-Sud).
     6) L'abduction - vue comme un processus unificateur pour la comprehension 
     et la generation du langage, et pour la traduction automatique.   
            par Dan TUFIS (ICI, Bucarest)
     7) La generation du langage naturel.   
            par Michael ZOCK (LIMSI-CNRS, Paris-Sud).
 

III) Resumes des cours
     (voir dans la version LaTeX de cette annonce)


IV) L'inscription 

Les frais d'inscription sont :
        Universitaire Ouest :           1000 FF  
        Industriel :                    3000 FF  
        Personnes accompagnantes :       500 FF  
        Universitaire Est :              500 FF  
        (mais un certain nombre d'exceptions seront possibles)
 
Les frais de voyage et de sejour resteront a la charge de l'institution du 
participant, mais dans certains cas un hebergement tout a fait convenable peut 
etre propose. Des priorites seront accordees aux participants de l'Est sur 
demande ecrite.

Pour s'inscrire a l'Ecole, retournez a une des personnes indiquees une copie du 
formulaire ci-joint, dument remplie, avant le 1er Juillet 1993.


V) Informations pratiques 

      Les roumains sont des gens tres chaleureux et attaches a la France.
Leur langue est d'origine latine comme le francais, qu'ils apprennent au
lycee. Les universitaires parlent, presque tous, notre langue.
      La Roumanie est un tres joli pays,  riche de merveilles
touristiques et de traditions. Iasi est une grande ville de 300 000 habitants, 
avec un aeroport, a 400 km au nord de Bucarest. Liaisons ferroviaire (train de 
nuit) et aerienne (en semaine) directe. On y trouve de grands hotels d'un 
confort comparable aux **NN en France, mais bien meilleurs marches.
      L'avion est certainement le meilleur moyen pour s'y rendre (2h. pour
atteindre Bucarest + 1h. par un vol interieur. Prevoir eventuellement 1
nuit a Bucarest a cause des horaires et du changement d'aeroport).
TAROM (compagnie nationale roumaine) offre des prix tres avantageux (de
l'ordre de 2.900 F A.R. Paris-Iasi). S'adresser a des agences specialisees
pour les pays de l'Est comme :
  
  - Voyages UTA, Paris, (1) 48.24.74.74
  - Club Vacances Modernes, Villerupt,  82.89.28.31
  - Nouvelles frontieres, Villeneuve d'Ascq, 20.47.00.04

Passeport obligatoire en cours de validite - Visa a la frontiere.
Des livres pour preparer un voyage :
  
  - Europe de l'Est, Guide Arthaud (1990)
  - Le guide du Routard, pays de l'Est (92/93), Hachette.

  Adresses utiles :
  
    - TAROM, Paris,  (1) 47.42.27.14 / 47.42.25.42
    - Office du Tourisme roumain, Paris, (1) 47.42.75.46
    - Consulat de Roumanie, Paris,  (1) 47.05.84.99 / 45.51.42.66
 

VI) Comites 

Comite de programme
  
  Daniel MEMMI             LIMSI - CNRS   Paris-Sud  
  Philippe DEVIENNE        LIFL - CNRS, Universite de Lille 1  
  Gheorghe GRIGORAS        Universitatea Iasi  
  Dan TUFIS                ICI, Bucuresti  
  Dan CRISTEA              Universitatea Iasi.
 

Comite d'organisation
  
  Jean-Pierre STEEN        LIFL, Universite de Lille 1  
  Calin IGNAT              Universitatea Iasi  
  Christian DUHAMEL        Ambassade de France a Bucarest  
  Dan GALEA                Prefectura Iasi  
  Georges DIENER           Centre Culturel Francais de Iasi  
  Mirela STEFANESCU        Universitatea Iasi  
  Maria CARPOV             Universitatea Iasi  
  Dan STOICA               Universitatea Iasi  
  Lucian GALESCU           Universitatea Iasi  
  Dan CRISTEA              Universitatea Iasi  
  Adrian ANDREI            Universitatea Iasi.
 

Les langues officielles de l'Ecole seront le Francais et l'Anglais.

 
VII) Formulaire d'Inscription

  [ ] Mr       [] Mme        [ ] Mlle   
  Nom:    ........................... Prenoms: .............................   
  Date de naissance:  ...................................................... 
  Lieu de naissance:  ...................................................... 
  Nationalite:  ............................................................
     
  [ ] Industriel               [ ]  Universitaire Ouest   
  [ ] Universitaire Est &      [ ] Personnes accompagnantes  
         
  Profession:  .............................................................  
  Adresse professionelle:  .................................................  
  .......................................................................... 
  .......................................................................... 
  .......................................................................... 
  Tel: .............................. Fax:  ................................  
  Email: ...................................................................   
 
Centres d'interet dans le cadre de l'Ecole: 
  .......................................................................... 
  ..........................................................................
  ..........................................................................  
  .......................................................................... 
 
 

A Retourner a l'une des personnes suivantes avant le 1er Juillet 93:    

  
En Roumanie :                          En France :  
  
    Dan CRISTEA                            Philippe DEVIENNE  
    Facultatea de Informatica              LIFL-UFR d'IEEA 
    Universitatea "Al. I. Cuza"            USTL (Lille 1) 
    Str. Berthelot, nr. 16                 F-59655 VILLENEUVE D'ASCQ CEDEX 
    R-6600 IASI                            Tel. (33) 20 43 47 18 
    Romania                                Fax. (33) 20 43 65 66 
    Tel. : (40)98 142230                   Fax. (33) 20 43 65 66 
    Fax. : (40)98 146330                   Email : devienne@lifl.fr
 
 

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

%  LaTeX Version
% -----------------


\documentstyle[a4]{article}

\textwidth 16cm
% \topmargin 0cm
\oddsidemargin 0cm
\textheight 21cm

\begin{document}

\title {{\bf
                       EUROLAN'93 \\}
             La premiere Ecole d'Ete Euro-Roumaine sur le \\
                 {\bf    Traitement du Langage Naturel. \\
                                  -----------------\\ }
                                IASI - ROUMANIE\\
                             19 - 29 juillet 1993\\ \  \\
                               Annonce Finale }


\author{} \date{} \maketitle

\section{Objectifs et motivations}

    Cette action a pour objectif de demarrer une serie de seminaires sur
le Traitement du Langage Naturel (TLN) qui se tiendraient en Roumanie
 tous les deux ans. Les themes seront principalement
orientes vers le Langage Naturel mais toujours en relation avec un
autre domaine de l'Intelligence Artificielle ou des Sciences Cognitives.
Des professeurs et chercheurs reputes des pays Europeens seront invites a
presenter leurs connaissances dans les domaines modernes de la Linguistique
Informatique ou des sciences connexes.

      La premiere Ecole d'Ete, qui se tiendra du 19 au 29 juillet 1993 a
IASI en Roumanie, (Iasi se prononce "Iache" en roumain) est concue 
comme une Ecole
Franco-Roumaine (enseignants francais dans un etablissement roumain).

      L'Universite de Iasi, en collaboration avec le LIMSI du CNRS et le LIFL de l'Universite de Lille (Lille
1 - Villeneuve d'Ascq) sont les organisateurs de cette Ecole. Elle aura
lieu dans les locaux du Centre Culturel Francais de Iasi.

      Le nombre de participants attendus est de 50 (15 pour l'Ouest, 35
pour l'Est). Un effort special a ete fait pour obtenir des subventions afin
de
donner la possibilite aux jeunes chercheurs des pays de l'Est, qui
pourraient avoir des difficultes financieres, de participer a cette Ecole.

\newpage

\section{Grandes lignes du programme}

      Le theme pour la session de 1993 sera :
\begin{center}
      {\it \bf "Traitement du Langage Naturel et Programmation Logique".}
\end{center}

      Le programme comprendra des cours, de travaux diriges, une session 
de seminaire par les auditeurs et des tables rondes. Les cours seront les suivants:
\begin{enumerate}
\item {\bf La semantique de Prolog. \\}
            par Jean-Paul DELAHAYE (LIFL, Universite de Lille 1).
\item {\bf Transformation de programmes et interpretation 
                 abstraite \\ pour Prolog. \\}
            par Philippe DEVIENNE (LIFL-CNRS, Universite de Lille 1).
\item {\bf Grammaire d'unification et traduction automatique. \\}
            par Dominique ESTIVAL (ISSCO, Universite de Geneve).
\item {\bf Methodes connexionnistes pour le Traitement du Langage Naturel. \\}
            par Daniel MEMMI assiste par Mihail CRUCIANU (LIMSI-CNRS \& Paris-Sud).
\item {\bf Architectures informatiques pour le traitement 
                automatique des \\ langues, exemple de l'analyse syntaxico --
                semantique des phrases. \\}
            par Gerard SABAH (LIMSI-CNRS \& Paris-Sud).
\item {\bf L'abduction - vue comme un processus unificateur pour 
                la \\ comprehension et la generation du langage, et pour
                la \\ traduction automatique. \\}
            par Dan TUFIS (ICI, Bucarest)
\item {\bf La generation du langage naturel. \\}
            par Michael ZOCK (LIMSI-CNRS \& Paris-Sud).
\end{enumerate}

\newpage

\section{Resumes des cours}
\subsection{La semantique de Prolog.}
{\bf Intervenant : Jean-Paul DELAHAYE (LIFL, Universite de Lille 1)} \\

\begin{enumerate}
\item Introduction
\begin{itemize}
\item La specificite de la programmation logique
\item Exemples de programmes
\item Notion de modele de Herbrand
\item Unification
\end{itemize}
\item Semantiques operationnelles
\begin{itemize}
\item Les arbres SLD
\item Le probleme du choix des arbres SLD (la regle de choix). 
\item Le probleme du parcours de l'arbre SLD
\item Semantiques operationnelles idealisees et standard
\item Autres semantiques operationnelles
\end{itemize}
\item Semantiques axiomatiques
\begin{itemize}
\item Hypotheses sur l'interpretation des programmes
\item Le complete de Clark
\item  Les autres systemes d'axiomes associes a un programme
\end{itemize}
\item Les operateurs associes aux programmes
\begin{itemize}
\item Iterations tranfinies, points fixes
\item Operateurs "consequence immediate"
\item Theoremes principaux
\end{itemize}
\item Variantes et extensions
\begin{itemize}
\item Semantique finie et invariante finie, etc.
\item Bons programmes, programmes canoniques etc.
\item Negation, coupe-choix, etc.
\end{itemize}
\end{enumerate}

\newpage
 
\subsection{Transformation de programmes et interpretation 
                 abstraite pour Prolog.}
{\bf Intervenant : Philippe DEVIENNE (LIFL-CNRS, Universite de Lille 1)} \\

L'utilisation croissante des langages declaratifs a conduit la 
communaute logique a proposer
des techniques de compilation plus intelligentes et mieux adaptees a 
ce type de langages. En
effet,  une des fonctions majeures des compilateurs modernes est 
consacree a l'optimisation
du code et de la gestion memoire. Pour que ces optimisations n'affectent 
pas la semantique
des programmes, une approche formelle est necessaire pour prouver la 
correction des
transformations induites.
Dans le cadre de ces recherches, plusieurs techniques ont pu etre mises 
en avant comme apportant
de reelles ameliorations dans l'execution des programmes logiques. 
Le but de ce cours est
d'introduire sans exces de formalisme mathematique celles jugees les 
plus significatives, en particulier l'interpretation abstraite et la machine abstraite de Warren. 
L'interpretation abstraite a
pour but de detecter des points d'invariance lors de l'execution d'un 
programme, ceci en se
basant non pas sur les valeurs exactes des donnees, mais leur 
description abstraite.
La machine de Warren constitue une solide reference en matiere de 
compilation; elle est a
la base de la plupart des environnements Prolog. Parmi les autres 
methodes, il faut citer l'evaluation partielle qui 
permet, par exemple, de
nettoyer un programme logique des predicats ou symboles introduits par 
le programmeur (pour un
souci naturel de structuration et lisibilite de son programme) et le 
backtracking intelligent
qui a pour objet  d'optimiser le parcours de l'arbre de resolution en 
elaguant celui-ci de
certaines branches qui conduiraient a des echecs.
  Ces methodes formelles d'analyse statique et de compilation de 
programmes logiques sont
profondement complementaires et  apportent des gains subtantiels en 
terme
d'efficacite en temps et en espace des  environnements de programmation 
logique.

\newpage


\subsection{Grammaires d'unification et traduction automatique.}
{\bf Intervenant : Dominique Estival, ISSCO, Universite de Geneve} \\

L'unification est une operation qui a donne son nom aux types de formalismes
qui l'emploient, car depuis quelques annees cette operation est devenue un
concept central, tant pour l'elaboration d'outils informatiques pour le TAL:
PATR-II, FUG, GDE, ELU, que pour la recherche en linguistique theorique:
GPSG, LFG, HPSG.
Dans ce cours, nous presenterons le formalisme de l'unification, son
application a des grammaires de Traitement Automatique du Langage Naturel (TAL) et
mettrons en evidence ses avantages pour la Traduction Automatique (TA). 
Du point de vue informatique, c'est un mecanisme qui sert a combiner
l'information.  Un de ses interets pour la linguistique reside dans le fait
que l'on peut s'en servir pour etablir des correlations entre differents
types d'information:  en particulier entre une forme linguistique et son
interpretation, entre une interpretation et sa realisation morphologique ou
phonologique, ou entre des interpretations de plusieurs formes linguistiques
differentes.  Ce n'est cependant qu'un mecanisme informatique sous-jacent
aux grammaires, et non une theorie linguistique, cognitive, ou autre.
Il offre la propriete principale d'etre {\bf declaratif}, et donc
reversible en principe, mais aussi il faut souligner {\bf l'expressivite}, {\bf l'uniformite} et sa {\bf neutralite theorique}.  
Nous examinerons en detail les questions posees par la {\em negation} et la {\em disjonction}, les {\em termes} (objets complexes) et les {\em listes} comme valeurs d'attribut, les {\em variables} pour les chemins $<$attribut valeur$>$, les {\em expressions typees}, les {\em abstractions} sur des ensembles de contraintes.

Nous montrerons les liens entre certains des concepts sur lesquels se base
le formalisme d'unification et certains des buts d'un systeme de TA.  La
recherche en TA peut en effet avoir plusieurs buts, bien que tout systeme de
TA doive au minimum accepter comme entree un texte en une langue et produire
en sortie un texte en une autre langue et supposer une certaine
correspondance entre ces deux textes.

Pour illustrer le mecanisme de l'unification et son utilisation dans un
systeme de TA, nous nous servirons de ELU (Environnement Linguistique d'Unification),
l'environnement de genie linguistique elabore a l'ISSCO, qui a deja permis
la  construction d'un systeme de traduction fran\c{c}ais-allemand.
En effet, ELU offre aux linguistes et chercheurs en TAL un
environnement qui leur fournit un formalisme theoriquement valide leur permettant
d'experimenter differentes analyses et theories linguistiques pour les
descriptions des langues.  Plus particulierement, il permet aux chercheurs en TA 
d'experimenter differentes approches de la traduction.
La declarativite du formalisme d'unification permet a une description,
a quelque niveau que ce soit, d'etre bidirectionnnelle.  Si cette
description est une grammaire, celle-ci est reversible, c'est-a-dire utilisable
aussi bien pour la comprehension (l'analyse) que pour la production (la
synthese)
En TAL, il y a tout interet a n'avoir qu'une seule grammaire
pour les deux processus, car cela apporte des avantages
considerables lors de l'elaboration d'une grammaire et pour son utilisation.
Tout d'abord, la reversibilite
permet une grande souplesse de developpement et facilite la maintenance (en
effet, les modifications ne se font qu'une seule fois!).  De maniere
peut-etre plus importante, elle impose une plus grande rigueur d'analyse et une
coherence formelle dans les traitements de phenomenes linguistiques.

L'unification offre aux chercheurs un formalisme aux proprietes simples
et mathematiquement bien definies.  En particulier, la localite des regles
et leur declarativite presentent des avantages evidents pour le TAL.  La
bidirectionnalite des grammaires qui en decoule represente pour la TA un gain
de temps et une facilite de maintenance considerables qui, allies a une rigueur
et une consistance des analyses linguistiques, en font un outil de
recherche precieux.

\newpage

\subsection{Methodes Connexionnistes pour le traitement du Langage Naturel.}
{\bf Intervenants : Daniel MEMMI et Mihail CRUCIANU (LIMSI-CNRS \& Paris-Sud)} \\

Une quantite croissante de travaux connexionnistes apporte des methodes nouvelles pour le 
traitement du langage naturel. Ce cours montre comment appliquer les reseaux neuronaux a des
problemes linguistiques divers (morphologie, syntaxe, semantique). On presentera les
principaux modeles connexionnistes actuels dans ce domaine, et les resultats obtenus. On tentera
d'evaluer a la fois les avantages de ces modeles, les problemes fondamentaux que pose la
structure syntaxique du langage. Plus generalement, on posera la question des rapports entre le
connexionnisme et l'IA classique. Le cours traitera donc les sujets suivants:

\begin{itemize}
\item Principes de fonctionnement des reseaux neuronaux. Les promesses du connexionnisme
(robustesse, flou, apprentissage, ...). Representations locales et distribuees. Du neuronal au
symbolique. Le cas du langage naturel.
\item Apprentissage de regularites implicites par des reseaux en couche (ex: NETtalk).
Vraisemblance psychologique. Comparaison avec des regles symboliques explicites.
\item Desembiguation lexicale en contexte dans des reseaux recurrents (ex: Waltz \& Pollack).
Interet et limites de ces modeles. Probleme de representation de la syntaxe.
\item Apprentissage de sequences grammaticales par des reseaux boucles (ex: Elman). Extraction
de la structure implicite par analyse de donnees. Evaluation de ces modeles. 
\item Le probleme general de la compositionalite et de la structure syntaxique.
Insuffisance des reseaux neuronaux actuels. Comparaison avec l'IA symbolique. Quelques directions
de recherche. Evolution probable du domaine.
\end{itemize}


\noindent {\bf Connectionist Methods for Natural Language Processing} \\
{\bf Professors : Daniel MEMMI and  Mihail CRUCIANU (LIMSI-CNRS  \& Paris-Sud)} \\

The growing amount of connectionist research has brought new methods for natural language processing.
This tutorial shows how to apply neural networks to various linguistic problems (morphology,
syntax, semantics). We will present the main connectionist models dealing with language along with
their results. We will try to evaluate the advantages of these models, as well as the fundamental
problem of syntactic structure. More generally, one will deal with the relationship between
connectionism and classical AI. The tutorial will then cover the following topics :

\begin{itemize}
\item Principles and functioning of neural networks. The claims of connectionism : flexibility,
fuzziness, learning, ... Local and distributed representations. From neurons to symbols. The case
of natural language.
\item Learning implicit regularities with layered networks (e.g. NETtalk). Psychological validity
of the approach. Comparison with explicit symbolic rules.
 \item Lexical disambiguation in context with recurrent networks (e.g. Waltz \& Pollack). Appeal and limitations of these models. The problem of representing syntax.  
\item Learning grammatical sequences with recursive layered networks (e.g. Elman nets). Extracting
implicit structure by data analysis. Evaluation of these models.
\item The general problem of compositionality and syntactic structure. Inadequacy of present-day
neural networks. Comparison with symbolic AI. Some research directions. Probable evolution of the
domain.
\end{itemize}

\newpage




\subsection{Architectures informatiques pour le traitement 
                automatique des langues, exemple de l'analyse syntaxico --
                semantique des phrases.}
{\bf Intervenant : Gerard SABAH (LIMSI-CNRS \& Paris-Sud)} \\

\begin{enumerate}
  \item Introduction
  \item Apercu sur les architectures
  \begin{enumerate}
         \item Un modele de la comprehension automatique.
         \item Architectures informatiques (Organisation des sources de connaissances)
            \begin{enumerate}
               \item Architecture en serie
               \item Architecture hierarchique
               \item Architecture heterarchique
               \item Tableau noir
               \item Systemes multi-experts communicants
         \end{enumerate}
     \end{enumerate}
  \item Connaissances necessaires au traitement automatique des langues
     \begin{enumerate}
         \item Morphologie
         \item Grammaire
         \item Semantique
         \item Pragmatique
     \end{enumerate}
  \item Processus
      \begin{enumerate}
         \item Les divers processus a mettre en oeuvre
      \begin{enumerate}
               \item Processus associes a l'analyse des phrases
               \item Processus associes a la comprehension de discours
            \end{enumerate}
         \item Exemple de l'analyse syntaxico-semantique (strategies)
      \begin{enumerate}
               \item Analyse montante ou descendante
               \item Traitement des possibilites multiples
      \begin{enumerate}
                     \item Retour en arriere
                     \item Parallelisme
                     \item Utilisation d'une table
                  \end{enumerate}
               \item Ordre des elements traites
            \end{enumerate}
     \end{enumerate}
  \item Exemples ANDI et CARAMEL
  \item Conclusion
\end{enumerate}

\newpage


\subsection{Abduction as a unifying approach for comprehension, generation 
and machine translation.}
{\bf Intervenant : Dan TUFIS (ICI-Bucharest)} \\

The classical approach to natural language parsing and generation may be 
described as a deductive process. However, for semantic  and mainly pragmatic 
(discourse) processing, deduction offers limited posibilities for dealing with
 specific problems. In most cases one makes use of other types of inference
within non-standard logics. 

This tutorial presents an emerging technology in inference-based natural 
language processing. The abductive approach integrates the older deductive
view, offering a unifying solution for  interpretation and generation.
Translation fits nicely within the abductive approach: it is regarded as a 
matter of interpretation in the source language and generation in the target
language.

After an introduction to pure abduction, we will present weighted abduction 
and discuss a few control strategies for abductive reasoning. An intuitive 
algorithm for abductive inference will conclude the first part of this tutorial.
The rest of the lectures will exemplify the weighted abduction at work in 
interpretation, generation and translation. We will address some notorious
difficult problems in natural language processing and exemplify their abductive 
solutions: parsing ungrammatical input, reference identification, interpretation
of nominal compounds, understanding metonimies, inferring the meaning of unknown
words, detecting and repairing user misunderstandings. 
We will exemplify generation by using the same grammar as in interpretation, thus
accounting for another merit of the abductive approach: 
bidirectionality. 
A small grammar for Romanian, corresponding to the English grammar used in the
previous examples and a few abductive transfer rules, will help us to discuss 
the abductive approach to machine traslation.

Finally, provided time will be on our side, we will discuss some open questions:
admissibility of abductive solutions, weight significance, interpretation and 
assignment (statistical vs. model preferences methods), computational 
intractability and avoiding combinatorial explosion.

\newpage

\subsection{Natural Language Generation : 
when the cognitive scientist meets the engineer.}
{\bf Intervenant : Michael ZOCK (LIMSI-CNRS \& Paris-Sud)} \\

Natural language generation is a field that lies at the crossroads of various disciplines: 
{\it linguistics, psychology, rhetorics, computer science} (to name just those). What is striking is
the fact that, despite its inherent interdisciplinarity, most scholars don't know about the work of
the neighbouring disciplines. 

The goal of this tutorial is twofold: (a) introduce the non-specialist to the problems and
achievements of this discipline; (b) help to bridge the gap that still exists between the experts of
the different disciplines (e.g. linguists, psychologists). The following issues will be addressed:
\begin{itemize}
\item {\it motivation of the research}: Why is generation an important research area?
\item {\it identification of the problems}: Why is generation a difficult task?
\item {\it achievements}: What has been achieved? What methods have been invented?
\item {\it evaluation}: Which problems have been neglected?
\item {\it current issues in NL-generation}: what areas are in the current focus of interest?
\end{itemize}

The organization of the tutorial will parallel the typical order in which people proceed when
producing language: starting from a communicative goal ({\it deep generation}: determination of
content, planning of text structure) we will gradually work our way to the linguistic form
({\it surface generation}: lexical choice, syntactic structure). 

Special emphasis will be given to the fact that the problem of natural language generation can only
be solved in the realm of cognitive science, that is, within a framework where linguists,
psychologists and computer scientists agree to meet and work in concert.

\newpage


\section{L'inscription}

{\bf Frais d'inscription:}
\begin{tabbing}
AAAAAAAAA \= Personnes accompagnantes :  $\;\;$  \=     \kill
\> Universitaire Ouest : \> 1000 FF \\
\> Industriel :   \>                 3000 FF \\
\>                Personnes accompagnantes :   \>   \makebox[20pt][r]{500} FF \\
\>                Universitaire Est :     \>   \makebox[20pt][r]{500} FF \\
\>                    (mais un certain nombre d'exceptions seront possibles)
\end{tabbing}

\noindent Les frais de voyage et de sejour resteront a la charge de
l'institution du participant, mais dans certains cas un hebergement  
tout a fait convenable peut etre propose. Des priorites seront accordees aux
participants de l'Est sur demande ecrite.

        Pour s'inscrire a l'Ecole,
retournez a une des personnes indiquees une copie du formulaire ci-joint, 
dument remplie, avant le 1er Juillet 1993.
\vskip 9pt


\section{Informations pratiques}

      Les roumains sont des gens tres chaleureux et attaches a la France.
Leur langue est d'origine latine comme le francais, qu'ils apprennent au
lycee. Les universitaires parlent, presque tous, notre langue.

      La Roumanie est un tres joli pays,  riche de merveilles
touristiques et de traditions.
      Iasi est une grande ville de 300 000 habitants, avec un aeroport, a
400 km au nord de Bucarest. Liaisons ferroviaire (train de nuit) et aerienne (en semaine) directe. 
On y trouve de grands hotels d'un confort comparable aux **NN en France, mais bien meilleurs
marches.

      L'avion est certainement le meilleur moyen pour s'y rendre (2h. pour
atteindre Bucarest + 1h. par un vol interieur. Prevoir eventuellement 1
nuit a Bucarest a cause des horaires et du changement d'aeroport).
TAROM (compagnie nationale roumaine) offre des prix tres avantageux (de
l'ordre de 2.900 F A.R. Paris-Iasi). S'adresser a des agences specialisees
pour les pays de l'Est comme :
\begin{itemize}
\item  Voyages UTA, Paris, (1) 48.24.74.74
\item Club Vacances Modernes, Villerupt,  82.89.28.31
\item Nouvelles frontieres, Villeneuve d'Ascq, 20.47.00.04
\end{itemize}

\noindent Passeport obligatoire en cours de validite - Visa a la frontiere.
\vskip 9pt
\noindent Des livres pour preparer un voyage :
\begin{itemize}
\item Europe de l'Est, Guide Arthaud (1990)
\item Le guide du Routard, pays de l'Est (92/93), Hachette.
\end{itemize}

\noindent Adresses utiles :
\begin{itemize}
\item   TAROM, Paris,  (1) 47.42.27.14 / 47.42.25.42
\item   Office du Tourisme roumain, Paris, (1) 47.42.75.46
\item   Consulat de Roumanie, Paris,  (1) 47.05.84.99 / 45.51.42.66
\end{itemize}

\section{ Comites}

Comite de programme
\begin{tabbing}
AAA \= Personnes xxxxxxxxxx :  $\;\;$  \=     \kill
\> Daniel MEMMI    \>        LIMSI - CNRS \& Paris-Sud \\
\> Philippe DEVIENNE \>  LIFL - CNRS, Universite de Lille 1 \\
\> Gheorghe GRIGORAS \>     Universitatea Iasi \\
\> Dan TUFIS   \>         ICI, Bucuresti \\
\> Dan CRISTEA  \>           Universitatea Iasi.
\end{tabbing}

\noindent Comite d'organisation
\begin{tabbing}
AAA \= Personnes xxxxxxxxxx :  $\;\;$  \=     \kill
\> Jean-Pierre STEEN  \>       LIFL, Universite de Lille 1 \\
\> C\u alin IGNAT    \>           Universitatea Iasi \\
\> Christian DUHAMEL  \>       Ambassade de France a Bucarest \\
\> Dan G{A}LEA     \>            Prefectura Iasi \\
\> Georges DIENER  \>        Centre Culturel Francais de Iasi \\
\> Mirela STEF\u ANESCU  \>       Universitatea Iasi \\
\> Maria CARPOV   \>           Universitatea Iasi \\
\> Dan STOICA    \>            Universitatea Iasi \\
\> Lucian GALESCU  \>          Universitatea Iasi \\
\> Dan CRISTEA   \>            Universitatea Iasi \\
\> Adrian ANDREI  \>           Universitatea Iasi.
\end{tabbing}

      Les langues officielles de l'Ecole seront le Francais et l'Anglais.

\newpage

\section{Formulaire d'inscription}

$\;$ \\
$\;$ \\

\begin{tabular}{|ll|}
\hline 
\multicolumn{2}{|l|}{\hfill} \\
\multicolumn{2}{|l|}{\fbox{\ } Mr \hfill \fbox{\ } Mme \hfill \fbox{\ } Mlle } \\
\multicolumn{2}{|l|}{\hfill} \\
Nom: \dotfill & Prenoms: \dotfill \\
\multicolumn{2}{|l|}{Date de naissance: \dotfill} \\
\multicolumn{2}{|l|}{Lieu de naissance: \dotfill} \\
\multicolumn{2}{|l|}{Nationalite:  \dotfill }\\
\multicolumn{2}{|l|}{\hfill} \\
\fbox{\ } Industriel & \fbox{\ } Universitaire Ouest  \\
\fbox{\ } Universitaire Est & \fbox{\ } Personnes accompagnantes \\
\multicolumn{2}{|l|}{\hfill} \\
\multicolumn{2}{|l|}{Profession: \dotfill }\\
\multicolumn{2}{|l|}{Adresse professionelle: \dotfill  }\\
\multicolumn{2}{|l|}{\dotfill }\\
\multicolumn{2}{|l|}{\dotfill }\\
\multicolumn{2}{|l|}{\dotfill }\\
Tel: \dotfill & Fax: \dotfill \\
\multicolumn{2}{|l|}{Email: \dotfill }\\
\hline
\multicolumn{2}{|l|}{\hfill}  \\
Centres d'interet dans le cadre de l'Ecole: & \dotfill \\
\multicolumn{2}{|l|}{\dotfill }\\
\hline
\multicolumn{2}{|l|}{\hfill} \\
\multicolumn{2}{|l|}{\dotfill }\\
\multicolumn{2}{|l|}{\dotfill }\\
\multicolumn{2}{|l|}{\hfill} \\
% \hspace{5cm} 
\hline
\end{tabular}

\vfill

\noindent{\bf A Retourner a l'une des personnes suivantes: } \\

\begin{tabbing}
AAAA \= Facultatea de informatica aaa \=  \kill
\>       En Roumanie : \> En France : \\
\ \\
\>                  Dan CRISTEA \>   Philippe DEVIENNE \\
  \>                Facultatea de Informatic\u a \>                LIFL-UFR d'IEEA\\
    \>              Universitatea "Al. I. Cuza"\>              USTL (Lille 1)\\
\>                  Str. Berthelot, nr. 16 \>            F-59655 VILLENEUVE D'ASCQ CEDEX\\
 \>                R-6600 IASI  \>                 Tel. (33) 20 43 47 18\\
   \>               Romania \>                  Fax. (33) 20 43 65 66\\
     \>             Tel. : (40)98 142230 \>                  Fax. (33) 20 43 65 66\\
       \>           Fax. : (40)98 146330  \>                Email : devienne@lifl.fr
\end{tabbing}
\end{document}