University of Cambridge > Talks.cam > Logic & Semantics for Dummies

Logic & Semantics for Dummies

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

A series of talks based on research topics in logic, semantics, type theory, category theory, etc. Aimed at PhD students and interested master’s students.

A revival of http://talks.cam.ac.uk/show/archive/10859.

Tell a friend about this list:

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

3 upcoming talks and 45 talks in the archive.

Title to be confirmed

UserDima Szamozvancev (University of Cambridge).

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

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

Modalities and HoTT

UserDerek Sorensen.

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

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

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

Please see above for contact details for this list.

 

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