This site will be unavailable on 16 April from 08:00–17:00 for content migration to the new talks.cam site. For more information, visit the UIS Help Site
 

University of Cambridge > Talks.cam > yk373's list

yk373's list

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

A personal list of talks.

Tell a friend about this list:

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

10 upcoming talks and 3099 talks in the archive: show first 500.

Logic and Semantics Seminar (Computer Laboratory)

Andy Pitts Says 'Type Soundness proofs are two a penny!' but I think they're cheaper than that.

This is a special off-schedule edition of the Logic & Semantics Seminar, with Conor Mc Bride headlining. Please note the date, time and location.

UserConor Mc Bride.

HouseFW26, Computer Laboratory.

ClockThursday 16 April 2026, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

CSAR lecture: Decarbonizing road freight (TBC)

UserProfessor David Cebon, Department of Engineering, University of Cambridge.

HouseLocation: Wolfson Lecture Theatre, Churchill College, and Zoom.

ClockMonday 11 May 2026, 19:30-21:00

Please see above for contact details for this list.

 

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