From: "Martín Hötzel Escardó" <"escardo..."@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Subject: Domains XIII workshop call for abstracts
Date: Mon, 8 Jan 2018 10:17:14 -0800 (PST) [thread overview]
Message-ID: <9f42b3b1-5fc6-41d3-b34d-92538772d450@googlegroups.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 3148 bytes --]
Workshop Domains XIII CALL FOR ABSTRACTS
https://andrejbauer.github.io/domains-floc-2018/
Date: 7-8 July
Fifty years of domain theory
Fifty years ago, Dana Scott introduced domain theory for the
purposes of denotational semantics of programming languages when he
was in Oxford, where he worked with Christopher Strachey. This work
has had a vast and lasting impact on logic, computer science, and
mathematics. As part of the Workshop DOMAINS’2018, which will take
place in Oxford on 7–8 July 2018, we will celebrate 50 years of
domain theory and Dana Scott’s 85th birthday. The event is
affiliated with the Federated Logic Conference 2018 and LICS.
We will also commemorate Klaus Keimel, the founder of the Workshop
Domains series.
About the Domains Workshop series
The applications of domain theory include programming logics (LCF),
design of programming languages, models of the lambda calculus,
applications to recursion theory (higher-type computability,
Kleene-Kreisel countable functionals), general topology (injective
spaces, function spaces, locally compact spaces, Stone duality),
topological algebra (Lawson semilattices) and analysis (measure,
integration, dynamical systems). Moreover, these applications are
related – for example, Stone duality has given rise to a logic of
observable properties of computational processes.
The Domains workshop series is aimed at computer scientists and
mathematicians alike who share an interest in the mathematical
foundations of computation. The workshop series focuses on domains,
their applications in mathematics and computer science, and related
topics. Previous meetings were held in Darmstadt (1994, 1999, 2004),
Braunschweig (1996), Munich (1997), Siegen (1998), Birmingham
(2002), Novosibirsk (2007), Brighton (2008), Swansea (2011), Paris
(2014), and Cork (2015).
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 and computability
- topology, metric spaces and domains
- idempotent analysis and domains
- locale theory
- category theory
- topos theory
- type theory
Invited speakers include
- Dana Scott (CMU)
Programme Committee
- Andrej Bauer (Ljubljana)
- Martin Escardo (Birmingham)
- Achim Jung (Birmingham)
- Paul Levy (Birmingham)
- Mike Mislove (Tulane)
- Dag Normann (Oslo)
Organizers
- Andrej Bauer (Ljubljana)
- Martin Escardo (Birmingham)
We plan a special issue in a journal for post-proceedings.
Deadline for submission of Abstracts: 18th March
Submission is via Easychair at
https://easychair.org/conferences/?conf=domains13.
Please keep the abstract to two pages (pdf).
Notification of acceptance: 16th April
Registration: http://www.floc2018.org/register/
--
[-- Attachment #1.2: Type: text/html, Size: 4133 bytes --]
reply other threads:[~2018-01-08 18:17 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=9f42b3b1-5fc6-41d3-b34d-92538772d450@googlegroups.com \
--to="escardo..."@gmail.com \
--cc="HomotopyT..."@googlegroups.com \
/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).