2021年8月16-19日，第二届国际理论计算机联合大会（International Joint Conference on Theoretical Computer Science，IJTCS）于线上线下交互举行。大会由北京大学和中国计算机学会（CCF）、国际计算机学会中国委员会（ACM China Council）联合主办，9728太阳集团（CSIAM）协办，北京大学前沿计算研究中心承办。

开幕式部分嘉宾合影留念

图灵奖得主、北京大学前沿计算研究中心主任 John Hopcroft 教授任大会主席；9728太阳集团（CSIAM）区块链专委会主任、北京大学邓小铁教授任大会联合主席；中国工程院院士、北京大学高文教授，中国科学院院士、9728太阳集团（CSIAM）理事长、北京大学张平文教授，中国科学院院士、中国计算机学会（CCF）理事长梅宏教授任顾问委员会主席；中国计算机学会理论计算机科学专委会主任、中国科学院计算技术研究所孙晓明研究员任大会程序委员会主席。图灵奖得主 Manuel Blum 教授等多位国际知名专家学者通过视频的方式表达了对大会的美好祝愿。

多位嘉宾通过视频致辞

开幕式在北京大学静园五院举行，大会联合主席、北京大学邓小铁教授向莅临会议的嘉宾、海内外专家学者和听众们表示热烈欢迎。他对大会能够持续举办表示欣喜，并对第二届 IJTCS 提出了更高的期望：打造中国理论计算机学术会议品牌，为国内理论计算机领域的专家学者和广大同学们提供高水平的国际交流和学习的平台，推动中国科学家在理论计算机领域朝着国际一流的方向不断成长。

邓小铁开幕致辞

近年来，作为计算机科学的基础，理论计算研究领域在蓬勃发展的同时获得了越来越多研究者和大众的关注。本届国际理论计算机联合大会共设10个分论坛、5个特色论坛，主题覆盖理论计算科学中备受关注的算法博弈论、区块链技术、多智能体强化学习、机器学习理论、量子计算、机器学习与形式化方法、算法与复杂性和计算经济学等领域，由来自海内外的近百位知名专家和青年学者展示和分享各领域的最新研究成果和前沿发展动向。

开幕式上，两本由CSIAM区块链专委会成员参与编撰的区块链领域的著作进行了新书发布。

《区块链应用指南：方法与实践》由CSIAM区块链专委会主任、北京大学邓小铁教授，北京师范大学别荣芳教授和中国电子技术标准化研究院唐晓丹研究员共同编著，总结了区块链应用实践的进展和经验，研究了关键应用理论和方法，为读者呈现了一个体系化的区块链应用全景，是一本兼具广度和深度的区块链应用指南。

北京大学邓小铁（左三）、北京师范大学别荣芳（左二）、中国电子技术标准化研究院唐晓丹（左四）、电子工业出版社徐蔷薇（左一）共同为《区块链应用指南：方法与实践》的发布揭幕

《区块链导论》由CSIAM区块链专委会委员、北京大学陈钟教授和国家信息中心信息化和产业发展部主任单志广主编，作为一本导论类教材，综合全面地介绍了区块链技术的发展、特点、原理和应用，填补了区块链高等教育领域的空白。

国家信息中心信息化和产业发展部主任单志广（左一）、CSIAM区块链专委会委员、火链科技研究院执行院长李慧（左二）、哈尔滨工业大学许志峰（左三）共同为《区块链导论》的发布揭幕

大会在6个线上平台进行每天14小时的全程同步直播，全网累计超过万余人观看，线下会场和线上直播间的观众们对报告踊跃提问，与演讲者热烈交流与互动。

图灵奖获得者，卡内基梅隆大学讲席教授、北京大学访问讲席教授 Manuel Blum 和 Lenore Blum 夫妇为大会带来了《有意识的图灵机》特邀报告，并领衔主持大会新设立的 CTM（有意识的图灵机）本科生科研论坛。多位来自北京大学的本科生带来了他们在相关方向做出的精彩科研成果。Blum 教授夫妇称赞同学们做出的高质量工作令人惊喜，甚至可以媲美国际顶尖高校的部分博士学生。

Manuel Blum、Lenore Blum教授作特邀报告

本届大会还特设区块链工业分论坛，主题为“区块链技术在工业界的影响与应用”。论坛由CSIAM区块链专委会副秘书长、苏州科技大学程郁琨教授主持，出席论坛的嘉宾包括：国网区块链科技有限公司研发负责人陈帅，CSIAM区块链专委会委员、火链科技研究院执行院长李慧，矩阵元高级副总裁刘姝，中国信通院工业互联网与物联网所业务发展部主任马超和CSIAM区块链专委会委员、溪塔科技创始人兼 CEO 王晓亮，大家共同探讨了区块链技术、密码学、分布式计算、博弈论、市场设计等对工业界的影响和在工业界的相关应用。

区块链工业分论坛在程郁琨（右一）的主持下在线举办

此外，本届大会新增区块链CSIAM分论坛，上海交通大学博士研究生张梦倩担任分论坛主席，清华大学博士后王旭、湖南大学博士研究生乔运成和北京理工大学博士研究生傅正堂介绍了他们在区块链领域做出的最新研究成果，内容涵盖可信区块识别、信用评估、隐私保护、智能合约、联盟链等。邓小铁教授对大家的工作给予了肯定，表示对区块链领域欣欣向荣的发展充满信心，并期待CSIAM和IJTCS可以建立更加深入、持久的合作。

王旭作题为《Framework and algorithm of honest block identification in blockchain》的报告

乔运成作题为《Block-CES: Multi-institution collaborative credit evaluation system based on blockchain》的报告

傅正堂作题为《An intelligent electric vehicle charging system for new energy companies based on consortium blockchain》的报告

邓小铁为区块链CSIAM分论坛主席张梦倩颁发证书

此外，大会还特设女性学者论坛、青年博士论坛、CFCS 理论计算青年教师论坛和计算经济工业论坛等另外4个特色论坛，分别展示了理论研究中活跃的女性力量，未来可期的科研新星，北大前沿计算研究中心青年教师的无限潜力，以及计算经济学领域中工业界与学术界的思维碰撞与启发。

孔雨晴主持女性学者论坛

本届大会新设立的 CFCS 理论计算青年教师论坛同样获得了热烈反响。青年教师们集中介绍了他们在理论计算各领域做出的最新研究成果，内容横跨计算复杂性、量子信息与计算、计算经济学、人工智能理论等。大会主席 John Hopcroft 教授对老师们的工作给予了高度评价，“相信有这些优秀青年教师的加入，未来一定能培养出中国理论计算研究的杰出人才”。

青年教师在论坛报告中

闭幕式上，各分论坛主席对会议组织情况进行了总结，并希望大会未来能够作为理论计算领域的旗舰会议长期举办。最后，大会联合主席邓小铁教授做总结致辞，祝贺大会成功举办，并对组委会、特邀报告专家学者和所有志愿者表示诚挚的感谢。邓小铁教授尤其对多位近期回国在各高校任职的年轻教师给予了高度评价，对理论计算界欣欣向荣的成长充满信心。

本次大会为理论计算各领域科研工作者的交流合作提供了高水平的学术平台。未来，大会将继续致力于加强理论研究者间的交流，促进理论计算领域和市场、社区间的合作，为推动理论计算科学的研究、普及和推广作出积极贡献。

线上闭幕式部分组委会成员合影