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

Website www.pps.jussieu.fr/~saurin/tpdc2011/ | Edit Freely

Category TPDC 2011

Deadline: March 18, 2011 | Date: May 29, 2011

Venue/Country: Novi Sad, Serbia

Updated: 2011-01-28 21:08:24 (GMT+9)

Call For Papers - CFP

1st International Workshop on

Theory and Practice of Delimited Continuations

http://www.pps.jussieu.fr/~saurin/tpdc2011/

29 May 2011, Novi Sad, Serbia

An RDP 2011 workshop -

Federated Conference on Rewriting, Deduction, and Programming

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:

To be announced

IMPORTANT DATES:

# 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

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/login.cgi?conf=tpdc2011

PROGRAM COMMITTEE:

To be announced

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 (saurinpps.jussieu.fr)

or Noam Zeilberger (noampps.jussieu.fr)