posted by user: sierrauy || 1629 views || tracked by 1 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://www.pps.jussieu.fr/~saurin/tpdc2011/
 
When May 29, 2011 - May 29, 2011
Where Novi Sad, Serbia
Submission Deadline Feb 25, 2011
Notification Due Mar 25, 2011
Final Version Due Apr 8, 2011
Categories    delimited control   linguisitics   constructive mathematics
 

Call For Papers

Call for Papers

TPDC 2011
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 (saurin@pps.jussieu.fr)
or Noam Zeilberger (noam@pps.jussieu.fr)

Related Resources

TPDL 2025   29th International Conference on Theory and Practice of Digital Libraries
TPDL 2025   The 29th International Conference on Theory and Practice of Digital Libraries - Demo Track
PRIMA 2025   26th International Conference on Principles and Practice of Multi-Agent Systems
ECTA 2025   17th International Conference on Evolutionary Computation Theory and Applications
RASF-PDE 2025   SPECIAL ISSUE: Recent Advancements in Special Function Theory, Boundary Value Problems, and Partial Differential Equations
FCTA 2025   17th International Conference on Fuzzy Computation Theory and Applications
IEEE ICACTE 2025   IEEE--2025 The 18th International Conference on Advanced Computer Theory and Engineering (ICACTE 2025)
Systems (MDPI) 2025   Special Issue Title: Hypothesis-Driven Artificial Intelligence Approaches for Complex Systems Biology
ICoCTA 2025   2025 5th International Conference on Control Theory and Applications
Ei/Scopus-ITNLP 2025   2025 5th International Conference on Information Technology and Natural Language Processing (ITNLP 2025)