Room TBC.  Microsoft Research, Station Road


2013-03-01 16:00: Cyclic Abduction of Inductive Termination Preconditions (James Brotherston, University College London)