University of Cambridge > > Logic and Semantics Seminar (Computer Laboratory)

Logic and Semantics Seminar (Computer Laboratory)

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

Logic and Semantics seminars are usually held at 2pm on Fridays in room FW11 . Talks are of relevance to the Programming, Logic and Semantics Group. Please contact the seminar organisers if you would like more information, would like to suggest a speaker, or would like to offer to talk yourself.

Useful links:

Related series: Semantics lunch | Mini courses | PRG seminar | ARG lunch | All CL talks | Categories seminar
Tell a friend about this list:

If you have a question about this list, please contact: Anuj Dawar; Peter Sewell; Victor Gomes; Jean Pichon-Pharabod; Jamie Vicary. If you have a question about a specific talk, click on that talk to find its organiser.

5 upcoming talks and 252 talks in the archive.

Symmetric Arithmetic Circuits

UserGregory Wilsenach, University of Cambridge.


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

Free Commutative Monoids in Homotopy Type Theory

UserVikraman Choudhury, University of Indiana.


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

Lovász' Theorem and Comonads in Finite Model Theory

UserTomas Jakl, University of Cambridge.


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

Fully Abstract Models of Call-by-Value Languages, à la O'Hearn & Riecke

UserPhilip Saville, University of Edinburgh.


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

Promising ARMv8/RISC-V relaxed memory

UserChristopher Pulte, University of Cambridge.


ClockFriday 29 January 2021, 14:00-15:00

Please see above for contact details for this list.


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