Call for Talk Proposals

Continuation Fest 2008
April 13, Tokyo, Japan
http://logic.cs.tsukuba.ac.jp/~kam/Continuation2008/

Continuations are used, and constantly re-discovered, in web
programming, logic, event-based concurrency, linguistics,
transactional
systems, optimization, program generation and verification.
Programming
language systems -- including Scheme, OCaml, Ruby, Python, Haskell,
Coq -- are (re-)implementing continuations, generators, iterators and
related control structures. Continuations are also being studied for
their own sake.

We call for an informal gathering of people working in all these
areas -- language designers, users, and researchers who study or use
continuations in academic or practical work or as a hobby. The goal
is
to exchange ideas, terminology, new results, experience reports, works
in progress, open problems, and friendly feedback -- as well as meet
each other and strengthen the community.

We plan a combination of 7-8 broadly accessible talks and 1-2 invited
talks, with plenty of breaks for socializing and informal
conversations.
An evening event is planned. Participants are invited to submit
working
notes, source files, and abstracts for distribution to the attendees,
but as the workshop has no formal proceedings, contributions may still
be submitted for publication elsewhere.

We solicit talk proposals, about 2 paragraphs long. The proposal
should
include the desired talk duration and be emailed to
CF2008@logic.cs.tsukuba.ac.jp
The proposals will be evaluated by the Program Committee, who also
would
advise the authors on the duration of the talk and on making it as
accessible as possible.

The topics of interest include, but are not at all limited to:
-- descriptions of uses of continuations in program generation,
linguistics, proof theory, model checking,
-- system demonstrations
-- libraries using continuations, such as generators
-- verifying programs that use continuations explicitly
or implicitly (exceptions, concurrency, backtracking)
-- type systems of continuations and their formalizations
-- open problems

Important dates:
March 31, 2008: The deadline for the talk proposals
April 13, 2008: The Fest

Program committee:
Chris Barker (New York)
Shiro Kawai (Scheme Arts)
Oleg Kiselyov (FNMOC)
Chung-chieh Shan (Chair, Rutgers)
Taiichi Yuasa (Kyoto)

Organizing Committee:
Kenichi Asai (Ochanomizu)
Yukiyoshi Kameyama (Chair, Tsukuba)

Inquiries:
CF2008@logic.cs.tsukuba.ac.jp

Note: the Continuation Fest is scheduled on Apr 13, one day before
FLOPS2008,
http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
International Symposium on Functional and Logic Programming. Attendees
of the Continuation Fest who also participate in FLOPS have just
enough time get from Tokyo to Ise City in the morning of Apr 14; FLOPS
starts at 13:30. The detailed directions are available at
http://www.math.nagoya-u.ac.jp/~garr...08/access.html