Document Actions
The Launch Day
Last modified
09 March 2008
The Centre held a Launch Event on 4 May 2006 (Thursday 2nd Week, Trinity Term 2006), aimed at introducing the research interests of our members and the aims of the Centre.
Programme
The launch day took place in the computing lab, 051, on Thursday 4 May. The programme can be found below:
| 11am - 11.15 | Introduction |
| 11.15 - 12 | Luke Ong, Infinite trees, higher-order recursion schemes and collapsable pushdown automata |
| 12 - 12.45 | Oege de Moor, Language Features for Program Monitoring |
| 12.45 - 1.45 | Lunch |
| 1.45 - 2.30 | Damien Sereni, Static Analysis of Aspects |
| 2.30 - 3.15 | Samson Abramsky, Algorithmic Game Semantics and Static Analysis |
| 3.15 - 4pm | Coffee |