- 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
- Paper: Dale Miller and Gopalan Nadathur. Programming with Higher-Order Logic, Ch. 8.
- Speaker: Nathan Guermond
- Location: Keller 5-212
- Time: 10:00-11:00 am
- Paper: Janis Voigtländer. Much ado about two (pearl): a pearl on parallel prefix computation. SIGPLAN Not.
- Speaker: Zhuyang Wang
- Location: Lind 316
- Time: 2:30-3:30 pm
- Paper: Lucas Kramer and Eric Van Wyk. Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars. (SLE ‘23).
- Speaker: Lucas Kramer
- Location: Lind 316
- Time: 2:30-3:30 pm