PROGRAM
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)
20:00-21:00 Session 1: Keynote Talk 1
Chair:
Keisuke Nakano (Tohoku University, Japan)
20:00 | Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL (abstract) |
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 | Declarative Pearl: Deriving Monadic Quicksort (abstract) |
Tuesday, September 15th
View this program: with abstractssession overviewtalk overview
20:00-21:30 Session 3
Chair:
Shin-Cheng Mu (Academia Sinica, Taiwan)
20:00 | On restriction of cut in cyclic proof system for symbolic heaps (abstract) |
20:30 | Polynomial time over the reals with parsimony (abstract) |
21:00 | Session Types without Sophistry (System Description) (abstract) |
22:00-23:00 Session 4: Keynote Talk 2
Chair:
Konstantinos Sagonas (Uppsala University, Sweden)
22:00 | Performance-Scaling Challenges in Formal Verification with Proof Assistants (abstract) |
Wednesday, September 16th
View this program: with abstractssession overviewtalk overview
20:00-21:30 Session 5
Chair:
Konstantinos Sagonas (Uppsala University, Sweden)
20:00 | An efficient composition of bidirectional programs by memoization and lazy update (abstract) |
20:30 | Language-Integrated Query with Nested Data Structures and Grouping (abstract) |
21:00 | Implementing, and keeping in check, a DSL used in e-learning (abstract) |
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 | An SMT-Based Concolic Testing Tool for Logic Programs (System Description) (abstract) |
23:15-23:30 Closing
Chair:
Keisuke Nakano (Tohoku University, Japan)