Analytic Topology in Mathematics and Computer Science

Wed, 11/10/2006 16:00	Robin Knight (Oxford)	Analytic Topology in Mathematics and Computer Science	L3
	Categories of Scott spaces and the structure of counter-examples to Vaught Conjecture

Wed, 18/10/2006 14:00	Nick Bezhanishvilli (University of Leicester)	Analytic Topology in Mathematics and Computer Science	L3
	Free modal algebras

Wed, 18/10/2006 16:00	Alexander Kurz (University of Leicester)	Analytic Topology in Mathematics and Computer Science	L3
	The Isbell Adjunction

Wed, 15/11/2006 16:00	Ian Hodkinson (Imperial College, London)	Analytic Topology in Mathematics and Computer Science	L3
	Axiomatising modal logics of elementary classes of Kripke frames

Wed, 22/11/2006 16:00	Joel Ouaknine (Oxford)	Analytic Topology in Mathematics and Computer Science	L3
	Some recent algorithmic results for timed automata

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)