Bradfield Centre, 184 Cambridge Science Park, Milton Road, Cambridge, CB4 0GA


2023-03-08 18:30: Inaugural CAIS Lecture - Professor Lawrence Paulson FRS on Automated Theorem Proving (Professor Lawrence Paulson FRS (Cambridge University))