国际理论计算机科学大会,顶级会议推荐：计算机科学理论会议5条

在学术圈，国际顶尖会议往往汇集了该领域的最新研究状态和未来发展方向。

STOC 2021

STOC 是理论计算机科学领域最顶级的国际会议，在整个计算机科学领域享有崇高的声望，属于公认难度最高的会议之一。该会议由ACM 算法和计算理论兴趣小组(Special Interest Group in Algorithms and Computation Theory，SIGACT)提供资助。

会议全称：ACM Symposium on the Theory of Computing

时间地点：6月21-25日，线上召开

会议级别：CCF A类

大会官网：STOC 2021

SODA 2022

SODA是由ACM、工业与应用数学学会(SIAM)两大国际学术组织联合主办，与STOC、FOCS一起被公认为是算法领域的三大顶级学术会议，在整个计算机科学领域享有崇高的声望。

会议全称：ACM-SIAM Symposium on Discrete Algorithms

时间地点：2022年1月9-12日，威斯汀亚历山大古城(美国)

会议级别：CCF A类

大会官网：SODA 2022

CAV 2021

CAV致力于硬件和软件系统的计算机辅助形式化分析方法的理论和实践的进步，涵盖实用的验证工具以及实现这些工具所需的算法和技术。

会议全称：Computer Aided Verification

时间地点：5月10-13日，线上召开

会议级别：CCF A类

大会官网：CAV 2021

FOCS 2022

FOCS是计算机科学领域最顶级的国际会议，在整个理论计算机科学领域享有崇高的声望，并被公认属于难度最高的会议之一，与ACM计算理论年会(STOC)并称理论计算机科学两大顶会。

会议全称：IEEE Annual Symposium on Foundations of Computer Science

时间地点：2022年1月1日，耶鲁大学(美国)

会议级别：CCF A类

大会官网：FOCS 2022

LICS 2021

LICS每年一届，是理论计算机科学领域最顶级的国际会议之一，成果代表着理论计算机科学的前沿，自1986年在剑桥大学首次举办至2020年，仅9篇签署国内第一单位的论文在LICS发表。

会议全称：IEEE Symposium on Logic in Computer Science

时间地点：6月29日-7月2日，线上召开

会议级别：CCF A类

大会官网：LICS 2021

声明：本文整理转载仅仅是出于传播信息的需要，并不意味着代表本网站观点或证实其内容的真实性；如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，请与我们接洽。