University of Cambridge > Talks.cam > tcw57’s list

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

2 upcoming talks and 454 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

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