![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Program verification reading group.
Discussion of topics relating to program verification. The primary focus will be on C-like languages, and the issues involved in concurrency.
Contact: Matthew Parkinson ; Mike Dodds
0 upcoming talks View 20 archived talks
No upcoming talks scheduled for this series.
Please see above for contact details for this list.