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

Log in

Cambridge users (raven) details

Other users details

No account? details

Information on

Subscribing to talks details

Finding a talk details

Adding a talk details

Disseminating talks details

Help and Documentation details

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

Create Custom View
Subscribe using ical/vcal (Help with icalendar)
Subscribe to RSS feed
- please read notes first
Manage e-mail reminders
- see link at top of page
Plain Text View

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.