From: Martin Escardo <m.escardo@cs.bham.ac.uk>
To: categories@mta.ca
Subject: CFP: Workshop Domains VI
Date: Fri, 7 Dec 2001 15:20:07 +0000 (GMT) [thread overview]
Message-ID: <15376.56699.391842.519063@henry.cs.bham.ac.uk> (raw)
Call for abstracts
Domains VI
Birmingham, 16-19 September 2002.
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), Braunschweig (96), Munich (97) and Siegen (98). The
emphasis is on the exchange of ideas between participants similar in
style to Dagstuhl seminars.
INVITED SPEAKERS
Ulrich Berger University of Wales Swansea
Thierry Coquand Goeteborg University
Jimmie Lawson Louisiana State University
John Longley University of Edinburgh
* Dag Normann University of Oslo
Prakash Panangaden McGill University
Uday Reddy University of Birmingham
Thomas Streicher Darmstadt University
* to be confirmed
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 for this workshop include, but are not
limited to:
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
topology
locale theory
metric spaces
category theory
topos theory
type theory
SUBMISSION OF ABSTRACTS
One-page abstracts should be submitted to
domainsvi@cs.bham.ac.uk
Shortly after an abstract is submitted (usually one or two weeks),
the authors will be notified by the programme committee. Abstracts
will be dealt with on a first-come/first-served basis.
DEADLINE
30 April 2002
ACCOMODATION
We meeting will take place at "The Manor House" halls of residence
of the University of Birmingham (http://www.bham.ac.uk/conferences/#Manor).
More details will be provided at a later date.
PROGRAMME COMMITTEE
Martin Escardo University of Birmingham
Achim Jung University of Birmingham
Klaus Keimel Darmstadt University
Alex Simpson University of Edinburgh
ORGANIZATION COMMITTEE
Martin Escardo University of Birmingham
Achim Jung University of Birmingham
PUBLICATION
We plan to publish proceedings of the workshop in lecture notes
series. There will be a call for papers after the workshop takes
place. The papers will be refereed according to normal publication
standards.
URL
http://www.cs.bham.ac.uk/~wd6/index.html
reply other threads:[~2001-12-07 15:20 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=15376.56699.391842.519063@henry.cs.bham.ac.uk \
--to=m.escardo@cs.bham.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).