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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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.

Other lists

11th Cambridge Immunology Forum 23.9.10 Lectureship in Innate Immunity Kettle's Yard Lunchtime Talks

Other talks

Lunchtime Talk: Helen's Bedroom Deep & Heavy: Using machine learning for boosted resonance tagging and beyond “It’s like they’re speaking a different language!” Investigating an accidental resistance to school mathematics reform Missing friars: rethinking late medieval medicine Internal Displacement in Cyprus and childhood: The view from genetic social psychology Communicating Your Research to the Wider World Symplectic topology of K3 surfaces via mirror symmetry Migration in Science The ‘Easy’ and ‘Hard’ Problems of Consciousness Knot Floer homology and algebraic methods Cambridge-Lausanne Workshop 2018 - Day 2
 

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