<div> ********************************************</div><div><br></div><div> Special Issue on</div><div><br></div><div> Domain Theory</div><div><br></div><div>
********************************************</div><div><br></div><div> Open Call for Papers</div><div> --------------------</div><div><br></div><div>Following the successful Domains X conference, 5-7 September, 2011,</div>
<div>Swansea, Wales, there will be a special issue in Journal of Logic and</div><div>Algebraic Programming (JLAP). This is an open call, and not restricted</div><div>to contributions presented at the conference.</div><div>
<br></div><div>The topics cover a broad range related to Domain Theory and its</div><div>applications, see below. For further information on the Domains X</div><div>conference see:</div><div> <a href="http://www.cs.swan.ac.uk/domains2011/">http://www.cs.swan.ac.uk/domains2011/</a></div>
<div><br></div><div><br></div><div> Scientific scope</div><div> ----------------</div><div><br></div><div>Domain theory has had applications to programming language semantics</div>
<div>and logics (lambda-calculus, PCF, LCF), recursion theory</div><div>(Kleene-Kreisel countable functionals), general topology (injective</div><div>spaces, function spaces, locally compact spaces, Stone duality),</div><div>
topological algebra (compact Hausdorff semilattices) and analysis</div><div>(measure, integration, dynamical systems). Moreover, these</div><div>applications are related - for example, Stone duality gives rise to a</div><div>
logic of observable properties of computational processes. As such,</div><div>domain theory is highly interdisciplinary. Topics of interaction with</div><div>domain theory include:</div><div><br></div><div>- program semantics</div>
<div>- program logics</div><div>- probabilistic computation</div><div>- exact computation over the real numbers</div><div>- lambda calculus</div><div>- games</div><div>- models of sequential computation</div><div>- constructive mathematics</div>
<div>- recursion theory</div><div>- realizability</div><div>- real analysis and computability</div><div>- topology, metric spaces and domains</div><div>- locale theory</div><div>- category theory</div><div>- topos theory</div>
<div>- type theory</div><div><br></div><div>The conference had two special themes:</div><div><br></div><div>- modelling computational effects</div><div>- modelling continuous data</div><div><br></div><div>Papers on these themes are particularly welcome.</div>
<div><br></div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span> Submissions</div><div><span class="Apple-tab-span" style="white-space:pre"> </span> -----------</div><div><br></div>
<div>Submissions should adhere to the usual standards of scientific journal</div><div>publications. A full refereeing process will be used.</div><div><br></div><div>Submissions should be made on the online submission system for JLAP at:</div>
<div> <a href="http://ees.elsevier.com/jlap/default.asp">http://ees.elsevier.com/jlap/default.asp</a></div><div><br></div><div>Authors should select 'Special Issue:Domains X 2011' as 'Article Type', and</div>
<div>John V. Tucker as 'Receiving Editor'.</div><div><br></div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span> Deadline for submissions</div><div><span class="Apple-tab-span" style="white-space:pre"> </span> ------------------------</div>
<div><br></div><div>February 29, 2012</div><div><br></div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span> Guest editors</div><div><span class="Apple-tab-span" style="white-space:pre"> </span> -------------</div>
<div><br></div><div>Ulrich Berger, Swansea University, UK</div><div>Jens Blanck, Swansea University, UK</div><div>Martin Escardo, University of Birmingham, UK</div><div>Klaus Keimel, TU Darmstadt, Germany</div><div><br></div>
<div>Contact: <a href="mailto:j.e.blanck@swansea.ac.uk">j.e.blanck@swansea.ac.uk</a></div><div><br></div>