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
Aucun commentaire:
Enregistrer un commentaire