workshop on Domain Theory is held in honour of Dana Scott's 70'th
birthday. The workshop is aimed at computer scientists and mathematicians
who share an interest in the mathematical foundations of computer science.
The workshop will focus on domains, their applications, and closely related
topics, such as logic, type theory, recursion theory, and topology.
Curien, U Paris VII, France
Escardó, U Birmingham, UK
Interactions between domain theory
Hyland, U Cambridge, UK
Thirty years on! domain models for
lambda calculus: the categorical
Lawvere, State U of New York-Buffalo, USA
Some open problems concerning
cartesian closed categories
- Gordon Plotkin, U Edinburgh, UK
Algebraic aspects of domain
- John C.
Reynolds, Carnegie Mellon U, USA
Relating intrinsic and extrinsic
semantics in domain theory
Winskel, U Cambridge, UK
Domain theory for concurrency