Logic List Mailing Archive

CfP special issue of JLAP on Domains, deadline: 29 Feb 2012

********************************************

                            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@swansea.ac.uk