Analytic Topology in Mathematics and Computer Science

Mon, 09/02/2004 15:30	Marcelo Fiore (Cambridge)	Analytic Topology in Mathematics and Computer Science	L3
	Generalised Species of Structures and Analytic Functors: Cartesian Closed and Differential Structure

Mon, 16/02/2004 15:30	Andrew Marsh (Pittsburgh & Belfast)	Analytic Topology in Mathematics and Computer Science	L3
	Cardinal invariants of zero-set universals

Mon, 23/02/2004 15:30	Bill Roscoe (Oxford)	Analytic Topology in Mathematics and Computer Science	L3
	Topological characterisations of representable predicates in CSP

Mon, 01/03/2004 15:30	Glynn Winskel (Cambridge)	Analytic Topology in Mathematics and Computer Science	L3
	Domain theory for concurrency

Mon, 08/03/2004 15:30	Willem-Paul de Roever (Kiel)	Analytic Topology in Mathematics and Computer Science	L3
	Data Refinement: Model-oriented proof methods and their comparison

Forthcoming Seminars

Mon, 20/05/2013 - 2:15pm

Eigenvalues of large random matrices, free probability and beyond.

Speaker: CAMILLE MALE
Mon, 20/05/2013 - 2:15pm

Four-manifolds, surgery and group actions

Speaker: Ian Hambleton
Mon, 20/05/2013 - 3:45pm

Fibering 5-manifolds with fundamental group Z over the circle

Speaker: Yang Su
Mon, 20/05/2013 - 3:45pm

Random Wavelet Series

Speaker: STEPHANE JAFFARD
Mon, 20/05/2013 - 4:00pm

The Hasse Principle for the Equation Polynomial=Norm: An Approach Using Sieve Theory

Speaker: Alastair Irving
Mon, 20/05/2013 - 5:00pm

Analysis of some nonlinear PDEs from multi-scale geophysical applications

Speaker: Bin Cheng
Tue, 21/05/2013 - 12:00pm

Quantum information processing in spacetime

Speaker: Ivette Fuentes (Nottingham)