Speaker: Prof. Vincent Danos, Ecole Normale Paris Title: “Decentralised Finance the Old and the New” Date/Time: 2021/06/17 9:30 Recording: https://youtu.be/ysc5KSeDQOQ Abstract What is so special about decentralised finance? What kind of assets are traded and what is their fundamental value? What kind of basic financial primitives are available, and can they be combined? We will […]

Our research intern Todd Waugh Ambridge will present the paper Global Optimisation with Constructive Reals at the ACM/IEEE Symposium on Logic in Computer Science. Abstract—We draw new connections between deterministic, complete, and general global optimisation of continuous functions and a generalised notion of regression, using constructive type theory and computable real numbers. Using this foundation we […]

Data-with-a-hole-in-it: differential operators on data structures Thursday June 3 from 9.30 am This talk is a tutorial on the differential calculus, applied to the algebraic structure of data. Container-like data types can be seen as generalised polynomials over their element types. Differential operators act on those polynomials to give notions of “focus” or “cursor”, splitting […]