co-located with ICFP 2011, Tokyo, Japan
Saturday, September 24, 2011
http://www.cs.tsukuba.ac.jp/~kam/cw2011/


What's New

  • [2011.09.25] The workshop and the tutorial have finished. Thanks for all the speakers and participants ! 54 people have officially registered to the workshop, and 48 people have participated in the tutorial.
  • [2011.09.19] A booklet (an informal proceedings) is available.
  • [2011.09.18] Tutorial session is held in the evening of Sep. 23.
  • [2011.09.18] Program is available (html and pdf).
  • [2011.09.01] Invited talks are given by Mats Rooth about Continuation Semantics in Linguistics, and by Koji Nakazawa about Continuations and classical logic.
  • [2011.08.08] Title and abstract of invited talks are here.
  • [2011.07.31] To register CW 2011, visit ICFP11 registration page, and check "Continuation (9/24)".
  • Other news can be found here.

General Description

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 speakers

Mats Rooth Cornell University Title: Continuation Semantics in Linguistics (abstract)
Koji Nakazawa Kyoto University Title: Continuations and Classical Logic (abstract)


Tutorial

A tutorial session ``Introduction to Programming with Shift and Reset'' is held in the evening of Friday Sep. 23, 2011 (the day before the workshop) at the IIJ meeting room (close to NII, the place of the ICFP conference).

The tutorial speakers are Kenichi Asai and Oleg Kiselyov. See more details. No registration fee is needed for the tutorials.


Registration and Local Information

Registration to the workshop can be done through ICFP registration site. Registration fee is $90 for students, $150 for members, $180 for non-members.

Local information (conference hall, accommodation, restaurants, sightseeing, and weather etc.) is available at this page.


Important dates

Submission: July 2, 2011 (extended)
Notification: August 8, 2011
Tutorial: September 23, 2011 (Evening)
Workshop: September 24, 2011 (One day)

Organizers

Yukiyoshi Kameyama University of Tsukuba, Japan
Chung-chieh Shan Cornell University (Temporal)
Oleg Kiselyov

Program Committee

Kenichi Asai Ochanomizu University, Japan
Malgorzata Biernacka University of Wroclaw, Poland
Hugo Herbelin PPS - pi.r2, INRIA, France
Oleg Kiselyov
Julia Lawall University of Copenhagen, Denmark
Tiark Rompf EPFL, Switzerland
Chung-chieh Shan (Chair) Cornell University (Temporal)
Hayo Thielecke University of Birmingham, UK

Previous Workshops


Slogan


The Japanese phrase is an idiomatic expression meaning that perseverance through difficulty makes us stronger. Read literally, it says `continuations become/make power'.