Séminaire PPS: J. Goubault-Larrecq le 26 mai à 11H en 0C2

Bonjour à tous,

Nous avons le plaisir d'accueillir Jean Goubault-Larrecq à la prochaine séance du séminaire PPS du:

Jeudi 26 mai à 11h en salle 0C2

The powerdomain of continuous random variables

Jean Goubault Larrecq (LSV, ENS Cachan)

Résumé: We introduce the domain of continuous random variables (CRV) over a domain, as an alternative to Jones and Plotkin's probabilistic powerdomain. While no known Cartesian-closed category is stable under the latter, we show that the so-called thin (uniform) CRVs define a strong monad on the Cartesian-closed category of bc-domains. We also characterize their inequational theory, as (fair-)coin algebras.
We apply this to solve a recent problem posed by M. Escardo: testing is semi-decidable for EPCF terms. CRVs arose from the study of the second author's (layered) Hoare indexed valuations, and we also make the connection apparent.

(il s'agit d'un travail réalisé en collaboration avec Daniele Varacca, accepté à LICS 2011)

=======

À NOTER: il y aura café, thé, etc... un quart d'heure avant le début du séminaire: venez un peu en avance!

=======

Vous pouvez noter dès maintenant que nous accueillerons Daniel Leivant lors de la séance suivante qui aura lieu le 9 juin (le 2 juin est férié).

Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.

Amicalement,

Alexis

PS: J'en profite pour vous rappeler une information que Pierre et moi avons oublié de faire passer la semaine dernière: la session 2011 de Réalisabilité à Chambéry se tiendra du 14 au 17 juin, les infos se trouvent à http://www.lama.univ-savoie.fr/~hyvernat/Realisabilite2011

--
Alexis Saurin

Regarde, on a tellement rêvé, que sur les murs bétonnés, poussent des fleurs de papier (...)
Et l'homme, une rose à la main, étoile à son destin, continue son chemin
Ce soir, quelque chose a changé, l'air semble plus léger, c'est indéfinissable
Regarde, au ciel de notre histoire, une rose à nos mémoires, dessine le mot "espoir"
Barbara

Séminaire PPS: P. Hyvernat le 19 mai à 11H en 0C2

Bonjour à tous,

Nous avons le plaisir d'accueillir Pierre Hyvernat à la prochaine séance du séminaire PPS du:

Jeudi 19 mai à 11h en salle 0C2

foncteurs polynomiaux, jeux et logique linéaire (différentielle)

Pierre Hyvernat (LAMA),

Résumé: Les « systèmes d'interaction » étaient à l'origine un moyen de représenter une notion de « jeux » en théorie des types. On obtient de cette manière une catégorie de jeux et de simulations qui modélise la logique linéaire différentielle. Fait assez surprenant, la dynamique ne joue aucun rôle dans la définition de composition des stratégies !

Cette notion de jeux existe sous des noms différents : « containers » (Ghani, Altenkirch, Hancock, ...) ou « foncteurs polynomiaux » (Hyland, Kock, Gambino, ...). Ce qui change ici est la notion plus générale de morphisme.

Après une petite introduction, je montrerai les liens entre ces polynômes (point de vue intentionnel) et les foncteurs associés (point de vue extensionnel). Je construirai ensuite le modèle de (D)ILL en insistant sur l'interprétation en termes de jeux et les similarités formelles avec le modèle « dégénéré » des transformateurs de prédicats.

Je ne ferai probablement aucune preuve, mais je mentionnerai quand même l'outil important, à savoir le langage interne des catégories localement cartésiennes fermées (càd la théorie des types dépendants)...

=======

À NOTER: il y aura café, thé, etc... un quart d'heure avant le début du séminaire: venez un peu en avance!

=======

Vous pouvez noter dès maintenant que Jean Goubault-Larrecq (LSV, ENS Cachan) donnera le 26 mai un exposé intitulé The powerdomain of continuous random variables

Plus de détails sur le séminaire à http://www.pps.jussieu.fr/seminaire.

À jeudi,

Alexis

--
Alexis Saurin