CFP: 2nd ACM SIGPLAN Workshop on Continuations
Subject: CFP: 2nd ACM SIGPLAN Workshop on Continuations
From: Andrzej Filinski <firstname.lastname@example.org>
Date: Wed, 14 Aug 1996 22:04:40 +0100
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
Call for Papers
Second ACM SIGPLAN Workshop on Continuations
Paris, France --- January 1997
(Back to back with POPL'97.)
The notion of continuation is ubiquitous in many different areas of
computer science, including logic, constructive mathematics, programming
languages, and programming. Following the first workshop in June 1992,
this workshop aims at providing a forum for discussion of new results
and work in progress. Of special interest is work that is aimed at a
better understanding of the nature of continuations and of control
constructs in programming, and their relation to other areas of logic
and computer science. Theoretical, practical, and bridge-building
submissions are welcome.
continuations, control delimiters, exceptions, backtracking, calculi.
Participants wishing to give short formal presentations are asked to
send a two-to-three page abstract to
Acceptable formats are ASCII, DVI and PostScript. If email submission
is not possible, send 6 copies and a return mailing address to
Computer Science Department
Ny Munkegade, Building 540
DK-8000 Aarhus C
Deadline for receipt of abstracts is September 20, 1996.
Abstracts will be judged on relevance, significance, correctness,
clarity, and originality.
Authors will be notified of acceptance or rejection by October 31, 1996.
Final versions of accepted papers must be received in camera-ready form
by December 1, 1996. An informal proceedings will be distributed at the
workshop and will be available subsequently as a BRICS technical report.
Olivier Danvy (BRICS, Aarhus University) [chair]
Andrzej Filinski (Edinburgh University)
Julia Lawall (IRISA, University of Rennes)
Luc Moreau (University of Southampton)
Christian Queinnec (University of Paris VI/INRIA-Rocquencourt)
Jon Riecke (Bell Laboratories, Lucent Technologies)
Amr Sabry (University of Oregon)
Carolyn Talcott (Stanford University)
Mitchell Wand (Northeastern University)