Events Calendar
| S | M | T | W | T | F | S | |
|---|---|---|---|---|---|---|---|
| 29 | 30 | 1 | 2 | 3 | 4 | 5 | |
| 6 | 7 | 8 | 9 | 10 | 11 | 12 | |
| 13 | 14 | 15 | 16 | 17 | 18 | 19 | |
| 20 | 21 | 22 | 23 | 24 | 25 | 26 | |
| 27 | 28 | 29 | 30 | 31 | 1 | 2 |
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
04 May 2012
Herding Cats via Coordinated Atomic Action, or, Applying CAA to Untrusted (Byzantine) Actors
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
