- Title: Automatic Differentiation via Effects and Handlers in OCaml
- Speaker: Jesse Sigal (University of Edinburgh)
- Location: Keller 2-225
- Time: 4:00-5:00 pm
- Topic: CompCert - A Formally Verified Optimizing Compiler
- Speaker: Linglong Meng
- Location: Keller 2-225
- Time: 4:00-5:00 pm
- Paper: Simon Peyton Jones et al. A semantics for imprecise exceptions. ACM SIGPLAN Notices.
- Speaker: Nathan Ringo
- Location: Keller 2-225
- Time: 4:00-5:00 pm
- Paper: Perry Hart. Colimits in Homotopy Type Theory. Preprint.
- Speaker: Perry Hart
- Location: Keller 2-225
- Time: 10:00-11:00 am
- Paper: Sebastiaan Joosten. Finding models through graph saturation. Journal of Logical and Algebraic Methods in Programming.
- Speaker: Sebastiaan Joosten
- Location: Keller 5-212
- Time: 10:00-11:00 am