IEEE计算机科学基础年度研讨会(FOCS)是一个理论计算机科学领域的学术会议。FOCS是由IEEE计算机协会赞助的。
正如菲什(1996)所写的，FOCS和美国计算机协会STOC年度协会(计算理论研讨会)被认为是理论计算机科学中的两个顶级会议，从广义上来说：它们“是整个计算理论中一些最佳工作的论坛，促进了计算研究者理论的广度，并有助于保持社区的团结。”定期参加FOCS和STOC是约翰逊（1984）包括其他理论计算机科学家的几个定义特征之一。
克努斯理论计算机科学杰出贡献奖在FOCS和STOC交替颁发。在大会上展示的最高质量的作品被授予最佳论文奖[1]。此外，马赫提奖颁发给FOCS最好的学生论文。
1960-1965年，FOCS被称为转换电路理论和逻辑设计研讨会，1966-1974年被称为转换和自动机理论研讨会。现在的名字从1975年开始使用。自1973年以来，会议记录的封面上有一幅名为synapse的艺术品，作者是阿尔维·雷·史密斯，他也是会议三篇论文的作者。[2]
除了个别例外，FOCS几乎完全是在北美举办，尤其是在美国[3]。
^https://web.archive.org/web/20221025130242/http://jeffhuang.com/best_paper_awards.html#focs.
^Alvy Ray Smith synapse FOCS cover..
^IEEE Symposium on Foundations of Computer Science (FOCS).
暂无