University of Cambridge > Talks.cam > FW26

FW26

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Tell a friend about this venue:

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.

2 upcoming talks and 105 talks in the archive.

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

NB: rescheduled from 2017/09/22

UserChung-Kil Hur, Seoul National University.

HouseFW26.

ClockFriday 29 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Designing Verifiable Cache Coherence Protocols

UserDaniel Sorin, Duke University.

HouseFW26.

ClockFriday 10 November 2017, 14:00-15:00

Please see above for contact details for this list.

 

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