<div dir="ltr">FIRST Call For Papers <br><br>FLOPS 2018: 14th International Symposium on Functional and Logic Programming<br><br>9-11 May, 2018, Nagoya, Japan<br><br><a href="http://www.sqlab.jp/FLOPS2018/">http://www.sqlab.jp/FLOPS2018/</a><br><br>Writing down detailed computational steps is not the only way of<br>programming. The alternative, being used increasingly in practice, is<br>to start by writing down the desired properties of the result. The<br>computational steps are then (semi-)automatically derived from these<br>higher-level specifications. Examples of this declarative style<br>include functional and logic programming, program transformation and<br>re-writing, and extracting programs from proofs of their correctness.<br><br>FLOPS aims to bring together practitioners, researchers and<br>implementors of the declarative programming, to discuss mutually<br>interesting results and common problems: theoretical advances, their<br>implementations in language systems and tools, and applications of<br>these systems in practice. The scope includes all aspects of the<br>design, semantics, theory, applications, implementations, and teaching<br>of declarative programming.  FLOPS specifically aims to<br>promote cross-fertilization between theory and practice and among<br>different styles of declarative programming.<br><br>Scope<br><br>FLOPS solicits original papers in all areas of the declarative<br>programming:<br> * functional, logic, functional-logic programming, re-writing<br>   systems, formal methods and model checking, program transformations<br>   and program refinements, developing programs with the help of theorem<br>   provers or SAT/SMT solvers;<br> * foundations, language design, implementation issues (compilation<br>   techniques, memory management, run-time systems), applications and<br>   case studies.<br><br>FLOPS promotes cross-fertilization among different styles of<br>declarative programming. Therefore, submissions must be written to be<br>understandable by the wide audience of declarative programmers and<br>researchers. Submission of system descriptions and declarative pearls<br>are especially encouraged.<br><br>Submissions should fall into one of the following categories:<br> * Regular research papers: they should describe new results and will<br>   be judged on originality, correctness, and significance.<br> * System descriptions: they should contain a link to a working<br>   system and will be judged on originality, usefulness, and design.<br> * Declarative pearls: new and excellent declarative programs or<br>   theories with illustrative applications.<br>System descriptions and declarative pearls must be explicitly marked<br>as such in the title.<br><br>Submissions must be unpublished and not submitted for publication<br>elsewhere. Work that already appeared in unpublished or informally<br>published workshops proceedings may be submitted. See also ACM SIGPLAN<br>Republication Policy.<br><br>Proceedings<br><br>The proceedings will be published by Springer International Publishing<br>in the Lecture Notes in Computer Science (LNCS) series, as a printed<br>volume as well as online in the digital library SpringerLink. <br><br>Post-proceedings: The authors of 4-7 best papers will be invited to<br>submit the extended version of their FLOPS paper to a special issue of<br>the journal Science of Computer Programming (SCP).<br><br><br>Important dates<br><br>13 November 2017  (any time zone): Abstract Submission<br>20 November 2017  (any time zone): Submission deadline <br>15 January 2018:                   Author notification<br>9-11 May 2018:                     FLOPS Symposium<br><br>Invited Talks<br><br>To be announced<br><br><br>Submission<br><br>Submissions must be written in English and can be up to 15 pages long<br>including references, though pearls are typically shorter. The<br>formatting has to conform to Springer's guidelines.  Regular research<br>papers should be supported by proofs and/or experimental results. In<br>case of lack of space, this supporting information should be made<br>accessible otherwise (e.g., a link to a Web page, or an appendix).<br><br>Papers should be submitted electronically at<br><a href="https://easychair.org/conferences/?conf=flops2018">https://easychair.org/conferences/?conf=flops2018</a><br><br><br><br>Program Committee<br><br>Andreas Rossberg                        Google, Germany<br>Atsushi Ohori                           Tohoku University, Japan<br>Bruno C. D. S. Oliveira                    The University of Hong Kong, China<br>Carsten Fuhs                            Birkbeck, University of London, UK<br>Chung-chieh Shan                        Indiana University, USA<br>Didier Remy                             INRIA, France<br>Harald Sondergaard                      The University of Melbourne, Australia<br>Jacques Garrigue                        Nagoya University, Japan<br>Jan Midtgaard                           Technical University of Denmark, Denmark<br>Joachim Breitner            University of Pennsylvania, USA<br>John Gallagher                          Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair)<br>Jorge A Navas                           SRI International, USA<br>Kazunori Ueda                           Waseda University, Japan<br>Kenny Zhuo Ming Lu                      School of Information Technology, Nanyang Polytechnic, Singapore<br>María Alpuente                          Universitat Politècnica de València, Spain<br>María Garcia De La Banda                Monash University, Australia<br>Martin Sulzmann                         Karlsruhe University of Applied Sciences, Germany (co-chair)<br>Meng Wang                               University of Kent, UK<br>Michael Codish                          Ben-Gurion University of the Negev, Israel<br>Michael Leuschel                        University of Düsseldorf, Germany<br>Naoki Kobayashi                         University of Tokyo, Japan<br>Nikolaj Bjørner                Microsoft Research, USA<br>Robert Glück                            University of Copenhagen, Denmark<br>Samir Genaim                            Universidad Complutense de Madrid, Spain<br>Siau Cheng Khoo                         National University of Singapore, Singapore<br><br><br>Organizers<br><br>Martin Sulzmann                         Karlsruhe University of Applied Sciences (co-chair)<br>John Gallagher                          Roskilde University and IMDEA Software Institute (co-chair)<br>Makoto Tatsuta                          National Institute of Informatics, Japan   (General Chair)<br>Koji Nakazawa                           Nagoya University, Japan   (Local Chair)<br><br><br><br></div>