ACM SIGPLAN Continuation Workshop 2011
http://logic.cs.tsukuba.ac.jp/cw2011
co-located with ICFP 2011, Tokyo, Japan
Saturday, September 24, 2011
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).
Continuation Workshop 2011 will be informal. We aim at accessible presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. The workshop will have no published proceedings; submissions of short abstracts are preferred.
Invited speakers Mats Rooth, Cornell University Noam Zeilberger, Universite’ Paris 7
In the evening before the workshop (Friday, September 23, 2011, 19:00-21:00), there will be a tutorial session on delimited continuations and their main applications.
Submissions: | July 2, 2011 |
Notification: | August 8, 2011 |
Event: | September 24, 2011-September 24, 2011 |