Programme

 
The workshop will start on June 24 in the afternoon, and will end on June 25 in the evening.

June 24
14:30-14:40 Opening
14:40-15:40 M. Flatt - Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection - invited - (pdf)
15:40-16:05 A. Stump, H. Eades Iii and R. McCleeary - Reconsidering Intuitionistic Duality (pdf)
16:05-16:35 Coffee break
16:35-17:15 B. Geron and H. Geuvers - Continuation calculus (pdf)
17:15-17:55 Y. Kakutani and D. Kimura - Induction by Coinduction and Control Operators in Call-by-Name (pdf)
June 25
09:00-10:00 T. Streicher - A Model of Control Operators in Coherence Spaces giving rise to a new model of ZF - invited - (pdf)
10:00-10:25 T. Litak - The modalized Heyting calculus: modality-guarded continuations (pdf)
10:25-10:40 Coffee break
10:40-11:20 F. Aschieri - Strong Normalization for HA + EM1 by Non-Deterministic Choice (pdf)
11:20-12:00 G. Birolo - Interpreting a Classical Geometric Proof with Interactive Realizability (pdf)
12:00-13:40 Lunch
13:40-14:20 H. Eades and A. Stump - Hereditary Substitution for the lambda-Delta Calculus (pdf)
14:20-15:00 M. Biernacka, D. Biernacki, S. Lenglet and M. Materzok - Proving termination of evaluation for System F with control operators (pdf)
15:00-15:30 Coffee break
15:30-16:10 D. Ilik - Type Directed Partial Evaluation for Level-1 Shift and Reset (pdf)
16:10-16:50 J. Laird - Combining and Relating Control Effects and their Semantics (pdf)
16:50-17:00 Closing