Birmingham

Wed, 23 May 2007
16:00

L3

Linear constraints in probabilistic model checking

Maria Kwiatkowska

(Birmingham)

Tue, 24 Apr 2007
17:00

L1

Phan Theory and beyond

Dr. Corneliu Hoffman

(Birmingham)

Wed, 14 Feb 2007
16:00

L3

The bitopological nature of Stone duality

Achim Jung

(Birmingham)

Tue, 14 Feb 2006
16:00

L3

The bitopological nature of Stone duality

Achim Jung

(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)

Tue, 15 Nov 2005
15:00

L3

Generalized matching problems

Daniela Kuhn

(Birmingham)

Mon, 25 Apr 2005
17:00

L3

Around monotonizations of countable paracompactness

Chris Good

(Birmingham)

Mon, 14 Feb 2005
15:30

L3

Functional programming with real numbers

Achim Jung

(Birmingham)