This is an old revision of the document!
(External) Talks given by Lab Members
Dec. 2019
Nov. 2019
Oct. 2019
- Seokbin Lee: “Grassmannian as Continuous Abstract Data Type with Computable Semantics”, WAAC 2019 (Oct.4, KAIST/Daejeon)
Sep. 2019
- Ivan Koswara: “Complexity of powering real large matrices and small polynomials”, MATTRIAD 2019 (Sep.9, Liblice, Czech Republic)
- Sewon Park: “Axiomatic Reals in Type Theory for Program Extraction”, CCC2019 (Sep.4, Ljubljana, Slovenia)