PROGRAM (NOTE: the timezone is JST (Japan Standard Time) = UTC+9)
Days: Monday, September 14th Tuesday, September 15th Wednesday, September 16th
Monday, September 14th
View this program: with abstractssession overviewtalk overview
19:50-20:00 Opening
Chair:
Keisuke Nakano (Tohoku University, Japan)
21:30-23:00 Session 2
Chair:
Koji Nakazawa (Nagoya University, Japan)
21:30 | The Bang Calculus Revisited (abstract) |
22:00 | Declarative Pearl: The Distributive λ-Calculus (abstract) |
22:30 |
Tuesday, September 15th
View this program: with abstractssession overviewtalk overview
Wednesday, September 16th
View this program: with abstractssession overviewtalk overview
22:00-23:15 Session 6
Chair:
Zhenjiang Hu (Peking University, China)
22:00 | On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming (abstract) |
22:30 | System Description: Lang-n-Change -- A Tool for Transforming Languages (abstract) |
23:00 |
23:15-23:30 Closing
Chair:
Keisuke Nakano (Tohoku University, Japan)