Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)

March 4-6, 2016, Kochi, Japan

Photos are provided by 公益財団法人高知県観光コンベンション協会


FLOPS 2016 is over. We had 73 participants! Thank you.

Symposium Proceendings: Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings (LNCS 9613)

The following slides and videos are available:

Next FLOPS: FLOPS 2018:



Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness.

FLOPS aims to bring together practitioners, researchers and implementors of the 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), and Kanazawa (2014).

Important dates


FLOPS solicits original papers in all areas of the declarative programming:

FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged.

Submissions should fall into one of the following categories:

  1. Regular research papers: they should describe new results and will be judged on originality, correctness, and significance.
  2. System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design.
  3. Declarative pearls: new and excellent declarative programs or theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked as such in the title.

Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy.

The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. The proceedings of the previous meetings (FLOPS 1999, 2001, 2002, 2004, 2006, 2008, 2010, 2012 and 2014) were published as LNCS 1722, 2024, 2441, 2998, 3945, 4989, 6009, 7294, and 8475.

Invited Talks


FLOPS 2016 will have 3 tutorial sessions during the conference. Details will be announced soon.


To participate in FLOPS 2016 conference (including tutorials), please make a registration at

which is managed by Nippon Travel Agency (NTA) West Japan MICE Sales Division. You can also book a room through the registration process.


Call for Posters and Demonstrations

If you wish to present a poster at FLOPS, please send the plain text abstract by e-mail to flops2016 at by January 11, 2016. The abstract should include the title, the names of the authors and their affiliation, along with enough details to judge its scope and relevance. We will announce the accepted submissions on January 25, 2016. The format of the poster will be announced at that time.
Important Dates:


Mar 4

09:45 Opening, best-paper award

10:00 Invited talk (1h10) [Chair: Oleg Kiselyov]

11:10 Break (0h30)

11:40 Sess 1: From proofs to programs (2x0h30) [Chair: Eijiro Sumii]

12:40 Lunch (1h50) (Not served, by oneself)

14:30 Sess 2: Systems (2x0h30) [Chair: Andy King]

15:30 Break (0h30)

16:00 Sess 3: Pearls (2x0h30) [Chair: Keisuke Nakano]

17:00 Break and Posters

Mar 5

09:30 Invited talk (1h10 min) [Chair: Oleg Kiselyov]

10:40 Break (0h30)

11:10 Sess 4: Logic Programming for type systems (2x0h30) [Chair: Andy King]

12:10 Lunch (1h50) (Not served, by oneself)

14:00 Sess 5: Reasoning about performance (2x0h30) [Chair: Akimasa Morihata]

15:00 Break (0h30)

15:30 Tutorial 1 (1h30)

17:00 End

18:30 Banquet

Mar 6

09:30 Sess 6: Generic specifications (2x0h30) [Chair: Jacques Garrigue]

10:30 Break (0h30)

11:00 Sess 7: Declarative programming with algebra (2x0h30) [Chair: Yukiyoshi Kameyama]

12:00 Excursion and Lunch, 2h00

14:00 Tutorial 2 (1h30)

15:30 Break (0h30)

16:00 Tutorial 3 (1h30)

17:30 End

Accepted Papers

Ki Yung Ahn and Andrea Vezzosi. Executable Relational Specifications of Polymorphic Type Systems using Prolog
Markus Triska. The Boolean Constraint Solver of SWI-Prolog: System Description
Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers and Andrew Pond. Proof Relevant Corecursive Resolution
Jay McCarthy, Burke Fetscher, Max New, Daniel Feltey and Robert Bruce Findler. A Coq Library For Internal Verification of Running-Times
Akimasa Morihata. Incremental Computing with Abstract Data Structures
Wouter Swierstra and Joao Alpuim. From proposition to program: embedding the refinement calculus in Coq
André Van Delft and Anatoliy Kmetyuk. Declarative Programming with Algebra
Ian Mackie and Shinya Sato. An interaction net encoding of Godel's System T
Arthur Blot, Pierre-Evariste Dagand and Julia Lawall. From Sets to Bits in Coq
Jeremy Yallop, David Sheets and Anil Madhavapeddy. Declarative foreign function binding through generic programming
Praveen Narayanan, Jacques Carette, Wren Romano, Chung-Chieh Shan and Robert Zinkov. Probabilistic inference by program transformation in Hakaru (system description)
Francisco Javier López-Fraguas, Manuel Montenegro and Juan Rodriguez-Hortala. Polymorphic Types in Erlang Function Specifications
Rémy Haemmerlé, Pedro Lopez-Garcia, Umer Liqat, Maximiliano Klemen, John Gallagher and Manuel V. Hermenegildo. A Transformational Approach to Parametric Accumulated-cost Static Profiling
Taus Brock-Nannestad. Space-efficient Planar Acyclicity Constraints --- A Declarative Pearl


Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines.

Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix).

Papers should be submitted electronically at:
< >
before the submission deadline.
For any question concerning the scope of the Symposium or the submission process, please contact the program chairs.

FLOPS-cfp.txt [6K]
Call For Presentations, in plain text


Andy King University of Kent, UK   (PC Co-Chair)
Oleg Kiselyov Tohoku University, Japan   (PC Co-Chair)
Yukiyoshi Kameyama University of Tsukuba, Japan   (General Chair)
Kiminori Matsuzaki Kochi University of Technology, Japan   (Local Chair)

Program Committee

Andreas Abel Gothenburg University, Sweden
Lindsay Errington USA
Makoto Hamana Gunma University, Japan
Michael Hanus CAU Kiel, Germany
Jacob Howe City University London, UK
Makoto Kanazawa National Institute of Informatics, Japan
Andy King University of Kent, UK   (PC Co-Chair)
Oleg Kiselyov Tohoku University, Japan   (PC Co-Chair)
Hsiang-Shang Ko National Institute of Informatics, Japan
Julia Lawall Inria-Whisper, France
Andres Löh Well-Typed LLP, UK
Anil Madhavapeddy Cambridge University, UK
Jeff Polakow USA
Marc Pouzet École normale supérieure, France
Vítor Santos Costa Universidade do Porto, Portugal
Tom Schrijvers KU Leuven, Belgium
Zoltan Somogyi Australia
Alwen Tiu Nanyang Technological University, Singapore
Sam Tobin-Hochstadt Indiana University, USA
Hongwei Xi Boston University, USA
Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, USA

Journal Publication

The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP).
They will be reviewed under SCP standards.

Venue and Local Arrangements

Kochi University of Technology (Eikokuji campus)

You can find travel information and local arrangement information here.

Previous Symposia


Japan Society for Software Science and Technology (JSSST), Special Interest Group on Programming and Programming Languages (SIG-PPL)

In Cooperation With

Asian Association for Foundation of Software (AAFS)
Association for Logic Programming (ALP)

Contact address

flops2016 at dot jp