Theory (old) seminars

Showing items 127 to 131 of 131 [ No next ]

Thursday 16th April 2009 at 14:00 UG40, School of Computer Science	Remarkable properties of monads related to the semantics of non-determinism Matias Menni, Universidad Nacional de La Plata
Friday 24th April 2009 at 14:00 UG40, School of Computer Science	The Reduceron Matthew Naylor, University of York
Tuesday 5th May 2009 at 14:00 LG33, Learning Centre	Finite Sequential Procedures with observational ordering Dag Normann, Department of Mathematics, The University of Oslo, Blindern, N-0316 Oslo, Norway
Friday 29th May 2009 at 14:00 UG40, School of Computer Science	An analysis of innocent interaction Russ Harmer, Universite de Paris 7
Friday 12th June 2009 at 14:00 UG40, School of Computer Science	Events, Causality and Symmetry Glynn Winskel, University of Cambridge

Showing items 127 to 131 of 131 [ No next ]

NOTE: Seminars in this series prior to Spring 2004 are listed on a separate archive page. Click here for more information.

For more information on this seminar series, including contact details for the organizer, see the Series Details page.

School of Computer Science