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.