Wed, 23 May 2007 16:00 L3 Linear constraints in probabilistic model checking Maria Kwiatkowska (Birmingham)
Tue, 17 Oct 2006 15:00 L3 Regularity and Ramsey numbers of sparse hypergraphs Nikolaos Fountoulakis (Birmingham)
Fri, 20 Jan 2006 14:00 L3 Aspects of The Mathematical Modelling of Chemotherapy Protocols Dr Eamonn Gaffney (Birmingham)
Tue, 14 Feb 2006 17:00 L1 Classification of Finite Simple Groups. Some aspects of the Generation-2 Proof Dr. Inna Korchagina (Birmingham)
Mon, 25 Apr 2005 17:00 L3 Around monotonizations of countable paracompactness Chris Good (Birmingham)