Analytic Topology in Mathematics and Computer Science (past)

Mon, 07/02/2005 15:30	Paul Taylor	Analytic Topology in Mathematics and Computer Science	L3
	A lambda-calculus for real analysis

Mon, 24/01/2005 15:30	Isar Stubbe (Louvain-La-Neuve)	Analytic Topology in Mathematics and Computer Science	L3
	Dynamic Domains

Mon, 17/01/2005 15:30	Rolf Suabedissen (Oxford)	Analytic Topology in Mathematics and Computer Science	L3
	Implications of Continuity on Group Actions

Mon, 29/11/2004 15:30	Adrian Mathias (Reunion)	Analytic Topology in Mathematics and Computer Science	L3
	The unsuitability of set theory as a foundation for geometry

Mon, 22/11/2004 15:30	Alexandru Baltag (Oxford)	Analytic Topology in Mathematics and Computer Science	L3
	"A Dynamic-Logical Characterisation of Quantum Systems"

Mon, 08/11/2004 15:30	David Edwards (Oxford)	Analytic Topology in Mathematics and Computer Science	L3
	A separation theorem for semicontinuous functions

Mon, 01/11/2004 15:30	Dominic van der Zypen (Oxford)	Analytic Topology in Mathematics and Computer Science	L3
	'Order convergence and Priestley spaces'

Mon, 25/10/2004 14:30	Alexander Kurz (Leicester)	Analytic Topology in Mathematics and Computer Science	L3
	On dualities for topological transition systems

Mon, 11/10/2004 15:30	Mirna Dzamonja (U.E.A.)	Analytic Topology in Mathematics and Computer Science	L3
	A partition theorem about dense orders of large cardinality

Wed, 30/06/2004 16:00	Brian Raines (Baylor)	Analytic Topology in Mathematics and Computer Science	L3
	The problem of backwards dynamics in economics: a topological approach

Mon, 14/06/2004 15:30	Jonathan Farley (MIT)	Analytic Topology in Mathematics and Computer Science	L3
	Function Space Representations of Semilattice Tensor Products: Some Conjectures of Quackenbush from 1985 and a Conjecture of E.T

Mon, 07/06/2004 15:30	Gordon Plotkin (Edinburgh)	Analytic Topology in Mathematics and Computer Science	L3
	Functional Presentations of Powerdomains Combining Nondeterminism and (Extended) Probabilistic Choice

Mon, 31/05/2004 15:30	Paul Gartside (Pittsburgh)	Analytic Topology in Mathematics and Computer Science	L3
	Sequential Properties of function spaces

Mon, 24/05/2004 15:30	Szymon Dolecki (Dijon)	Analytic Topology in Mathematics and Computer Science	L3
	Elimination of covers in completeness

Mon, 17/05/2004 15:30	David Gabelaia (King's College, London)	Analytic Topology in Mathematics and Computer Science	L3
	Modal logics of submaximal spaces

Mon, 10/05/2004 15:30	Mike Reed and Van Cyr (Oxford)	Analytic Topology in Mathematics and Computer Science	L3
	Completeness in order, topology and computer science

Mon, 26/04/2004 15:30	Juris Steprans (Toronto)	Analytic Topology in Mathematics and Computer Science	L3
	Maximal operators and cardinal invariants

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

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

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

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)