Speaker: Matteo Mio - CNRS, ENS-Lyon Title: An introduction to Quantitative Algebras Abstract: Equational reasoning and equational manipulations are widespread in all areas of computer science. Consider, for example, the ...