Past Analytic Topology in Mathematics and Computer Science

Forthcoming events in this series

Mon, 13 Jun 2005
17:00

Borel orders of topological spaces

David Fremlin

(Essex)

Mon, 06 Jun 2005
17:00

An algebraic approach to the logic of information flow

Mehrnoosh Sadrzadeh

(Oxford)

Mon, 23 May 2005
17:00

Discrete random variables on domains

Mike Mislove

(Tulane)

Mon, 16 May 2005
17:00

Reflective calculi and namespace logic

Greg Meredith

(Djinnisys Corporation, Seattle)

Mon, 25 Apr 2005
17:00

Around monotonizations of countable paracompactness

Chris Good

(Birmingham)

Mon, 07 Mar 2005
15:30

The patch construction is the same as algebraic dcpo representation

Christopher Townsend

Mon, 28 Feb 2005
15:30

Topology in Banach spaces and renorming theory

Richard Smith

(Oxford)

Mon, 14 Feb 2005
15:30

Functional programming with real numbers

Achim Jung

(Birmingham)

Mon, 07 Feb 2005
15:30

A lambda-calculus for real analysis

Paul Taylor

Mon, 24 Jan 2005
15:30

Dynamic Domains

Isar Stubbe

(Louvain-La-Neuve)

Mon, 17 Jan 2005
15:30

Implications of Continuity on Group Actions

Rolf Suabedissen

(Oxford)

Mon, 29 Nov 2004
15:30

The unsuitability of set theory as a foundation for geometry

Adrian Mathias

(Reunion)

Mon, 22 Nov 2004
15:30

"A Dynamic-Logical Characterisation of Quantum Systems"

Alexandru Baltag

(Oxford)

Mon, 08 Nov 2004
15:30

A separation theorem for semicontinuous functions

David Edwards

(Oxford)

Mon, 01 Nov 2004
15:30

'Order convergence and Priestley spaces'

Dominic van der Zypen

(Oxford)

Mon, 25 Oct 2004
14:30

On dualities for topological transition systems

Alexander Kurz

(Leicester)

Mon, 11 Oct 2004
15:30

A partition theorem about dense orders of large cardinality

Mirna Dzamonja

(U.E.A.)

Mon, 14 Jun 2004
15:30

Function Space Representations of Semilattice Tensor Products: Some Conjectures of Quackenbush from 1985 and a Conjecture of E.T

Jonathan Farley

(MIT)

Mon, 07 Jun 2004
15:30

Functional Presentations of Powerdomains Combining Nondeterminism and (Extended) Probabilistic Choice

Gordon Plotkin

(Edinburgh)

Mon, 31 May 2004
15:30

Sequential Properties of function spaces

Paul Gartside

(Pittsburgh)

Mon, 24 May 2004
15:30

Elimination of covers in completeness

Szymon Dolecki

(Dijon)

Mon, 17 May 2004
15:30

Modal logics of submaximal spaces

David Gabelaia

(King's College, London)

Mon, 10 May 2004
15:30

Completeness in order, topology and computer science

Mike Reed and Van Cyr

(Oxford)

Mon, 26 Apr 2004
15:30

Maximal operators and cardinal invariants

Juris Steprans

(Toronto)

Mon, 08 Mar 2004
15:30

Data Refinement: Model-oriented proof methods and their comparison

Willem-Paul de Roever

(Kiel)

Mon, 01 Mar 2004
15:30

Domain theory for concurrency

Glynn Winskel

(Cambridge)

Mon, 23 Feb 2004
15:30

Topological characterisations of representable predicates in CSP

Bill Roscoe

(Oxford)

Mon, 16 Feb 2004
15:30

Cardinal invariants of zero-set universals

Andrew Marsh

(Pittsburgh & Belfast)

Mon, 09 Feb 2004
15:30

Generalised Species of Structures and Analytic Functors: Cartesian Closed and Differential Structure

Marcelo Fiore

(Cambridge)

Thu, 08 Jan 2004
11:30

SR2

Points of uncountable score

Adrian Mathias

(Reunion and Barcelona)

Mon, 01 Dec 2003
15:30

Quotients of countably-based spaces

Alex Simpson

(Edinburgh)

Mon, 10 Nov 2003
15:30

Computational models of topological spaces

Mike Reed

(Computing Laboratory, Oxford)

Mon, 03 Nov 2003
15:30

On continuously Urysohn and strongly separating spaces

Lorenz Halbeisen

(Belfast)

Mon, 13 Oct 2003
15:30

Extending continuous functions continuously

Phil Zenor

(Mathematics, Auburn)

Thu, 07 Aug 2003
16:00

Higman Room

Combinatorial equivalent of non-hyperbolic systems implies topological equivalence

Professor Brian Raines

(Baylor University)