Call for Papers (Continuations Workshop CW'01)
To: firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org, email@example.com, firstname.lastname@example.org
Subject: Call for Papers (Continuations Workshop CW'01)
From: Amr Sabry <email@example.com>
Date: Mon, 04 Sep 2000 12:46:51 -0500
Newsgroups: comp.lang.scheme, comp.lang.functional, comp.lang.ml, comp.compilers
Organization: Computer Science Department, Indiana University
References: <firstname.lastname@example.org> <email@example.com>
The Third ACM SIGPLAN Workshop on Continuations (CW'01)
London, England, Jan. 16, 2001
Collocated with POPL '01 (Jan. 17, 2001 -- Jan. 19, 2001)
The notion of continuations is ubiquitous in many different areas of
computer science, including category theory, compilers, logic,
operating systems, programming, and semantics.
Following on the 1992 and 1997 ACM SIGPLAN Workshops on Continuations
(http://www.brics.dk/~cw97/), we are organizing a new workshop to
provide a forum for the presentation and discussion of new results and
work in progress aimed at a better understanding of the nature of
continuations, the relation of continuations to other areas of logic
and computer science, and exciting new applications of continuations
in contexts such as mobile threads, simulation, distributed systems,
graphical user interfaces, and education.
Participants wishing to give short formal presentations are asked to
send a short abstract (less than four pages) to
Abstracts will be judged on originality, significance, correctness,
and clarity. Abstracts must describe work unpublished in refereed
venues, and must not submitted for publication elsewhere (i.e., either
a conference or a journal)
An informal proceedings will be distributed at the workshop and will
be available subsequently as an Indiana University technical report.
As for CW'92 and CW'97
a special issue of the international journal Higher-Order and Symbolic
Computation (HOSC, http://www.wkap.nl/journals/lasc) dedicated to
CW'01, will be planned afterwards.
Important Dates and Submission Details
October 1, 2000: Deadline for submission of abstracts.
November 5, 2000: Notification.
December 3, 2000: Camera-ready copy.
January 16, 2001: CW'01 in London