Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014)

June 4 (Wed) - 6 (Fri), 2014
Kanazawa, Japan


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:

Submissions should fall into one of the following categories:

System descriptions and declarative pearls must be explicitly marked as such in the title.

Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. Authors are required to use LaTeX2e and the Springer llncs class file, available at:

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:

flops2014(domain of mail address: at