<div dir="ltr">=======================<br>Call For Participation<br>=======================<br><br><br>FLOPS 2018: 14th International Symposium on Functional and Logic Programming<br><br>In-Cooperation with ACM SIGPLAN<br>===============================<br><br>      9-11 May, 2018, Nagoya, Japan<br><br>Registration is now open for FLOPS 2018.  <br><br><a href="http://www.sqlab.jp/FLOPS2018/#registration">http://www.sqlab.jp/FLOPS2018/#registration</a><br><br>Deadline for early registration is <br><br>      20 April, 2018.<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>The list of accepted papers is at <br><br>    <a href="http://www.sqlab.jp/FLOPS2018/accepted.html">http://www.sqlab.jp/FLOPS2018/accepted.html</a><br><br>Invited Speakers<br><br>    William E. Byrd (University of Alabama at Birmingham, USA)<br>    Zhenjiang Hu (National Institute of Informatics, SOKENDAI, Japan)<br>    Cédric Fournet (Microsoft) <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 (PC 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 (PC 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 (PC co-chair)<br>John Gallagher                Roskilde University and IMDEA Software Institute (PC co-chair)<br>Makoto Tatsuta                 National Institute of Informatics, Japan (General Chair)<br>Koji Nakazawa                 Nagoya University, Japan (Local Chair)<br><br></div>