在学术圈，国际顶尖会议往往汇集了该领域的最新研究状态和未来发展方向。
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
声明：本文整理转载仅仅是出于传播信息的需要，并不意味着代表本网站观点或证实其内容的真实性；如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，请与我们接洽。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
