[Pl-seminar] [Fwd: Hayo Thielecke] Call for Papers: Continuations Workshop (CW'04)

[Mitchell Wand]

------- start of forwarded message (RFC 934 encapsulation) -------
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Return-Path: <owner-eapls at JISCMAIL.AC.UK>
Delivered-To: wand at ccs.neu.edu
Reply-To: Hayo Thielecke <H.Thielecke at CS.BHAM.AC.UK>
Precedence: list
From: Hayo Thielecke <H.Thielecke at CS.BHAM.AC.UK>
To: EAPLS at JISCMAIL.AC.UK
Subject: Call for Papers: Continuations Workshop (CW'04)
Date: Tue, 29 Jul 2003 14:03:21 +0100

       The Fourth ACM-SIGPLAN Continuations Workshop (CW'04)
                  Venice, Italy, 17 January 2004
           co-located with POPL'04 (14--16 January 2004)

           http://www.cs.bham.ac.uk/~hxt/cw04/index.html


Continuations are ubiquitous in many areas of Computer Science,
ranging from classical logic to compiler construction. Recent
applications include, for instance, continuation-passing style in
typed assembly languages, structuring servlets and GUIs with
continuations, and natural language semantics.

The 4th ACM SIGPLAN Workshop on Continuations (CW'04) aims to provide
a forum for research on continuations and their applications. Previous
Continuation workshops were held in conjunction with POPL'97 in Paris
and with POPL'01 in London.

Participants wishing to give short formal presentations are asked to
send a short abstract (five pages or less) in PDF to

      H.Thielecke at cs.bham.ac.uk

using the subject line CW'04.

Abstracts will be judged on originality, significance, correctness, and
clarity. Abstracts must describe work unpublished in refereed venues, and
must not be submitted for publication elsewhere (i.e., either a conference
or a journal).

An informal proceedings will be available at the workshop, and it is
planned to devote a special issue of the journal Higher-Order and
Symbolic Computation to selected papers, as for previous CWs.

Important Dates

Submission deadline         1 October 2003
Notification of acceptance  3 November 2003
Camera-ready copy           1 December 2003
CW'04 in Venice             17 January 2004
------- end -------