(Apologies for multiple copies of this announcement. Please circulate.) CALL FOR PARTICIPATION 15th International Symposium on Functional and Logic Programming (FLOPS 2020) September 14-16, 2020, Online https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ !!! FLOPS 2020 will be held online. Participation will be **free**, !!! !!! but a pre-registration is required by **September 8**. !!! FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. INVITED SPEAKERS ---------------- - Makoto Hamana, Gunma University, Japan - Adam Chlipala, MIT, USA PROGRAM (in UTC+9) ---------------- Please find at: https://easychair.org/smart-program/FLOPS2020/ Note that the timezone of the program is Japan Standard Time (JST = UTC+9). ORGANIZATION ---------------- Keisuke Nakano Tohoku University, Japan (PC Co-Chair, General Chair) Kostis Sagonas Uppsala University, Sweden (PC Co-Chair) Kazuyuki Asada Tohoku University, Japan (Local Co-Chair) Ryoma Sin'ya Akita University, Japan (Local Co-Chair) Katsuhiro Ueno Tohoku University, Japan (Local Co-Chair)