Lyon, lundi 30 et mardi 31 octobre 2006
S'y rendre
La réunion se tiendra au LIP, au 3ème étage de l'ENS Lyon,
amphi B - comment s'y
rendre
appel
à participation/contribution
-
liste
(plus ou moins à jour) des participants
Programme
résumés
Lundi 30 octobre
- 10h15-12h00
-
Laurent Régnier, "Constructions d'algèbres de Hopf"
-
Jean-Yves Moyen, "Graphes de contrôle de ressources"
-
Yves Lafont, "Théorie algébrique des circuits booléens"
déjeûner à l'ENS
- 14h00-16h00
-
Marc de Falco, "Partages en lambda-calcul et géometrie de
l'interaction : de bonnes erreurs"
-
Damiano Mazza, "Observational Equivalence and the Full Abstraction
Problem for the Interaction Combinators"
-
Aurélien Pardon, "Une explication du critere de Danos-Regnier pour MLL"
-
Paul-André Melliès, "Functorial boxes in string diagrams"
- 16h30-17h30
-
Samuel Mimram, "Une théorie algébrique de la sémantique des jeux"
-
Joachim de Lataillade, "Les modèles de jeux du second ordre et les
isomorphismes à la Curry"
soirée
Rien de particulier n'est prévu pour le moment en ce qui
concerne le dîner, voici néanmoins une page de conseils.
Pour la nuit, voici une liste d'hôtels proches de l'ENS,
ou bien en ville (descendre un peu sur la page www, les hôtels se
trouvent sous les conseils d'orientation).
Mardi 31 octobre
- 9h00-10h45
-
Lionel Vaux, "Polarized differential nets and non-deterministic
choice on stacks"
-
Olivier Laurent, "Concurrence et séquentialité dans
les réseaux d'interaction différentiels"
-
Luigi Santocanale, "Topological Properties of Event Structures"
-
11h00-12h15
-
Samuel Hym, "Contrôle de la mobilité par typage dans un calcul réparti"
-
Silvano dal Zilio, "A Concurrent Calculus with Atomic Transactions"
déjeûner à l'ENS
Sur place
Pour les présentations, vous disposerez d'un
vidéo-projecteur, d'un rétro-projecteur, et d'un tableau
(avec des craies).
L'accès à internet, si besoin est, se
fera en parlementant avec un autochtone, par les airs si vous savez
faire du WIFI -- il faut dans ce cas un parrainage wifi:
prendre contact avec Daniel Hirschkoff à ce sujet.
Contact:
Tom Hirschowitz,
Daniel Hirschkoff,
tél. 04 72 72 84 34