FLOPS 2020: 15TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING
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

20:00-21:00 Session 1: Keynote Talk 1
20:00
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL (abstract, slides, video)
21:30-23:00 Session 2
21:30
The Bang Calculus Revisited (abstract)
22:00
Declarative Pearl: The Distributive λ-Calculus (abstract)
22:30
Declarative Pearl: Deriving Monadic Quicksort (abstract, slides, video)
Tuesday, September 15th

View this program: with abstractssession overviewtalk overview

20:00-21:30 Session 3
20:00
On restriction of cut in cyclic proof system for symbolic heaps (abstract, slides, video)
20:30
Polynomial time over the reals with parsimony (abstract, video)
21:00
Session Types without Sophistry (System Description) (abstract, slides)
22:00-23:00 Session 4: Keynote Talk 2
22:00
Performance-Scaling Challenges in Formal Verification with Proof Assistants (abstract, video)
Wednesday, September 16th

View this program: with abstractssession overviewtalk overview

20:00-21:30 Session 5
20:00
An efficient composition of bidirectional programs by memoization and lazy update (abstract, slides)
20:30
Language-Integrated Query with Nested Data Structures and Grouping (abstract, slides, video)
21:00
Implementing, and keeping in check, a DSL used in e-learning (abstract, slides)
22:00-23:15 Session 6
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, slides, video)