University of Cambridge > Talks.cam > REMS lunch > Title to be confirmed
Add to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Peter Sewell.
nonstandard room: FW26
Abstract not available
This talk is part of the REMS lunch series.
Note that ex-directory lists are not shown.
© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity