University of Cambridge > Talks.cam > yk373's 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 3101 talks in the archive.

Logic and Semantics Seminar (Computer Laboratory)

Reachability Types, Traces, and Full Abstraction

UserBenedict Bunting (University of Cambridge).

HouseSS03, Computer Laboratory.

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

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserMatteo Spadetto (University of Nottingham).

HouseSS03, Computer Laboratory.

ClockFriday 29 May 2026, 14:00-15:00

Please see above for contact details for this list.

 

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