The third annual International Applied Category Theory Conference (ACT2020) was planned to take place at MIT in Cambridge, Massachusetts USA. However, the global COVID-19 pandemic made the prospect of holding a large in-person meeting impossible, and the event was thus held completely online. Holding the talks online had the new benefits of reducing carbon footprint, being inclusive of people from more parts of the world, and producing higher-quality video talks, which have been posted online for posterity. The ACT2020 contributions spanned a broad spectrum of application areas, including databases, dynamical systems, functional programming, game theory, lenses, neuroscience, probabilistic programming, natural language processing, quantum mechanics, and cyberphysical systems. Papers featured a broad range of categorical techniques. Papers in this Proceedings volume represents about half of the talks presented at ACT2020. Being included in the proceedings vs. not is not an indication of talk quality, but instead almost exclusively the choice of the authors, e.g. to present work already published elsewhere.
翻译：第三次年度国际应用类别理论会议(ACT2020)计划在美国马萨诸塞州剑桥麻省麻省理工学院举行,但是,全球COVID-19大流行病使得不可能举行大型面对面会议的前景变得不可能,因此,该活动完全在线举行。在线举行会谈具有减少碳足迹的新好处,包括来自世界更多地区的人,并制作高质量的视频谈话,这些谈话已经发布在网上,供后代使用。ACT2020的贡献涉及广泛的应用领域,包括数据库、动态系统、功能性编程、游戏理论、镜头、神经科学、概率性编程、自然语言处理、量子力学和网络物理系统。论文介绍了广泛的绝对技术。本议事录卷中的文件大约代表了2020世纪澳大利亚首都地区演讲的一半。被纳入议事录并不表示谈话质量,而是几乎完全包括作者的选择,例如介绍其他地方已经出版的工作。
相关内容
微信扫码咨询专知VIP会员