[TYPES/announce] FLOPS 2020: Call for (free) Participation

[Keisuke Nakano]

(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)