The EPSRC will fund the the new Research Institute on Verified Trustworthy Software Systems (VeTSS) at Imperial for five years, 2017-2022. The main purpose of VeTSS is to support program analysis,… Read more »
Posts By: Teresa Carbajo Garcia
Talks by Dana Scott, ACM A.M. Turing award 1976, Thursday 26 May, Friday 27th May and Wednesday 1 June
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 »
