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

Program verification reading group.

Add to your list(s) Send you e-mail reminders

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

Other views and ways to subscribe

You can include this list in your own website. Read the Instructions on how to include a list in your site and then click on 'Create Custom View' above to get started.

List Managers

Each talk has an organiser. Please contact them in the first instance if you have a query about a particular talk. Only contact one of the people below if you have a question about the list, such as whether your talk or series could be added.

(In order to see the manager's details, such as their e-mail, you will need to have an account and log in)

Lists included in this list

This list does not include any other list

Lists that include this list

Note that ex-directory lists are not shown.

 

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