~~NOCACHE~~

---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 642
date: jeudi 20 septembre 2018
heure: 10h30
salle: Amphi Turing (bâtiment Sophie Germain)
nom: Leonid Libkin
affiliation: University of Edinburgh
titre: Certain Answers Meet Zero-One Laws
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 625
date: jeudi 05 juillet 2018
heure: 14h00
salle: Salle 3052
nom: Laurent Viennot
affiliation: Inria Paris et IRIF
titre: Introduction to the blockchain
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 540
date: mardi 20 février 2018
heure: 14h00
salle: 3052
nom: Daniela Petrisan
affiliation: IRIF
titre: Up-To Techniques for Behavioural Metrics via Fibrations
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 508
date: jeudi 01 février 2018
heure: 14h00
salle: 3052
nom: Vincent Danos
affiliation: ENS
titre: Contractivity of Markov chains (metric couplings)
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 507
date: mardi 30 janvier 2018
heure: 14h00
salle: 3052
nom: Vincent Danos
affiliation: ENS
titre: Bayesian inversion​ and approximation
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 512
date: jeudi 25 janvier 2018
heure: 14h00
salle: 3052
nom: Prakash Panangaden
affiliation: McGill University
titre: Quantitative equational logic and free Kantorovich algebras
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 511
date: mardi 23 janvier 2018
heure: 14h00
salle: 3052
nom: Prakash Panangaden
affiliation: McGill University
titre: Metrics for LMPs
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 510
date: jeudi 18 janvier 2018
heure: 14h00
salle: 3052
nom: Prakash Panangaden
affiliation: McGill University
titre: A dual point of view:  LMPs as function transformers
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: Special talks
seminaire: hors-series
id: 509
date: mardi 16 janvier 2018
heure: 14h00
salle: 3052
nom: Prakash Panangaden
affiliation: McGill University
titre: Introduction to LMPs: bisimulation, simulation, logical characterization
----