Primrose Room, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge


2012-02-03 10:00: Covering problems arising in Gamma Knife radiosurgery (Leo Liberti, CNRS/Ecole Polytechnique)

2012-04-10 11:30: Mathematical modelling on remotely-sensed dynamics of marine primary producers (Dr. Shovonlal Roy, University of Oxford)

2012-04-17 16:00: Efficient Cryptography for the Next Generation Secure Cloud (Alptekin Küpçü, Koç University)

2012-08-02 11:00: Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads (Marijn Heule, U. of Texas, Austin)