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

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
Makoto Hamana (Gunma University, Japan)
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL (abstract, slides, video)
21:30-23:00 Session 2
Chair:
Koji Nakazawa (Nagoya University, Japan)
21:30
Antonio Bucciarelli (Université Paris-Diderot, France)
Delia Kesner (Université Paris-Diderot, France)
Andrés Ezequiel Viso (Universidad Nacional de Quilmes, Argentina)
Alejandro Rios (Universidad de Buenos Aires, Argentina)
The Bang Calculus Revisited (abstract)
22:00
Beniamino Accattoli (Inria & LIX, École Polytechnique, France)
Alejandro Díaz-Caro (CONICET-UBA Instituto de Ciencias de la Computación & Universidad Nacional de Quilmes, Argentina)
Declarative Pearl: The Distributive λ-Calculus (abstract)
22:30
Shin-Cheng Mu (Academia Sinica, Taiwan)
Tsung-Ju Chiang (National Taiwan University, Taiwan)
Declarative Pearl: Deriving Monadic Quicksort (abstract, slides, video)
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
Kenji Saotome (Nagoya University, Japan)
Koji Nakazawa (Nagoya University, Japan)
Daisuke Kimura (Toho University, Japan)
On restriction of cut in cyclic proof system for symbolic heaps (abstract, slides, video)
20:30
Emmanuel Hainry (Université de Lorraine, LORIA, France)
Damiano Mazza (CNRS, UMR 7030, LIPN, Université Paris 13, Sorbonne Paris Cité, France)
Romain Péchoux (CNRS, Inria and Université de Lorraine, LORIA, France)
Polynomial time over the reals with parsimony (abstract, video)
21:00
Oleg Kiselyov (Tohoku University, Japan)
Keigo Imai (Gifu University, Japan)
Session Types without Sophistry (System Description) (abstract, slides)
22:00-23:00 Session 4: Keynote Talk 2
Chair:
Konstantinos Sagonas (Uppsala University, Sweden)
22:00
Adam Chlipala (MIT CSAIL, United States)
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
Chair:
Konstantinos Sagonas (Uppsala University, Sweden)
20:00
Kanae Tsushima (National Institute of Informatics, Japan)
Bách Nguyễn Trọng (National Institute of Informatics, Japan)
Robert Glück (University of Copenhagen, Denmark)
Zhenjiang Hu (Peking University, China)
An efficient composition of bidirectional programs by memoization and lazy update (abstract, slides)
20:30
Rui Okura (University of Tsukuba, Japan)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Language-Integrated Query with Nested Data Structures and Grouping (abstract, slides, video)
21:00
Oliver Westphal (University of Duisburg-Essen, Germany)
Janis Voigtländer (University of Duisburg-Essen, Germany)
Implementing, and keeping in check, a DSL used in e-learning (abstract, slides)
22:00-23:15 Session 6
Chair:
Zhenjiang Hu (Peking University, China)
22:00
Matteo Cimini (University of Massachusetts Lowell, United States)
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming (abstract)
22:30
Benjamin Mourad (University of Massachusetts Lowell, United States)
Matteo Cimini (University of Massachusetts Lowell, United States)
System Description: Lang-n-Change -- A Tool for Transforming Languages (abstract)
23:00
Sophie Fortz (University of Namur, Belgium)
Fred Mesnard (université de la Réunion, France)
Etienne Payet (LIM, Université de La Réunion, Reunion)
Gilles Perrouin (University of Namur, Belgium)
Wim Vanhoof (University of Namur, Belgium)
German Vidal (MiST, VRAIN, Universitat Politecnica de Valencia, Spain)
An SMT-Based Concolic Testing Tool for Logic Programs (System Description) (abstract, slides, video)
23:15-23:30 Closing
Chair:
Keisuke Nakano (Tohoku University, Japan)