[FOM] CFP: Workshop on Theory and Practice of Delimited Continuations

Noam Zeilberger noam.zeilberger at gmail.com
Thu Feb 10 21:38:23 EST 2011

[Note for FOM: continuations have long played an important role in the
foundations of programming languages, but also more recently in
gaining a better understanding of concepts at the boundary between
classical and constructive mathematics, such as Markov's principle
(and double-negation translations in general) -- so this workshop
could be of interest to FOM readers.  -NZ]

                      Call for Papers

                         TPDC 2011
                1st International Workshop on
        Theory and Practice of Delimited Continuations

            29 May 2011, Novi Sad, Serbia
                  An RDP 2011 workshop -
    Federated Conference on Rewriting, Deduction, and Programming


Since their introduction in the late 1980s, delimited control
operators have triggered increasing interest among programmers and the
programming language community, found unexpected applications in
conceptual domains such as linguistics and constructive mathematics,
and shown themselves to be the natural development of classical
control operators.  The first workshop on the Theory and Practice of
Delimited Continuations aims to bring together people working with the
many different (practical, theoretical, or foundational) aspects of
delimited continuations, in the hope of fostering some unity and

Contributions on all topics related to delimited continuations are
welcome, as either short abstracts or full papers (see SUBMISSION

To be announced


# Submission of full papers: 25 February 2011
# Submission of short abstracts: 18 March 2011
# Notification of acceptance: 25 March 2011
# Final version due: 8 April 2011
# Workshop: 29-30 May 2011


We accept submissions of two kinds:
* short abstracts (1 to 2 pages)
* full papers up to 12 pages

Short abstracts are proposals for talks within a wide rubric: reports
on work-in-progress or recently published papers, surveys or short
tutorials, system demonstrations, etc.  Full papers must describe new
work not under consideration for publication elsewhere.  Accepted
papers and abstracts will be presented at the workshop and included in
the proceedings, published as a technical report.

Papers and abstracts should be formatted using the easychair.cls LaTeX
class (see http://easychair.org/coolnews.cgi), and may be submitted
electronically as pdf files via the easychair website:


Zena Ariola, University of Oregon, USA
Dariusz Biernacki, University of Wroclaw, Poland
Hugo Herbelin, INRIA, Paris, France
Yukiyoshi Kameyama, University of Tsukuba, Japan
Alexis Saurin, CNRS, Paris, France
Hayo Thielecke, University of Birmingham, UK
Noam Zeilberger, Université Paris Diderot, Paris, France


Hugo Herbelin, INRIA, Paris, France
Alexis Saurin, CNRS, Paris, France
Noam Zeilberger, Université Paris Diderot, Paris, France

For more information, please contact
Alexis Saurin <saurin at pps.jussieu.fr>
or Noam Zeilberger <noam at pps.jussieu.fr>

More information about the FOM mailing list