[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