Rencontre, 9 mars 2017
Programme
 10:30 – 12:00

Benoît Valiron (CentraleSupélec & LRI)Invited talk: TBA
 14:00 – 15:00

Hugo Paquet (Cambridge)Invited talk: TBA
 15:30 – 16:30

Matteo Mio (CNRS, Lyon)Invited talk: Riesz Modal Logic for Markov Processes
We investigate a modal logic for expressing properties of Markov processes whose semantics is realvalued, rather than Boolean, and based on the mathematical theory of Riesz spaces. We use the duality theory of Riesz spaces to provide a connection between Markov processes and the logic. This takes the form of a duality between the category of coalgebras of the Radon monad (modeling Markov processes) and the category of a new class of algebras (algebraizing the logic) which we call modal Riesz spaces. As a result, we obtain a sound and complete axiomatization of the Riesz Modal logic.
This is joint work with Robert Furber and Radu Mardare.