継続フェスティバル

↓という、継続(continuation)に関するinformalなワークショップがあるそうです。Academicな研究者に限らず、応用寄りの人も来てくれるとうれしいみたいです。

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 as well as meet each other and strengthen the community.