To: seminaire@pauillac.inria.fr
From: Bruno.Barras@inria.fr
Subject: SEM - INRIA : LogiCal - 29/06/01 - Paris - FR

      Vous pouvez maintenant vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                       Salle de conference du Bat 11

                          Vendredi 29 juin, 10h30

                            -------------------
                            Pierre-Louis Curien
                            -------------------

                                PPS, Paris 7

                         =========================
                         Introduction à la ludique
                         =========================

           *** Cet exposé est la suite du séminare du 18 mai ***

    La ludique, introduite  dans le récent article Locus  Solum de Girard,
    manipule  des objets  simples appelés  dessins (ou  desseins  selon la
    manière  dont   on  les  regarde)   qui  ressemblent  un  peu   à  des
    lambda-termes  purs. L'un  des premiers  théorèmes de  la  théorie est
    d'ailleurs un théorème de séparation.  J'insisterai sur quelques idées
    importantes de cette théorie naissante, notamment:

    - les  polarités  (il  y  a  des  règles  réversibles  et  des  règles
    irréversibles)

    - les erreurs ou "demons" (qui permettent davantage d'observations)

    - les lieux (aspect spatial de la gestion des ressources)

    - l'interaction  (cf. algorithmes  séquentiels,  sémantiques de  jeux,
    géometrie de l'interaction)