CALL FOR PAPERS — FLOPS 2016

Thirteenth International Symposium on
Functional and Logic Programming
Kochi (Shikoku), Japan
Organizers:
Oleg Kiselyov(Tohoku University, Japan, PC co-chair)
Andy King(University of Kent, UK, PC co-chair)
Yukiyoshi Kameyama(University of Tsukuba, Japan, General Chair)
Program Committee Members:
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)
Hsiang-Shang Ko(National Institute of Informatics, Japan)
Julia Lawall(Inria-Whisper, France)
Andres Löh(Well-Typed LLP, UK)
Anil Madhavapeddy(Cambridge University, UK)
Jeff Polakow(USA)
Marc Pouzet(École normale supé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)

Topics (Non-Exhaustive List):
Functional, logic, functional-logic programming
Re-writing systemsFormal methods and model checking
Program transformations and program refinements
Developing programs with the help of theorem provers
or SAT/SMT solvers
Foundations
Language design
Implementation issues: compilation techniques, memory
management, run-time systems
Applications of the above
Real-world case studies, Tools

March 3-6, 2016

Aims and Scope: FLOPS aims to bring together practitioners, researchers and implementors of the broadly understood declarative programming, to discuss mutually interesting
results and common problems: theoretical advances, their implementations in language systems and tools, and applicationsof these systems in practice. The scope includes all aspects ofthe design, semantics, theory, applications, implementations,and teaching of declarative programming. FLOPS specificallyaims to promote cross-fertilization between theory and practiceand among different styles of declarative programming.
FLOPS promotes cross-fertilization among different styles ofdeclarative 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.
There will be an award for the best paper.

Submission Categories: Regular research papers, Systemdescriptions, Declarative pearls

Invited Speakers:Kazunori UEDA (Waseda University)
The exciting time and hard-won lessons ofthe Fifth Generation Computer ProjectAtze Dijkstra (Utrecht University)
UHC: Coping with Compiler Complexity

Proceedings and Special Journal Issue: The proceedings will be published by Springer International Publishing inthe Lecture Notes in Computer Science (LNCS) series, as a
printed volume as well as online in the digital library SpringerLink.
The authors of 4-7 best papers will be invited to submit theextended version of their FLOPS paper to a special issue of thejournal Science of Computer Programming (SCP).

Submission Guidelines: All submissions can be up to 15
pages long including references, in Springer’s LNCS or compatible style. Regular research papers should be supported byproofs 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 via EasyChair.

Important Dates:
Abstract submission . . . . . . . . . . . . . . . . . . . . . September 21, 2015
Paper submission . . . . . . . . . . . . . . . .September 25, 2015 (FIRM)
Author notification . . . . . . . . . . . . . . . . . . . . . . . November 16, 2015

Web Site:
http://www.info.kochi-tech.ac.jp/FLOPS2016/