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.).
|Mats Rooth||Cornell University||Title: Continuation Semantics in Linguistics||(abstract)|
|Koji Nakazawa||Kyoto University||Title: Continuations and Classical Logic||(abstract)|
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).
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.
|Submission:||July 2, 2011 (extended)|
|Notification:||August 8, 2011|
|Tutorial:||September 23, 2011 (Evening)|
|Workshop:||September 24, 2011 (One day)|
|Yukiyoshi Kameyama||University of Tsukuba, Japan|
|Chung-chieh Shan||Cornell University (Temporal)|
|Kenichi Asai||Ochanomizu University, Japan|
|Malgorzata Biernacka||University of Wroclaw, Poland|
|Hugo Herbelin||PPS - pi.r2, INRIA, France|
|Julia Lawall||University of Copenhagen, Denmark|
|Tiark Rompf||EPFL, Switzerland|
|Chung-chieh Shan (Chair)||Cornell University (Temporal)|
|Hayo Thielecke||University of Birmingham, UK|