University of Cambridge > Talks.cam > SS03, Computer Laboratory

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

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