1. Events
  2. Seminar

Events Search and Views Navigation

Event Views Navigation

Today

DiSIA Seminar

DiSIA, viale Morgagni 59 Viale Morgagni 59, Firenze

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 ...