[Prev][Next][Index][Thread]
Domains VI 2nd Call for Abstracts

To: types@cis.upenn.edu

Subject: Domains VI 2nd Call for Abstracts

From: Domains VI Conference <m.escardo@cs.bham.ac.uk>

Date: Wed, 8 May 2002 18:20:25 +0100

UserAgent: SEMI/1.13.7 (Awazu) CLIME/1.13.6 (=?ISO2022JP?B?GyRCQ2YbKEI=?= =?ISO2022JP?B?GyRCJU4+MRsoQg==?=) MULE XEmacs/21.1 (patch 14) (Cuyahoga Valley) (i386redhatlinux)
2nd Call for Abstracts
[... with some updates to various information wrt. the first
announcement. B]
DOMAINS VI
http://www.cs.bham.ac.uk/~wd6/index.html
Birmingham, 1619 September 2002
INTRODUCTION
The Workshop on Domains is aimed at computer scientists and
mathematicians alike who share an interest in the mathematical
foundations of computation. The workshop will focus on domains,
their applications and related topics. Previous meetings were
held in Darmstadt (94,99), Braunschweig (96), Munich (97) and
Siegen (98).
FORMAT
The emphasis is on the exchange of ideas between participants similar
in style to Dagstuhl seminars. In particular, talks on subjects
presented at other conferences and workshops are acceptable.
INVITED SPEAKERS
Ulrich Berger University of Wales Swansea
Thierry Coquand Goeteborg University
Jimmie Lawson Louisiana State University
John Longley University of Edinburgh
Dag Normann University of Oslo
Prakash Panangaden McGill University
Uday Reddy University of Birmingham
Thomas Streicher Darmstadt University
SCOPE
Domain theory has had applications to programming language
semantics and logics (lambdacalculus, PCF, LCF), recursion theory
(KleeneKreisel countable functionals), general topology
(injective spaces, function spaces, locally compact spaces, Stone
duality), topological algebra (compact Hausdorff semilattices) and
analysis (measure, integration, dynamical systems). Moreover,
these applications are related  for example, Stone duality gives
rise to a logic of observable properties of computational
processes.
As such, domain theory is highly interdisciplinary. Topics of
interaction with domain theory for this workshop include, but are
not limited to:
program semantics
program logics
probabilistic computation
exact computation over the real numbers
lambda calculus
games
models of sequential computation
constructive mathematics
recursion theory
realizability
real analysis
topology
locale theory
metric spaces
category theory
topos theory
type theory
SUBMISSION OF ABSTRACTS
Onepage abstracts should be submitted to
domainsvi@cs.bham.ac.uk
Shortly after an abstract is submitted (usually one or two weeks),
the authors will be notified by the programme committee. The
criterion for acceptance is relevance to the meeting. In
particular, talks on subjects presented at other conferences and
workshops are acceptable.
DEADLINE
Abstracts will be dealt with on a firstcome/firstserved
basis. We ask potential speakers to express the intention to give
a talk as early as possible.
REGISTRATION
The registration fee will be kept low. Arrangements are not
available at this stage.
ACCOMODATION
We meeting will take place at "The Manor House" halls of residence
of the University of Birmingham (http://www.bham.ac.uk/conferences).
More details will be provided at a later date.
PROGRAMME COMMITTEE
Martin Escardo University of Birmingham
Achim Jung University of Birmingham
Klaus Keimel Darmstadt University
Alex Simpson University of Edinburgh
ORGANIZATION COMMITTEE
Martin Escardo University of Birmingham
Achim Jung University of Birmingham
PUBLICATION
We plan to publish proceedings of the workshop in ENTCS
(Elsevier's Electronic Notes in Theoretical Computer Science)
series. There will be a call for papers after the workshop takes
place. The papers will be refereed according to normal publication
standards.
URL
http://www.cs.bham.ac.uk/~wd6/index.html