Dana Scott, ACM A.M. Turing award 1976, gave a very well attended talk at Imperial on Stochastic λ-Calculus on Thursday 26th of May. The talk and lecture were part of… Read more »
Events
Annual Conference and Report, 2015
The Three National Cyber Security Programme sponsored cyber security Research Institutes are organising their joint annual highlights conference, at the Department for Business Innovation and Skills in October 2015. The… Read more »
INVEST Workshop – November 2014
Annual Conference, 2014
FMATS3 at Microsoft Research, 2014
FMATS3 on 1-2 May 2014 was co-organised by the Research Institute. FMATS3 was held at Microsoft Research Cambridge on 1st and 2nd May 2014. This year we had additional talks from… Read more »
