University of Cambridge > Talks.cam > Computing and Mathematics

Computing and Mathematics

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

Description to be confirmed

Tell a friend about this list:

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.

6 upcoming talks and 251 talks in the archive.

Logic and Semantics Seminar (Computer Laboratory)

Symmetric Arithmetic Circuits

UserGregory Wilsenach, University of Cambridge.

HouseOnline.

ClockFriday 30 October 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Free Commutative Monoids in Homotopy Type Theory

UserVikraman Choudhury, University of Indiana.

HouseOnline.

ClockFriday 06 November 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lovász' Theorem and Comonads in Finite Model Theory

UserTomas Jakl, University of Cambridge.

HouseOnline.

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

Logic and Semantics Seminar (Computer Laboratory)

Promising ARMv8/RISC-V relaxed memory

UserChristopher Pulte, University of Cambridge.

HouseOnline.

ClockFriday 29 January 2021, 14:00-15: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