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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

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

Further detail
Subscribe using ical/vcal (Help)

If you have a question about this list, please contact: (no managers). 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

A modular approach to formalising combinatorial structures

UserChelsea Edmonds (University of Cambridge).

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

ClockFriday 09 July 2021, 11:00-12:00

Logic & Semantics for Dummies

Proof Synthesis with Free Extensions in Intensional Type Theory

UserNathan Corbyn (University of Cambridge).

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

ClockFriday 18 June 2021, 11:00-12: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

Markov categories: towards a syntax for probability

UserPaolo Perrone (University of Oxford).

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

ClockFriday 21 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

Categorical gluing and logical relations

UserMathieu Huot.

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

ClockFriday 12 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

Karoubi envelopes, semifunctors, and the extensional lambda calculus

UserNathanael Arkor (University of Cambridge).

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

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

Logic & Semantics for Dummies

Indexed containers and initial algebras for polynomial endofunctors

UserShaun Steenkamp (University of Cambridge).

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

ClockFriday 20 November 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.

Other lists

tbc Centre for Mathematical Sciences Webinar & LT2, Computer Laboratory, William Gates Building. FW22, Computer Laboratory, William Gates Building

Other talks

TBC Packing the Border: Quail Crates and the Regulation of Animal Movement on the US-Mexico Border, 1910s-1940s Online Causal Inference Seminar Evolution: Inevitable or Remarkable? Cambridge RNA Club - IN PERSON The Neurophenomenology of Surrender: Agency, Renewal, and Social Engagement in Speaking in Tongues
 

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