Theory and Practice of Delimited Continuations Workshop
TPDC 2011, a Workshop affiliated with RDP 2011

SCOPE AND TOPIC

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 progress.

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

INVITED SPEAKERS

• Olivier Danvy
• Chung-chieh Shan

INFORMAL PROCEEDINGS

TPDC 2011 informal proceedings are available here.

PROGRAMME

Sunday, 29 May

13:45-14:00. Welcome
14:00-14:45. A robust implementation of delimited control by Zena Ariola, Hugo Herbelin, David Herman and Dan Keith
14:45-15:30. Short abstract: Monadic reflection in Lax Logic by Tristan Crolard

15:30-16:00. Break

16:00-17:00. Invited talk: What are these control hierarchies? by Chung-chieh Shan
17:00-17:45. Short abstract: From models towards strong reduction for delimited control operators by Danko Ilik

Monday, 30 May

9:00-9:30. RDP formal opening ceremony

9:30-10:00. Break

10:00-11:00. Invited talk: Extending Control by Olivier Danvy

11:00-11:45. Short abstract: Delimited Control and Continuation Passing Style in Pure Type Systems by Pierre Boutillier and Hugo Herbelin
11:45-12:30. Short abstract: Non-commlutative logic, continuations and effects by Noam Zeilberger

12:30-14:15. Lunch

14:15-15:00. Caml Light + shift/reset = Caml Shift by Moe Masuko and Kenichi Asai
15:00-15:45. Yield: Mainstream Delimited Continuations by Roshan P. James and Amr Sabry

15:45-16:15. Break

16:15-16:45. Review of recent literature on delimited continuations by Hugo Herbelin

16:45-17:15. Open discussion

ACCEPTED PAPERS

• Category full papers:
  • A robust implementation of delimited control, by Zena Ariola, Hugo Herbelin, David Herman and Dan Keith
  • Yield: Mainstream Delimited Continuations, by Roshan P. James and Amr Sabry
  • Caml Light + shift/reset = Caml Shift, by Moe Masuko and Kenichi Asai
• Category short abstracts:
  • Delimited Control and Continuation Passing Style in Pure Type Systems, by Pierre Boutillier and Hugo Herbelin
  • Monadic reflection in Lax logic, by Tristan Crolard
  • From models towards strong reduction for delimited control operators, by Danko Ilik
  • Non-commutative logic, continuations and effects, by Noam Zeilberger

IMPORTANT DATES

• Submission deadline for the category full papers: 25 february 2011 11 march 2011
• Submission for the category short abstracts: 18 march 2011
• Notification of acceptance: 25 march 2011
• Final Version due: 8 april 2011
• Workshop: 29-30 may 2011

SUBMISSION PROCEDURE

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: https://www.easychair.org/account/signin.cgi?conf=tpdc2011

PROGRAM COMMITTEE

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

WORKSHOP ORGANIZERS

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

For more information, please contact Alexis Saurin or Noam Zeilberger (first name DOT last name AT pps.jussieu.fr)