FLoC '02 - DOMAIN

The Wayback Machine - https://web.archive.org/web/20041012130754/http://floc02.diku.dk:80/DOMAIN/

DOMAIN 2002

Workshop on Domain Theory
Copenhagen, Denmark, July 20-21, 2002
Affiliated with LICS 2002

This 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.

Invited speakers

Pierre-Louis Curien, U Paris VII, France
Playful computation
Mart�n Escard�, U Birmingham, UK
Interactions between domain theory and topology
Martin Hyland, U Cambridge, UK
Thirty years on! domain models for lambda calculus: the categorical logic perspective
Bill Lawvere, State U of New York-Buffalo, USA
Some open problems concerning cartesian closed categories
Gordon Plotkin, U Edinburgh, UK
Algebraic aspects of domain theory
John C. Reynolds, Carnegie Mellon U, USA
Relating intrinsic and extrinsic semantics in domain theory
Glynn Winskel, U Cambridge, UK
Domain theory for concurrency

Organizers

Lars Birkedal <birkedal@it-c.dk>, IT U of Copenhagen, Denmark
Giuseppe Rosolini <rosolini@disi.unige.it>, U Genova, Italy

� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � �

Sep	OCT	Nov
	12
2003	2004	2005