[Caml-list] Continuation Workshop 2011: Call for participation

[Caml-list] Continuation Workshop 2011: Call for participation

[oleg]

       ACM SIGPLAN Continuation Workshop 2011
	 http://logic.cs.tsukuba.ac.jp/cw2011/
        co-located with ICFP 2011, Tokyo, Japan
             Saturday, September 24, 2011

       Call for Participation
       Early Registration deadline is August 15!


Continuations have been discovered many times, which highlights their
many applications in programming language semantics and program
analysis, linguistics, logic, parallel processing, compilation and web
programming.  Recently, there has been a surge of interest
specifically in delimited continuations: new implementations (in
Scala, Ruby, OCaml, Haskell), new applications (to probabilistic
programming, event-driven distributed processing), substructural and
constructive logics, natural language semantics.

The goal of the Continuation Workshop is to make continuations more
accessible and useful -- to practitioners and to researchers in
various areas of computer science and outside computer science. We
wish to promote communication among the implementors and users in many
fields. We would like to publicize the applications of continuations
in academic (logic, linguistics) and practical fields and various
programming languages (OCaml, Haskell, Scala, Ruby, Scheme, etc.).

Invited talks
-------------
Mats Rooth, Cornell University
http://conf.ling.cornell.edu/mr249/


From Logic to Effects and Back
Noam Zeilberger, Universite' Paris 7
http://www.pps.jussieu.fr/~noam/


Tutorials
---------
In the evening before the workshop, there will be a tutorial session
``Introduction to Programming with Shift and Reset''

Tutorial date and time: Friday, September 23, 2011, 19:00-21:00 
Tutorial place: IIJ (next to NII, the place of the ICFP conference)
Tutorial speakers: Kenichi Asai and Oleg Kiselyov


Presentations
-------------

Non-Deterministic Search Library
Kenichi ASAI, Chihiro KANEKO

`Focus movement' by delimited continuations
Daisuke BEKKI

Swarm: transparent scalability through portable continuations
James DOUGLAS

Correctness of Functions with Shift and Reset
Noriko HIROTA, Kenichi ASAI

Yield, the control operator: applications and a conjecture
Roshan P. JAMES, Amr SABRY

Demonstration of Continuation based C on GCC
Shinji KONO

Modular rollback through free monads
Conor McBRIDE, Olin SHIVERS, Aaron TURON

Using delimited continuations for distributed computing with the CIEL engine
Derek G. MURRAY, Malte SCHWARZKOPF, Christopher SMOWTON, 
Steven SMITH, Anil MADHAVAPEDDY, Steven HAND

The limit of the CPS hierarchy
Josef SVENNINGSSON

Visualizing continuations
Naoki TAKASHIMA, Yukiyoshi KAMEYAMA