From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Mon, 8 Jan 2018 10:17:14 -0800 (PST)
From: =?UTF-8?Q?Mart=C3=ADn_H=C3=B6tzel_Escard=C3=B3?=
 <escardo...@gmail.com>
To: Homotopy Type Theory <HomotopyT...@googlegroups.com>
Message-Id: <9f42b3b1-5fc6-41d3-b34d-92538772d450@googlegroups.com>
Subject: Domains XIII workshop call for abstracts
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_13997_1662875488.1515435434646"

------=_Part_13997_1662875488.1515435434646
Content-Type: multipart/alternative; 
	boundary="----=_Part_13998_264007185.1515435434647"

------=_Part_13998_264007185.1515435434647
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

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=E2=80=992018, which will tak=
e
  place in Oxford on 7=E2=80=938 July 2018, we will celebrate 50 years of
  domain theory and Dana Scott=E2=80=99s 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 =E2=80=93 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=3Ddomains13.
Please keep the abstract to two pages (pdf).

Notification of acceptance: 16th April

Registration: http://www.floc2018.org/register/
--


------=_Part_13998_264007185.1515435434647
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>Workshop Domains XIII=C2=A0 CALL FOR ABSTRACTS</div><=
div>https://andrejbauer.github.io/domains-floc-2018/</div><div><br></div><d=
iv>Date: 7-8 July</div><div><br></div><div>Fifty years of domain theory</di=
v><div><br></div><div>=C2=A0 Fifty years ago, Dana Scott introduced domain =
theory for the</div><div>=C2=A0 purposes of denotational semantics of progr=
amming languages when he</div><div>=C2=A0 was in Oxford, where he worked wi=
th Christopher Strachey. This work</div><div>=C2=A0 has had a vast and last=
ing impact on logic, computer science, and</div><div>=C2=A0 mathematics. As=
 part of the Workshop DOMAINS=E2=80=992018, which will take</div><div>=C2=
=A0 place in Oxford on 7=E2=80=938 July 2018, we will celebrate 50 years of=
</div><div>=C2=A0 domain theory and Dana Scott=E2=80=99s 85th birthday. The=
 event is</div><div>=C2=A0 affiliated with the Federated Logic Conference 2=
018 and LICS.</div><div><br></div><div>We will also commemorate Klaus Keime=
l, the founder of the Workshop</div><div>Domains series.</div><div><br></di=
v><div>About the Domains Workshop series</div><div><br></div><div>=C2=A0 Th=
e applications of domain theory include programming logics (LCF),</div><div=
>=C2=A0 design of programming languages, models of the lambda calculus,</di=
v><div>=C2=A0 applications to recursion theory (higher-type computability,<=
/div><div>=C2=A0 Kleene-Kreisel countable functionals), general topology (i=
njective</div><div>=C2=A0 spaces, function spaces, locally compact spaces, =
Stone duality),</div><div>=C2=A0 topological algebra (Lawson semilattices) =
and analysis (measure,</div><div>=C2=A0 integration, dynamical systems). Mo=
reover, these applications are</div><div>=C2=A0 related =E2=80=93 for examp=
le, Stone duality has given rise to a logic of</div><div>=C2=A0 observable =
properties of computational processes.</div><div><br></div><div>=C2=A0 The =
Domains workshop series is aimed at computer scientists and</div><div>=C2=
=A0 mathematicians alike who share an interest in the mathematical</div><di=
v>=C2=A0 foundations of computation. The workshop series focuses on domains=
,</div><div>=C2=A0 their applications in mathematics and computer science, =
and related</div><div>=C2=A0 topics. Previous meetings were held in Darmsta=
dt (1994, 1999, 2004),</div><div>=C2=A0 Braunschweig (1996), Munich (1997),=
 Siegen (1998), Birmingham</div><div>=C2=A0 (2002), Novosibirsk (2007), Bri=
ghton (2008), Swansea (2011), Paris</div><div>=C2=A0 (2014), and Cork (2015=
).</div><div><br></div><div>Topics of interaction with domain theory for th=
is workshop include,</div><div>but are not limited to</div><div><br></div><=
div>=C2=A0 - program semantics</div><div>=C2=A0 - program logics</div><div>=
=C2=A0 - probabilistic computation</div><div>=C2=A0 - exact computation ove=
r the real numbers</div><div>=C2=A0 - lambda calculus</div><div>=C2=A0 - ga=
mes</div><div>=C2=A0 - models of sequential computation</div><div>=C2=A0 - =
constructive mathematics</div><div>=C2=A0 - recursion theory</div><div>=C2=
=A0 - realizability</div><div>=C2=A0 - real analysis and computability</div=
><div>=C2=A0 - topology, metric spaces and domains</div><div>=C2=A0 - idemp=
otent analysis and domains</div><div>=C2=A0 - locale theory</div><div>=C2=
=A0 - category theory</div><div>=C2=A0 - topos theory</div><div>=C2=A0 - ty=
pe theory</div><div><br></div><div>Invited speakers include</div><div><br><=
/div><div>=C2=A0 - Dana Scott (CMU)</div><div><br></div><div>Programme Comm=
ittee</div><div><br></div><div>=C2=A0 - Andrej Bauer (Ljubljana)</div><div>=
=C2=A0 - Martin Escardo (Birmingham)</div><div>=C2=A0 - Achim Jung (Birming=
ham)</div><div>=C2=A0 - Paul Levy (Birmingham)</div><div>=C2=A0 - Mike Misl=
ove (Tulane)</div><div>=C2=A0 - Dag Normann (Oslo)</div><div><br></div><div=
>Organizers</div><div><br></div><div>=C2=A0 - Andrej Bauer (Ljubljana)</div=
><div>=C2=A0 - Martin Escardo (Birmingham)</div><div><br></div><div>We plan=
 a special issue in a journal for post-proceedings.</div><div><br></div><di=
v>Deadline for submission of Abstracts: 18th March</div><div><br></div><div=
>Submission is via Easychair at</div><div>https://easychair.org/conferences=
/?conf=3Ddomains13.</div><div>Please keep the abstract to two pages (pdf).<=
/div><div><br></div><div>Notification of acceptance: 16th April</div><div><=
br></div><div>Registration: http://www.floc2018.org/register/</div><div>--<=
/div><div><br></div></div>
------=_Part_13998_264007185.1515435434647--

------=_Part_13997_1662875488.1515435434646--