IEEEコンピュータサイエンス基礎年次シンポジウム(FOCS)は、理論計算機科学分野の学術会議です。FOCSはIEEEコンピュータソサエティが主催しています。
フィッチ(1996)が述べているように、FOCSと、その年次開催のAssociation for Computing Machineryの対応会議であるSTOC(理論計算機科学シンポジウム)は、理論計算機科学において広く見なされる2つのトップカンファレンスとみなされています。これらは「理論計算機科学全体における最高の研究成果を発表する場であり、理論計算機科学の研究者の間で幅広い知識を促進し、コミュニティの結束を維持するのに役立つ」ものです。[ 1 ]ジョンソン(1984)は、FOCSとSTOCへの定期的な参加を、理論計算機科学者の特徴の1つとして挙げています。[ 2 ]
理論計算機科学への優れた貢献に対するクヌース賞は、FOCSとSTOCで交互に授与されます。会議で発表された最高品質の論文には、最優秀論文賞が授与されます。[ 3 ]さらに、FOCSでは、学生が執筆した最優秀論文にマハティ賞が授与されます。
1960年から1965年まではFOCSはスイッチング回路理論と論理設計に関するシンポジウムとして知られており、1966年から1974年まではスイッチングとオートマタ理論に関するシンポジウムとして知られていました。現在の名称は1975年から使用されています。[ 4 ]出版社は、1975年から1987年の会議については、ウェブサイトでSFCSという略称を使用しています。[ 5 ]
会議の表紙には、アルヴィ・レイ・スミスによる「シナプス」というタイトルのアート作品が掲載されている。スミスは2023年にこのオリジナル作品をサイモンズ研究所に寄贈した。[ 6 ]
FOCSは、ごくわずかな例外を除いて、ほぼ北米、特に米国で開催されています。[ 7 ]