CFP: 2nd ACM SIGPLAN Workshop on Continuations

[------ 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
	Olivier Danvy
	Computer Science Department
	Aarhus University
	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.

Program committee:
	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)

URL: http://www.brics.dk/~cw97/