Talks.cam will close on 1 July 2026, further information is available on the UIS Help Site
 

University of Cambridge > Talks.cam > Computer Laboratory, William Gates Building, LT1

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

1 upcoming talk and 8 talks in the archive.

compiler socials

Full Stack Verification of CHERI systems

UserMurali Vijayaraghavan, MIT.

HouseComputer Laboratory, William Gates Building, LT1.

ClockMonday 17 November 2025, 11:12-12: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