[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[pept:22] 3rd SIGPLAN Continuations Workshop -- call for papers
The Third ACM SIGPLAN Workshop on Continuations (CW'01)
London, England, Jan. 20, 2001
Co-located with POPL '01 (Jan. 17, 2001 -- Jan. 19, 2001)
http://www.cs.indiana.edu/~sabry/cw01/
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
<sabry@cs.indiana.edu>
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
http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998
http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999
a special issue of 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 20, 2001: CW'01 in London