University of Cambridge > Talks.cam > https://meet.google.com/jxy-edcv-wgx

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 21 talks in the archive.

Logic & Semantics for Dummies

The formal theory of theories

UserNathanael Arkor (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 27 August 2021, 15:00-16:00

Logic & Semantics for Dummies

Quotient inductive types and QW types: part II

UserShaun Steenkamp (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 04 June 2021, 11:00-12:00

Logic & Semantics for Dummies

Quotient inductive types and QW types

UserShaun Steenkamp (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 28 May 2021, 11:00-12:00

Logic & Semantics for Dummies

Semantics of monad transformers

UserAndrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 14 May 2021, 11:00-12:00

Logic & Semantics for Dummies

Higher-order algebraic theories and relative monads

UserNathanael Arkor (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 07 May 2021, 11:00-12:00

Logic & Semantics for Dummies

Semantics of monad transformers

UserAndrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 26 March 2021, 11:00-12:00

Logic & Semantics for Dummies

Categorical models of dependent type theory II

UserNathanael Arkor (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 19 March 2021, 11:00-12:00

Logic & Semantics for Dummies

Descriptive Complexity

UserFelipe Ferreira Santos.

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 05 March 2021, 11:00-12:00

Logic & Semantics for Dummies

Categorical models of dependent type theory

UserNathanael Arkor (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 26 February 2021, 11:00-12:00

Logic & Semantics for Dummies

Monoidal categories

UserAndrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 12 February 2021, 11:00-12:00

Logic & Semantics for Dummies

The presheaf model of abstract syntax and variable binding

UserDima Szamozvancev (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 29 January 2021, 11:00-12:00

Logic & Semantics for Dummies

Introduction to infinity categories

UserAlex Rice (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 11 December 2020, 11:00-12:00

Logic & Semantics for Dummies

Modalities and HoTT

UserDerek Sorensen.

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 13 November 2020, 13:00-14:00

Logic & Semantics for Dummies

Distributive Iaws 2: Monadic Boogaloo

UserDima Szamozvancev (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 06 November 2020, 11:00-12:00

Logic & Semantics for Dummies

Distributive laws

UserDima Szamozvancev (University of Cambridge).

Househttps://meet.google.com/jxy-edcv-wgx.

ClockFriday 30 October 2020, 11:00-12:00

Please see above for contact details for this list.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity