COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Quantitative equational reasoning

## Quantitative equational reasoningAdd to your list(s) Download to your calendar using vCal - Prakash Panangaden, McGill University
- Thursday 24 May 2018, 13:45-14:45
- FW26.
If you have a question about this talk, please contact Victor Gomes. Reasoning with equations is a central part of mathematics. Typically we think of solving equations but another role they play is to define algebraic structures like groups or vector spaces. Equational logic was formalized and developed by Birkhoff in the 1930s and led to a subject called universal algebra. Universal algebra was used in formalizing concepts of data types in computer science. In this talk I will present a quantitative analogue of equational logic: we write expressions like s =_ε t with the intended interpretation “s is within ε of t”. It turns out that the metatheory of equational logic can be redeveloped in this setting. Perhaps this seems like sterile theory but what makes it come alive is some striking examples. A notion of distance between probability distributions called the Kantorovich metric (frequently called the Wasserstein metric) has become important in the theory of probabilistic systems and in parts of machine learning. It turns out that this metric emerges naturally as the “free algebra” of some simple equational axioms in our extended sense. This is joint work with Radu Mardare and Gordon Plotkin. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Computer Laboratory talks
- Computing and Mathematics
- FW26
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsCollaboration Skills Initiative Faculty of Divinity 9th Cambridge Immunology Forum - Visions of Immunology## Other talksCreating More Peaceful Societies: Global Strategies to Reduce Interpersonal Violence by 50% in 2040 The Milner Therapeutics Institute; a global therapeutics alliance based in Cambridge The Amritsar Massacre 1919-2019: writing the micro-history of a global event Gene re-usages constrained the evolvability of the animal body plan? Cortical and subcortical organisation of the multiple demand system Modified small RNA regulate chromosome dosage and segregation |