From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6533 Path: news.gmane.org!not-for-mail From: Noam Zeilberger Newsgroups: gmane.science.mathematics.categories Subject: CFP: Workshop on Theory and Practice of Delimited Continuations Date: Fri, 11 Feb 2011 02:25:23 +0100 Message-ID: Reply-To: Noam Zeilberger NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1297394404 25098 80.91.229.12 (11 Feb 2011 03:20:04 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 11 Feb 2011 03:20:04 +0000 (UTC) To: categories list Original-X-From: majordomo@mlist.mta.ca Fri Feb 11 04:20:00 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PnjY7-0003nJ-BD for gsmc-categories@m.gmane.org; Fri, 11 Feb 2011 04:19:59 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:52541) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PnjXz-0003Xc-8l; Thu, 10 Feb 2011 23:19:51 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PnjXu-0005IU-ML for categories-list@mlist.mta.ca; Thu, 10 Feb 2011 23:19:46 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6533 Archived-At: [Categories note: continuations have long played an important role in the foundations of programming languages, while "delimited" continuations were invented as an approach to building composition principles for continuations. Contributions to the workshop from categories readers would be very welcome. -NZ] =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 Call for Papers =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0TPDC 2011 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 1st International Workshop on =A0 =A0 =A0 =A0 Theory and Practice of Delimited Continuations =A0 =A0 =A0 =A0 =A0 http://www.pps.jussieu.fr/~saurin/tpdc2011/ =A0 =A0 =A0 =A0 =A0 =A0 29 May 2011, Novi Sad, Serbia =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 An RDP 2011 workshop - =A0 =A0 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. =A0The 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. =A0Full papers must describe new work not under consideration for publication elsewhere. =A0Accepted 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=3Dtpdc2011 PROGRAM COMMITTEE: 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=E9 Paris Diderot, Paris, France WORKSHOP ORGANIZERS: Hugo Herbelin, INRIA, Paris, France Alexis Saurin, CNRS, Paris, France Noam Zeilberger, Universit=E9 Paris Diderot, Paris, France For more information, please contact Alexis Saurin or Noam Zeilberger [For admin and other information see: http://www.mta.ca/~cat-dist/ ]