Program: Saturday, September 24, 2011

Session 1 (chair: Yukiyoshi Kameyama)
9:00-10:00 Invited Talk: Continuations and classical logic: using continuations as a tool for logic
Koji NAKAZAWA

10:00-10:30 Tea break

10:30-12:00 Session 2 (chair: Tiark Rompf)
10:30-10:45 Visualizing continuations
Naoki TAKASHIMA, Tatsuya NISHIYAMA, Yukiyoshi KAMEYAMA
10:45-11:00 Demonstration of Continuation based C on GCC
Shinji KONO
11:10-11:35 Using delimited continuations for distributed computing with the CIEL engine
Derek G. MURRAY, Malte SCHWARZKOPF, Christopher SMOWTON, Steven SMITH, Anil MADHAVAPEDDY, Steven HAND
11:35-12:00 Swarm: transparent scalability through portable continuations
James DOUGLAS

12:00-13:30 Lunch break

13:30-15:00 Session 3 (chair: Chung-chieh Shan)
13:30-14:30 Invited talk: Continuation semantics in linguistics
Mats ROOTH
14:35-15:00 `Focus movement' by delimited continuations
Daisuke BEKKI, Kenichi ASAI

15:00-15:30 Tea break

15:30-16:45 Session 4, first half (chair: Oleg Kiselyov)
15:30-15:55 Modular rollback through free monads
Conor McBRIDE, Olin SHIVERS, Aaron TURON
15:55-16:20 Yield, the control operator: applications and a conjecture
Roshan P. JAMES, Amr SABRY
16:20-16:45 Correctness of Functions with Shift and Reset
Noriko HIROTA, Kenichi ASAI

16:45-16:55 Short break without tea

16:55-17:45 Session 4, second half (chair: Amr Sabry)
16:55-17:20 The limit of the CPS hierarchy
Josef SVENNINGSSON
17:20-17:45 Non-deterministic search library
Kenichi ASAI, Chihiro KANEKO