Please confirm your subscription to "gigi04"

Hello Friend,

We have received your request for a
subscription to a mailing list maintained by
GetResponse email marketing service.

To confirm your subscription, please
click the following link:

EASY 1-CLICK CONFIRMATION:
http://app.getresponse.com/confirm.html?x=a62b&sq=IVXRB&y=B&

You will be able to unsubscribe
or change your details at any time.

If you have received this email in
error and do not intend to join our
list, no further action is required
on your part.

You won't be subscribed to any
list and you won't receive further
information until you confirm your
subscription above.

--
MABBUT

MABBUT PHILIPPE, QUARTIER SAINTE ANNE, ST MICHEL L'OBS, FRANCE 04870, France

Email address: "Friend" seminaire-pps@pps.jussieu.fr
Type of request: import
Timestamp: 2012-01-30 01:47:50
IP address: 79.82.228.152

RAPPEL Seminaire PPS: Marcelo Fiore, à 11h en salle 1D23

Bonjour,

Venez prendre café, thé et croissant a partir de 10h45 en salle 1D23, ensuite nous aurons le plaisir d'entendre:

Marcelo Fiore (Cambridge), en visite a PPS:

Algebraic Foundations for Type Theories

https://www.pps.jussieu.fr/seminaire/

Jean

Seminaire PPS: Marcelo Fiore, jeudi 26/01 11h salle 1D23

Chers tous, le seminaire de jeudi prochain, 26 janvier, est donne par  Marcelo Fiore (Cambridge), en visite a PPS: Algebraic Foundations for Type Theories https://www.pps.jussieu.fr/seminaire/ Le séminaire est a 11h en salle 1D23, et sera précédé d'un pot informel avec café et croissants à partir de 10h45.  A bientot, Claudia

Seminaire PPS: Silvia Crafa, jeudi 19/01 11h salle 1D23

Chers tous, jeudi prochain, 19 janvier, nous accueillerons Silvia Crafa (Padua, Italie) A spectrum of behavioral relations over LTSs on probability distributions https://www.pps.jussieu.fr/seminaire/ Le séminaire est a 11h en salle 1D23, et sera précédé d'un pot informel avec café et croissants à partir de 10h45. A bientot, Claudia A spectrum of behavioral relations over LTSs on probability distributions Abstract: Probabilistic nondeterministic processes are commonly modeled as probabilistic LTSs (PLTSs, a.k.a. probabilistic automata). A number of logical characterizations of the main behavioral relations on PLTSs have been studied. In particular, Parma and Segala define a probabilistic Hennessy-Milner logic interpreted over distributions, whose logical equivalence/preorder when re- stricted to Dirac distributions coincide with standard bisimulation/simulation be- tween the states of a PLTS. This result is here extended by studying the full log- ical equivalence/preorder between distributions in terms of a notion of bisimula- tion/simulation defined on a LTS of probability distributions (DLTS). We show that the standard spectrum of behavioral relations on nonprobabilistic LTSs as well as its logical characterization in terms of Hennessy-Milner logic scales to the probabilistic setting when considering DLTSs. It is joint work with Francesco Ranzato, presented at CONCUR 2011

seminaire pps, le 12 Janvier: Paul Ruet

Bonjour et bonnee annee a tous!

On debute le 2012 avec un seminaire de Paul Ruet:

Jeudi 12 janvier, 11h salle 1D23 – Paul Ruet (PPS)
Cycles locaux et attracteurs dans les réseaux booléens asynchrones

http://www.pps.jussieu.fr/seminaire/

Le seminaire sera précédé d'un pot informel avec café et croissants à partir de 10h45.

A bientot

claudia