[Agda] CfP: Domains X 2011
Jens Blanck
csjens at swansea.ac.uk
Thu Dec 22 15:51:46 CET 2011
********************************************
Special Issue on
Domain Theory
********************************************
Open Call for Papers
--------------------
Following the successful Domains X conference, 5-7 September, 2011,
Swansea, Wales, there will be a special issue in Journal of Logic and
Algebraic Programming (JLAP). This is an open call, and not restricted
to contributions presented at the conference.
The topics cover a broad range related to Domain Theory and its
applications, see below. For further information on the Domains X
conference see:
http://www.cs.swan.ac.uk/domains2011/
Scientific scope
----------------
Domain theory has had applications to programming language semantics
and logics (lambda-calculus, PCF, LCF), recursion theory
(Kleene-Kreisel 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 include:
- 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 and computability
- topology, metric spaces and domains
- locale theory
- category theory
- topos theory
- type theory
The conference had two special themes:
- modelling computational effects
- modelling continuous data
Papers on these themes are particularly welcome.
Submissions
-----------
Submissions should adhere to the usual standards of scientific journal
publications. A full refereeing process will be used.
Submissions should be made on the online submission system for JLAP at:
http://ees.elsevier.com/jlap/default.asp
Authors should select 'Special Issue:Domains X 2011' as 'Article Type', and
John V. Tucker as 'Receiving Editor'.
Deadline for submissions
------------------------
February 29, 2012
Guest editors
-------------
Ulrich Berger, Swansea University, UK
Jens Blanck, Swansea University, UK
Martin Escardo, University of Birmingham, UK
Klaus Keimel, TU Darmstadt, Germany
Contact: j.e.blanck at swansea.ac.uk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111222/979dba8d/attachment.html
More information about the Agda
mailing list