(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)
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
