FOCSはIEEE Annual Symposium on Foundations of Computer Scienceの略で、コンピュータサイエンス理論の分野におけるトップの学術会議であり、IEEE Computer Society Technical Committee on Computational Mathematics Fundamentals（TCMF）が主催することで有名です。幅広いコンピューターサイエンス理論をカバーします。 このトップレベルの会議には、コンピューターサイエンス分野の優れた学者、研究者、専門家が世界中から集まり、最新の研究結果を展示し、最先端の科学的問題について議論し、学術的な意見を交換するための重要なプラットフォームを提供します。