![[University of Cambridge]](/static/images/identifier2.gif){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](/static/images/talkslogosmall.gif) |
University of Cambridge > Talks.cam > Program verification reading group. > A Calculus of Atomic Actions
A Calculus of Atomic ActionsDownload to your calendar using vCal
If you have a question about this talk, please contact Matthew Parkinson . Authors: Tayfun Elmas, Shaz Qadeer and Serdar Tasiran. This talk is part of the Program verification reading group. series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsBristol-Myers Squibb, Department of Chemistry, Lensfield Road Museum of Archaeology & Anthropology https://thepowerofteamreasoning.eventbrite.co.ukOther talksTitle TBC Morning Break title abstract tbc Dept of Zoology Inaugural lecture: 'Through the lens of a bee: from the past to the future' Title to be confirmed Animating urbanism: the demotic multiplicities of seeing cities digitally |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Eric Koskinen
Wednesday 17 December 2008, 11:00-12:30
