### Monday May 6, 2002

**Speaker**: Michael Bukatin

**Title**: Mathematics of Approximation Domains

**Abstract**: Sets of partially defined elements equipped with Scott topology
are widely used in formal semantics of programming languages
and in the theory of mathematical computations. I'll overview
some advances in analysis on Scott domains (in particular,
in the theory of generalized distances and measure theory
for these spaces) and in theory of their logical representation.
I'll indicate several open problems in this field.