Prochains exposés



Exposés précédents


Exposés hors-séries
mardi 20 février 2018, 14h00, 3052
Daniela Petrisan (IRIF) Up-To Techniques for Behavioural Metrics via Fibrations

Up-to techniques are a well-known method for accelerating proofs of

behavioural equivalences between systems. In this talk, I 
introduce up-to techniques for behavioural metrics in a coalgebraic
setting and provide general results that show under which conditions
such up-to techniques are sound.
For a system modelled as a coalgebra for a certain functor, the
behavioural distance can be seen as a coinductive predicate using a
suitable lifting of the functor. I will focus on the so called
Wasserstein lifting of a functor for which we provide a new
characterization in a fibrational setting. This is useful for
automatically proving the soundness of up-to techniques via a
generic framework developed in a previous CSL-LICS'14 paper.
I will use  fibrations of predicates and relations valued in a
quantale, for which pseudo-metric spaces are an example. To
illustrate our framework I provide an example on distances between
regular languages.

Exposés hors-séries
jeudi 01 février 2018, 14h00, 3052
Vincent Danos (ENS) Contractivity of Markov chains (metric couplings)

The module is a continuation of the lecture series by Prakash Panangaden on Labelled Markov Processes, but can be independently followed.

Exposés hors-séries
mardi 30 janvier 2018, 14h00, 3052
Vincent Danos (ENS) Bayesian inversion​ and approximation

The module is a continuation of the lecture series by Prakash Panangaden on Labelled Markov Processes, but can be independently followed.

Exposés hors-séries
jeudi 25 janvier 2018, 14h00, 3052
Prakash Panangaden (McGill University) Quantitative equational logic and free Kantorovich algebras

Prakash will open his stay with a series of 4 introductory lectures on probabilistic systems: “Introduction to Labelled Markov Processes”

Exposés hors-séries
mardi 23 janvier 2018, 14h00, 3052
Prakash Panangaden (McGill University) Metrics for LMPs

Prakash will open his stay with a series of 4 introductory lectures on probabilistic systems: “Introduction to Labelled Markov Processes”

Exposés hors-séries
jeudi 18 janvier 2018, 14h00, 3052
Prakash Panangaden (McGill University) A dual point of view: LMPs as function transformers

Prakash will open his stay with a series of 4 introductory lectures on probabilistic systems: “Introduction to Labelled Markov Processes”

Exposés hors-séries
mardi 16 janvier 2018, 14h00, 3052
Prakash Panangaden (McGill University) Introduction to LMPs: bisimulation, simulation, logical characterization

Prakash will open his stay with a series of 4 introductory lectures on probabilistic systems: “Introduction to Labelled Markov Processes”