<div dir="ltr">SECOND Call For Papers <br><br>FLOPS 2018: 14th International Symposium on Functional and Logic Programming<br><br>In-Cooperation with ACM SIGPLAN<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><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>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 Søndergaard            The University of Melbourne, Australia<br>Jacques Garrigue            Nagoya University, Japan<br>Jan Midtgaard                University of Southern 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></div>