函数式程序设计的顶级国际会议 ICFP 2020 国内直播，免费观看

Posted 2021-04-09 形式化方法研究与实践

各位老师同学，大家好！函数式程序设计的顶级国际会议 ICFP 2020 将于2020年8月24日-26日在线举行。北京大学的程序语言实验室和宾夕法尼亚大学的程序语言团队的学生志愿者将联手负责直播。欢迎大家踊跃参加，免费观看，欣赏函数式语言的奥妙！

bilibili宣传片：https://www.bilibili.com/video/BV1yf4y1X77p

iqiyi宣传片：https://www.iqiyi.com/v_mx40vpmpy8.html

iqiyi直播：https://live.iqiyi.com/177380

bilibili直播（备用）：https://live.bilibili.com/22443709

ICFP 2020组织了很多有趣的社会活动和研讨会，如参加，需要会议注册。

https://icfp20.sigplan.org/track/icfp-2020-social-events

鸣谢：感谢复旦大学彭鑫教授的ICSE2020直播团队的指导。