Theory of Computation

理論計算機科学分野の二大最高峰カンファレンス

1. STOC (Symposium on Theory of Computing)

• 主催: ACM (SIGACT)
• 2026年予定: 第58回が6月22日から26日まで、アメリカのソルトレイクシティで開催されます。
• 特徴: 最近は「TheoryFest」として開催されており、論文発表だけでなく、招待講演やワークショップなどを盛り込んだ大規模な祭典となっています。2026年には「AIは理論を構築できるか？」といった最新トピックのワークショップも予定されています。

2. FOCS (Foundations of Computer Science)

• 主催: IEEE Computer Society
• 2026年予定: 第67回が11月8日から11日まで、アメリカのニューヨークで開催される予定です。
• 特徴: STOCと並び、計算複雑性理論、暗号論、アルゴリズム理論などの分野で最も権威のある会議です。