University of Cambridge > Talks.cam > Program verification reading group.

Program verification reading group.

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

Discussion of topics relating to program verification. The primary focus will be on C-like languages, and the issues involved in concurrency.

Tell a friend about this list:

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

0 upcoming talks and 20 talks in the archive.

Please see above for contact details for this list.

 

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