<div dir="ltr">============================================================================<br>Call For Papers<br><br>FLOPS 2024: 17th International Symposium on Functional and Logic Programming<br>============================================================================<br><br>May 15-17, 2024, Kumamoto, Japan<br><br><a href="https://urldefense.com/v3/__https://conf.researchr.org/home/flops-2024__;!!IBzWLUs!RLLJkgTedYbEgvc8bEALg3TWLhbctioZijdEJfpbCxqhkjAs0Xt34l6f-RHO30vH0jZwjBRNZv31p-PfBhTMTWRoiCQhEB_bldxx$">https://conf.researchr.org/home/flops-2024</a><br><br>FLOPS aims to bring together practitioners, researchers and<br>implementers of 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 promote<br>cross-fertilization between theory and practice and among different<br>styles of declarative programming.<br><br>Previous FLOPS meetings were held at Fuji Susono (1995), Shonan<br>Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu<br>(2002), Nara (2004), Fuji Susono (2006), Ise (2008), Sendai (2010),<br>Kobe (2012), Kanazawa (2014), Kochi (2016), Nagoya (2018), Akita<br>(2020, online), and Kyoto (2022, online).<br><br><br>*** Scope ***<br><br>FLOPS solicits original papers in all areas of declarative programming:<br><br>* functional, logic, functional-logic programming, rewriting systems,<br>  formal methods and model checking, program transformations and<br>  program refinements, developing programs with the help of theorem<br>  provers or SAT/SMT solvers, verifying properties of programs using<br>  declarative programming techniques;<br><br>* foundations, language design, implementation issues (compilation<br>  techniques, memory management, run-time systems, etc.), applications<br>  and case studies.<br><br>FLOPS promotes cross-fertilization among different styles of<br>declarative programming. Therefore, research papers must be written to<br>be understandable by a wide audience of declarative programmers and<br>researchers. In particular, each submission should explain its<br>contributions in both general and technical terms, clearly identifying<br>what has been accomplished, explaining why it is significant for its<br>area, and comparing it with previous work. Submission of system<br>descriptions and declarative pearls are especially encouraged.<br><br><br>*** Submission ***<br><br>Submissions should fall into one of the following categories:<br><br>* Regular research papers: they should describe new results and will<br>  be judged on originality, correctness, and significance.<br><br>* System descriptions: they should describe a working system and will<br>  be judged on originality, usefulness, and design.<br><br>* Declarative pearls: new and excellent declarative programs or<br>  theories with illustrative applications.<br><br>System descriptions and declarative pearls must be explicitly marked<br>as such in the title. Submissions must be unpublished and not<br>submitted for publication elsewhere. Work that already appeared in<br>unpublished or informally published workshops proceedings may be<br>submitted. Submissions must be written in English and can be up to 15<br>pages excluding references, though system descriptions and pearls are<br>typically shorter. The formatting has to conform to Springer’s LNCS<br>guidelines. FLOPS 2024 will employ a lightweight double-blind reviewing process.<br><br>For more details, see<br><br>  <a href="https://urldefense.com/v3/__https://conf.researchr.org/home/flops-2024__;!!IBzWLUs!RLLJkgTedYbEgvc8bEALg3TWLhbctioZijdEJfpbCxqhkjAs0Xt34l6f-RHO30vH0jZwjBRNZv31p-PfBhTMTWRoiCQhEB_bldxx$">https://conf.researchr.org/home/flops-2024</a><br><br>Papers should be submitted electronically at<br><br>  <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=flops2024__;!!IBzWLUs!RLLJkgTedYbEgvc8bEALg3TWLhbctioZijdEJfpbCxqhkjAs0Xt34l6f-RHO30vH0jZwjBRNZv31p-PfBhTMTWRoiCQhELd36ouJ$">https://easychair.org/conferences/?conf=flops2024</a><br><br><br>*** Publication ***<br><br>The proceedings will be published by Springer in the LNCS series. We<br>expect to invite the authors of a selection of the best papers to<br>submit an extended version of their FLOPS paper to a special issue<br>which will appear in the journal Science of Computer Programming.<br><br><br>*** Important Dates ***<br><br>All deadlines are Anywhere on Earth (AoE = UTC-12).<br><br>* Abstract due: Wed 6th Dec 2023<br>* Submission deadline: Wed 13th Dec 2023<br>* Notifications: Wed 31st Jan 2024<br>* Final versions due: Wed 28th Feb 2024<br><br><br>*** Organizers ***<br><br>Shin-ya Katsumata         National Institute of Informatics, JP (General Chair)<br>Jeremy Gibbons        University of Oxford, UK (PC Co-Chair)<br>Dale Miller                INRIA Saclay and LIX/IPP, FR (PC Co-Chair)<br>Naohiko Hoshino          Sojo University, JP (Local Chair)<br><br>*** FLOPS sponsorship ***<br><br>This symposium is sponsored by JSSST-SIGPPL (<a href="https://urldefense.com/v3/__http://ppl.jssst.or.jp/__;!!IBzWLUs!RLLJkgTedYbEgvc8bEALg3TWLhbctioZijdEJfpbCxqhkjAs0Xt34l6f-RHO30vH0jZwjBRNZv31p-PfBhTMTWRoiCQhEHxz-ujx$">http://ppl.jssst.or.jp/</a>).<br><br>*** Contact Address ***<br><br><a href="mailto:flops2024@easychair.org">flops2024@easychair.org</a><br></div>