首届国际理论计算机联合大会（International Joint Conference on Theoretical Computer Science，IJTCS）于2020年8月17日-22日在线上举行，主题为“理论计算机科学领域的最新进展与焦点问题”，由北京大学与中国工业与应用数学学会（CSIAM）、中国计算机学会（CCF）、国际计算机学会中国委员会（ACM China Council）联合主办，北京大学前沿计算研究中心承办。

开幕式直播邓小铁主任致辞

会议由图灵奖得主、北京大学前沿计算研究中心主任John Hopcroft教授，中国科学院院士、中国科学院软件研究所专家林惠民教授担任大会主席；CSIAM区块链专业委员会主任、北京大学邓小铁教授担任大会联合主席；中国工程院院士、北京大学高文教授，中国科学院院士、CSIAM理事长、北京大学张平文教授，中国科学院院士、CCF理事长梅宏教授担任顾问委员会主席；特邀图灵奖得主、Algorand创始人、美国麻省理工大学Silvio Micali教授，美国威斯康星麦迪逊大学蔡进一教授，悉尼科技大学应明生教授，英国伦敦大学学院汪军教授，中国科学院计算技术研究所孙晓明研究员，上海财经大学陆品燕教授带来精彩的学术报告。

大会主席、部分特邀报告人开幕式致辞

作为线上举行的首届国际理论计算机联合大会，共设7个分论坛，主题覆盖计算理论科学中备受关注的算法博弈论、区块链技术、多智能体强化学习、机器学习理论、量子计算、机器学习与形式化方法和算法与复杂性等领域，并特别开设了女性学者论坛、青年博士论坛、本科生科研论坛等三个分论坛及两场闭门会议。

此次会议由来自海内外的知名专家学者分享和展示各领域的最新研究成果以及前沿发展动向。其中“区块链技术”分论坛是中国工业与应用数学学会区块链专业委员会（CSIAM Activity Group on Blockchain）正式成立以来参与组织的第一个国际性学术会议，共邀请到包括图灵奖得主、算法联合创始人、多种国际计算机领域奖项获得者、国际顶级计算领域学会会员、知名专家学者等共计11位区块链领域顶级专家学者分别从区块链技术的发展、基于多条区块链交互的新环境下的跨链交易、重写的可执行语义框架K、秘密共享技术、加密货币清洗交易的直接证据、如何看待加密货币、递归证明方案技术、智能合约的安全性检测方法和技术、中本聪共识、分布式密钥技术在区块链中的基础性作用及基于区块链的社区医疗管控系统等角度对区块链技术进行了探讨。

会议期间，线上会场和直播间的观众们踊跃提问，积极与讲者交流和互动。此次会议共有71个公开报告，均可免费注册观看，并在两个线上平台、每天13小时进行全程直播，累计超过10万人次观看。

闭幕式上，大会联合主席、CSIAM区块链专委会主任、北京大学邓小铁教授祝贺会议的成功召开，并对大会委员会、特邀嘉宾、所有的报告者与组织者表示诚挚的感谢。中国计算理论领域近十年来快速发展，而且还带动了其它领域的成长，“在前人努力的基础上，中国计算理论终于有了向全世界展示自身实力的时刻”，邓小铁说道。本次大会为计算理论各领域科研工作者的交流合作提供了高水平的学术平台，未来，会议将继续致力于为中国计算理论学者提供机会来展示他们最优秀的成果，进而加强理论研究者彼此之间，以及和市场、社会的相互促进，进一步推动计算理论科学的研究、普及和推广。

闭幕式上组委会主席云合影

学会区块链专业委员会供稿