* Domains XI in Paris , Sept. 8-19 2914
@ 2014-05-21 4:29 Pierre-Louis Curien
0 siblings, 0 replies; only message in thread
From: Pierre-Louis Curien @ 2014-05-21 4:29 UTC (permalink / raw)
To: varacca, tasson, categories, ehrhard
CALL FOR PAPERS
Domains XI
International workshop on domain theory and applications
September 8-10 2014, Universite Paris Diderot, Paris, France
http://www.pps.univ-paris-diderot.fr/~varacca/domains/Domains_XI
The Workshop on Domains is aimed at computer scientists and
mathematicians alike who share an interest in the mathematical
foundations of computation. Previous meetings were held in
Swansea(2011), Brighton (2008), Novosibirsk (2007), Darmstadt (2004,
1999, 1994), Birmingham (2002), Siegen (1998), Munich (1997), and
Braunschweig (1996).
* 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
A special emphasis will be put on the following topics:
quasi-polish spaces
quantitative aspects in semantics
* The invited speakers are:
Matthew deBrecht (NICT, Japan)
Alberto Carraro (Ca' Foscari, Italy)
Martin Escardo (Birmingham, UK)
John Longley (LFCS, Scotland)
Christine Tasson (PPS, Paris Diderot)
Glynn Winskel (Cambridge, UK)
* Submission procedure:
Authors are invited to submit an abstract (1 or 2 pages) on Easychair:
https://www.easychair.org/conferences/?conf=domains2014
Presentations about ongoing work are welcome.
We plan to publish proceedings of the workshop in a journal. There will
be a call for papers after the workshop. The papers will be refereed
according to normal publication standards.
Submissions will be considered until June 15th.
Shortly after an abstract is submitted, 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.
* The Programme Committee consists of:
Andrej Bauer (Ljubjiana)
Antonio Bucciarelli (co-chair, PPS)
Thomas Ehrhard (co-chair, PPS)
Jean Goubault-Larrecq (ENS Cachan)
Achim Jung (Birmingham)
Klaus Keimel (Darmstadt)
Gordon Plotkin (Edinburgh)
Sam Staton (Cambridge)
Local organizers: Christine Tasson and Daniele Varacca (PPS)
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-05-21 4:29 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-05-21 4:29 Domains XI in Paris , Sept. 8-19 2914 Pierre-Louis Curien
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).