Groupe de Travail  |-

Équipe SIGNES

Le groupe de travail |- émanant de l'équipe Signes  est consacré à l'utilisation des assistants de preuves et de  programmation fonctionnelle et logique dans le traitement informatique des langues naturelles.
Ce groupe de travail a lieu tous les lundis en salle GT1 du LaBRI et ce entre 15h20 et 16h30.


Exposés



         Pierre CASTERAN
Eloge de la dépendance
Lundi 26 Avril
       Bouchra BENSIALI
Formalisation des réseaux de preuves en Coq
Lundi 5 Avril
         Houda ANOUN
 Lambda-calcul & Sémantique de Montague
Lundi 22 Mars
       Richard MOOT
Réseaux de preuves (suite)
Lundi 15 Mars
         Pierre CASTERAN
 Introduction à Coq
Lundi  8 Mars
Richard MOOT
  Réseaux de preuves
Lundi 1 Mars
        Pierre CASTERAN
  Vie et mort des définitions et théorèmes.
Lundi 16 Février                      
        Houda ANOUN    
   Formalisation des Grammaires  Catégorielles Multimodales en Coq .
Lundi  9 Février                
        Houda ANOUN  
   Présentation des Grammaires  Catégorielles Multimodales .






Retour à la page d'accueil de SIGNES / Back to SIGNES home page



Contact: houda.anoun@labri.fr
Last modified: March 26th 2004