| （１４時開始） | |
| 14:00 | 西澤弘毅 (産総研・ＣＶＳ） |
| Simulation Theorems in Multi-valued Modal μ-calculus | |
| 15:00 | 宮部賢志（京大・数理解析） |
| Classification of Index Sets of Functions | |
| 16:00 | 角谷良彦（東大・情報） |
| A Method to Define CPS Transformations |
| 10:00 | 勝股審也（京大・数理解析） |
| TT-lifting and Logical Predicates for Computational Types | |
| 11:00 | 四熊尚方（京大・情報） |
| Proving Noninterference by Fully Complete Translation to the Simply Typed λ-calculus | |
| （昼休み） | |
| 14:00 | 星野直彦（京大・数理解析） |
| Linear Realizability | |
| 15:00 | 白旗優（慶應・商） |
| Allegories Linearly Decomposed | |
| 16:00 | 桜井貴文（千葉大・理） |
| Calculus of Explicit Substitutions as Abstract Machine | |
| （夜 懇親会） |
| 10:00 | 丸山善宏（京大・総人） |
| Stone Duality on Łukasiewicz Many-valued Logic | |
| 11:00 | 浅田和之（京大・数理解析） |
| Towards Call-by-Value Polymorphism | |
| （１２時頃終了） |