首届国际理论计算机联合大会（International Joint Conference on Theoretical Computer Science，IJTCS）将于2020年8月17日-21日在线上举行，由北京大学与中国工业与应用数学学会（CSIAM）、中国计算机学会（CCF）、国际计算机学会中国委员会（ACM China Council）联合主办，北京大学前沿计算研究中心承办。  

 

大会简介

 

　　理论计算机不仅是计算机科学的基础，同时也是当前各门类学科发展的关键基础之一。计算机技术的快速发展，使得“计算”一词不仅从经典数学理论中独立出来，也正在通过计算的视角促进其他学科的发展，形成了本世纪重要的学科交叉融合热点。

 

　　本次大会的主题为“理论计算科学领域的最新进展与焦点问题”，诚邀国内外多位计算机科学领域的专家学者，旨在交流与讨论理论计算科学最新的发展，同时对理论计算科学领域分支中备受关注的算法博弈论、区块链技术、多智能体强化学习、机器学习理论和量子计算等问题进行深入的研究与探讨，以此来进一步推动理论计算科学的发展。

 

　　此外，本次大会特别开设了青年博士论坛、女性学者论坛与本科生科研论坛，旨在从不同角度、面向不同群体，促进交流、共同分享，为大家带来精彩的学术盛宴。

 

组织单位简介

 

       作为大会的发起和承办单位，北京大学前沿计算研究中心（PKU CFCS）成立于2017年12月，为北京大学新体制科研机构，立足国际计算机学科前沿，与世界顶尖高校及科研机构深度合作，在计算理论、人工智能等多个领域的交叉方向展开前沿探索，创立具有国际一流影响力的计算理论科学研究中心；创建宽松自由的国际化学术环境，助力青年科学家成长为计算机学科世界一流的学者；并以“图灵人才培养计划”为代表，建立国际先进的计算科学及相关交叉学科人才培养机制，为国家新时代科技和教育发展培养引领未来的卓越人才。中心网站：https://cfcs.pku.edu.cn/index.htm

 

　　中心理论团队目前由邓小铁、孔雨晴、程宽组成，关注计算机以及各种与计算机交叉领域的基础理论问题，具体研究内容包括计算经济学、复杂度理论、信息论、随机性理论等。理论组网站：https://econcs.pku.edu.cn/

 

　　中国工业与应用数学学会（CSIAM）成立于1990年，宗旨是建立数学界和工业企业界之间的联系、促进数学工作者和工程技术人员以及企业管理人员紧密结合、解决经济发展和技术进步面临的各种数学问题、促进应用数学研究与教育的发展。学会网站：https://www.csiam.org.cn/

 

　　中国计算机学会（CCF）成立于1962年，宗旨是为本领域专业人士的学术和职业发展提供服务；推动学术进步和技术成果的应用；进行学术评价，引领学术方向；促进技术和产业应用一线的交流和互动；对在学术和技术方面有突出成就的个人、企业和单位给予认可和表彰。学会网站：https://www.ccf.org.cn/

 

　　The ACM China Council was formed by ACM to recognize and support ACM members and activities in China. It comprises a cross section of the computer science and information technology community committed to increasing the visibility and relevance of ACM in China. 委员会网站：https://www.acm.org/about-acm/acm-china-council

 

大会主席

John Hopcroft
中国科学院外籍院士、北京大学访问讲席教授

林惠民
中国科学院院士、中国科学院软件研究所专家

 

大会联合主席

邓小铁
北京大学教授

　　

顾问委员会主席

高  文
中国工程院院士、北京大学教授

梅  宏
中国科学院院士、CCF理事长

张平文
中国科学院院士、CSIAM理事长、北京大学教授

 

程序委员会主席

陈翌佳
复旦大学教授

邓小铁
北京大学教授

傅育熙
上海交通大学教授

李  建
清华大学副教授

陆品燕
上海财经大学教授

 

大会特邀报告人

Silvio Micali
美国麻省理工大学教授，图灵奖得主，密码学、信息安全等领域的知名学者，区块链协议Algorand负责人

Jin-Yi Cai
美国威斯康星麦迪逊大学教授，理论计算科学领域的知名学者，曾获得美国总统青年学者奖和Alfred P. Sloan Research Fellow 等荣誉

Jun Wang
英国伦敦大学学院教授、阿兰·图灵研究所Turing Fellow，多智能体强化学习、博弈论、机制设计等领域的知名学者

 

大会概览

Tracks

Algorithmic Game Theory
算法博弈论
Blockchain
区块链
Multi-agent Reinforcement Learning
多智能体强化学习
Learning Theory
机器学习理论
Quantum Computing
量子计算
Machine Learning and Formal Method
机器学习与形式化方法

　　

Forums

Young PhD Forum
青年博士论坛
Female Forum
女性学者论坛
Undergraduate Research Forum
本科生科研论坛

　　

Some Topics

Recent Developments in the Classification Program of Counting Problems
计数问题分类算法的最新进展
Optimal Mechanism Design: Simplicity and Robustness
最优的机制设计：简易性与鲁棒性
Truthful Mechanisms for Location Games of Dual-Role Facilities
双重角色的设施选址博弈的真实机制设计
Evaluation for Game AI Algorithms
人工智能博弈算法的评估
Online Search and Pursuit-evasion in Robotics
机器人的在线搜寻与追逃问题
Model-based Multi-agent Reinforcement Learning
基于模型的多智能体强化学习
Learning Multi-agent Cooperation
多智能体合作学习
Solution Concepts in Multi-agent Reinforcement Learning
多智能体强化学习中的解概念
Improved Bounds for the Sunflower Lemma
太阳花引理的改进

　　

欢迎投稿

 

投稿链接：https://econcs.pku.edu.cn/ijtcs2020/Call_for_Papers.htm

接受12页的 extended abstract，以及1页的 abstract

重要日期：
投稿截止：延期至2020年7月20日
录用通知：2020年7月25日
终稿提交：2020年8月2日
会议举办：2020年8月17日-21日

 

欢迎注册

 

注册链接：https://econcs.pku.edu.cn/ijtcs2020/Registration.htm

　　

联系人

 

大会赞助、合作等信息，请联系：IJTCS@pku.edu.cn