CCC旨在促进计算复杂性理论的所有领域的研究，研究资源约束下计算模型的绝对和相对功率。典型的模型包括确定性模型、不确定性模型、随机模型和量子模型；均匀模型和非均匀模型；布尔模型、代数模型和连续模型。典型的资源约束包括时间、空间、随机性、程序大小、输入查询、通信和纠缠；最坏情况和平均情况。其他更具体的主题包括：概率和交互证明系统、不可近似性、证明复杂性、描述复杂性以及密码和机器学习的复杂性理论方面。会议还鼓励其他领域的计算机科学和数学的动机计算复杂性理论。官网链接：http://computationalcomplexity.org/
微信扫码咨询专知VIP会员