Small lecture room, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB


2015-07-14 11:00: Solving Second-Order Constraints with Program Synthesis (Cristina David, Oxford University)

2015-07-22 10:00: Giorgia Azzurra Marson (Speaker to be confirmed)

2015-09-07 10:00: Executable Relational Specifications of Polymorphic Type Systems using Prolog (Ki Yung Ahn, Portland State University)

2015-09-10 14:30: A Program Logic for Concurrent Objects under Fair Scheduling (Hongjin Liang, USTC)

2022-11-03 13:00: The second generation of meta-learning methods (Massimiliano (Max) Patacchiola, University of Cambridge)