Events Calendar

May 2012
S M T W T F S
293012345
6789101112
13141516171819
20212223242526
272829303112

View events in:

01 May 2012

Dependability Tech Chat: Leo Freitas
An overview/introduction to the Isabelle theorem prover
Venue: Claremont Tower
Speaker(s): Leo Freitas

03 May 2012

Energy efficiency and the design of brains
Venue: CPD Room, M413, Merz Court
Speaker(s): Simon Laughlin Professor of Neurobiology Department of Zoology University of Cambridge

08 May 2012

Dependability Tech Chat: Claire Ingram
Using early project data to predict change-proneness
Venue: Claremont Tower
Speaker(s): Claire Ingram

16 May 2012

Asynchronous Arbitration
Venue: CPD Room, M413, Merz Court
Speaker(s): Dr Ian W. Jones (from Oracle Labs)

22 May 2012

Dependability Tech Chat: Matthew Lovert
A Semantic Analysis of Logics that Cope with Partial Terms
Venue: Claremont Tower
Speaker(s): Matthew Lovert

rss iconwrite news icon