Welcome to the website of the 18th International Symposium on Functional and Logic Programming (FLOPS 2026) on May 26-May 28, 2026 in Akita, Japan.
FLOPS 2026 is co-sponsored by Special Interest Group on Programming and Programming Languages (SIG-PPL), Japan Society for Software Science and Technology (JSSST), in cooperation with ACM SIGPLAN.
About FLOPS
FLOPS aims to bring together practitioners, researchers and implementers of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming.
Previous FLOPS meetings were held at Fuji Susono (1995), Shonan
Village (1996), Kyoto (1998), Tsukuba (1999),
Tokyo (2001), Aizu
(2002), Nara (2004),
Fuji Susono (2006),
Ise (2008),
Sendai
(2010), Kobe (2012),
Kanazawa (2014),
Kochi (2016), Nagoya
(2018), Akita
online (2020),
and Kyoto
online (2022),
and Kumamoto (2024).
Program Committee
- Ekaterina Komendantskaya (Co-chair), School of Mathematical and Computer Sciences (MACS), Heriot-Watt University
- Mike Sperber (Co-chair), Active Group
-
Sin’ya Ryoma (Co-Chair), Department of Mathematical Science and Electrical-Electronic-Computer Engineering, Akita University
- Reynald Affeldt, AIST
- Davide Ancona, Genova
- Lennart Augustsson, Epic Games
- Mutsunori Banbara, Nagoya University
- Alessandro Bruni, ITU Copenhagen
- William Byrd, University of Alabama at Birmingham
- Pedro Cabalar, Corunna University
- Youyou Cong, Institute of Science Tokyo
- Matthew Daggitt, U. Western Australia
- Jeremy Gibbons, Oxford University
- Andrew D. Gordon, Cogna and University of Edinburgh
- Gopal Gupta, University of Texas
- Jason Hemann, Seton Hall University
- Mirai Ikebuchi, Kyoto University
- Ranjit Jhala, UC San Diego
- Wen Kokke, Well-Typed
- Dale Miller, Inria Saclay - Île-de-France and the Laboratoire d’Informatique (LIX)
- Simon Peyton Jones, Epic Games
- Benjamin Pierce, University of Pennsylvania
- Michael Rawson, Southampton
- Takehide Soh, Kobe University
- Theresa Swift, Universidade Nova de Lisboa
- Enrico Tassi, INRIA
- Ekaterina Verbitskaia, JetBrains Research
- Christina Zeller, Active Group
- Neng-Fa Zhou, Brooklyn College
- Akimasa Morihara, The University of Tokyo