コンピュータサイエンスの基礎に関するシンポジウム

IEEEコンピュータサイエンスの基礎に関する年次シンポジウム( FOCS ) は、理論コンピュータサイエンスの分野における学術会議です。FOCS は、 IEEE コンピュータ協会が主催しています。

Fich (1996) が書いているように、FOCS とその年次ASCM (Association for Computing Machinery)対応の STOC ( Symposium on Theory of Computing ) は、広い意味で理論計算機科学の 2 大カンファレンスと考えられています。つまり、これらは「計算理論全体にわたる最高の研究のためのフォーラムであり、計算理論研究者の幅広い知識を促進し、コミュニティの一体化を促進する」ものです。Johnson (1984) は、FOCS と STOC への定期的な出席を、理論計算機科学者のいくつかの特徴の 1 つとして挙げています。

理論計算機科学への優れた貢献に対して贈られるクヌース賞は、 FOCSとSTOCで交互に授与されます。会議で発表された最高品質の論文には最優秀論文賞が授与されます。^[1]さらに、FOCSで執筆された学生の最優秀論文には マハティ賞が授与されます。

1960年から1965年にかけて、FOCSは「スイッチング回路理論と論理設計に関するシンポジウム」として知られ、1966年から1974年にかけては「スイッチングとオートマトン理論に関するシンポジウム」として知られていました。現在の名称は1975年から使用されています。1973年以来、会議録の表紙には、会議で3つの論文も発表したアルヴィ・レイ・スミスによる「シナプス」と題されたアートワークが掲載されています。 ^[2] 出版社は、1975年から1987年の会議のWebサイトで頭字語SFCSを使用しています。^[3]

FOCSは、ほとんど例外なく北米、特に米国でのみ開催されています。^[4]

• 理論計算機科学に関する会議。
• コンピュータ サイエンス カンファレンスのリストには、コンピュータサイエンスの他の学術カンファレンスも含まれています。

• Hartmanis, Juris (1981)、「理論計算機科学の発展に関する考察」、IEEE Annals of the History of Computing、3 (1): 42–51、doi :10.1109/MAHC.1981.10005、hdl : 1813/6244、ISSN  1058-6180。
• Fich, Faith (1996)、「コンピューティング研究の理論に関連するインフラストラクチャの問題」、ACM Computing Surveys、28 (4es): 217–es、doi :10.1145/242224.242502、S2CID  195706843。

• ジョンソン、DS (1984)、「理論計算機科学の系譜：予備報告」、ACM SIGACT News、16 (2): 36–49、doi :10.1145/1008959.1008960、S2CID  26789249。

• 公式サイト
  • FOCS 2024 ウェブサイト
  • FOCS 2023 ウェブサイト
  • FOCS 2022 ウェブサイト
  • FOCS 2021 ウェブサイト
  • FOCS 2020 ウェブサイト
  • FOCS 2019 ウェブサイト
  • FOCS 2018 ウェブサイト
  • FOCS 2017 ウェブサイト
  • FOCS 2016 ウェブサイト
  • FOCS 2015 ウェブサイト
  • FOCS 2014 ウェブサイト
  • FOCS 2013 ウェブサイト
  • FOCS 2012 ウェブサイト
  • FOCS 2011 Web サイト。
  • FOCS 2010 Web サイト。
  • FOCS 2009 Web サイト。
  • FOCS 2008 Web サイト。
  • FOCS 2007 Web サイト。
  • FOCS 2006 Web サイト。
  • FOCS 2005 Web サイト。
• DBLPの FOCS 議事録情報。
• FOCS Best Student Paper Award (Machtey Award) を受賞。
• FOCS/STOC/SODA の引用統計、Piotr Indykおよび Suresh Venkatasubramanian、2007 年 7 月。
• Nelson HF Beebe の FOCS 書誌、2007 年 3 月 23 日。