[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

             W o r k s h o p    A n n o u n c e m e n t

                         D O M A I N S   X


        Swansea University, Wales, UK, 5-7 September 2011


   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,04), Braunschweig (96), Munich (97),
    Siegen (98), Birmingham (02), Novosibirsk (07) and Brighton (08).

    Besides its traditional topics Domains X will have the special themes
    'Modelling of Computational Effects' and 'Modelling of Discrete and
    Continuous Data.'


   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.


    Lars Birkedal        University of Copenhagen (Denmark)
    Nick Benton          Microsoft Research Cambridge (UK)
    Margarita Korovina   University of Manchester (UK)
    Dag Normann          University of Oslo (Norway)
    John Power           University of Bath (UK)
    Matija Pretnar       University of Ljubljana (Slovenia)
    Thomas Streicher     University of Darmstadt (Germany)
    Jeff Zucker          McMaster University (Canada)


    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

    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
      models of sequential computation
      constructive mathematics
      recursion theory
      real analysis and computability
      topology, metric spaces and domains
      locale theory
      category theory
      topos theory
      type theory


    Please submit a one-page abstract via Easychair


    Shortly after an abstract is submitted (usually two or three 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.


    Abstracts will be dealt with on a first-come/first-served basis.
    We ask potential speakers to express the intention to give
    a talk by the end of June.


    Further details about the local arrangements will be provided soon.


   The Domains X workshop will take place at Swansea University,
   Department of Computer Science, Robert Recorde Room (2nd floor,
   Faraday Building). Accommodation will be on Campus in House Oxwich.
   Further details will be given later.


    Ulrich Berger     Swansea University  (Co-Chair)
    Jens Blanck       Swansea University
    Martin Escardo    University of Birmingham  (Co-Chair)
    Achim Jung        University of Birmingham
    Klaus Keimel      TU Darmstadt
    Bernhard Reus     University of Sussex
    John Tucker       Swansea University


    Ulrich Berger        Swansea University
    Jens Blanck          Swansea University
    Monika Seisenberger  Swansea University


    We plan to publish proceedings of the workshop in a special volume of
    a journal. There will be a call for papers after the workshop.
    The papers will be refereed according to normal publication standards.


Reply via email to