Loading article…
ACM理論計算機科学シンポジウム（STOC）は、理論計算機科学分野の学術会議です。STOCは1969年以来毎年開催されており、通常は5月か6月に行われます。この会議は、Association for Computing Machineryの特別利益団体SIGACTが主催しています。STOCの採択率は、1970年から2012年までの平均で31%、2012年は29%でした。[ 1 ]
フィッチ（1996）が書いているように、STOCとIEEEの年次会議であるFOCS（コンピュータサイエンスの基礎に関するシンポジウム）は、理論計算機科学における2つのトップ会議とみなされており、[ 2 ]広く見れば、「理論計算機科学全体にわたる最高の研究のためのフォーラムであり、理論計算機科学の研究者の間で幅を広げ、コミュニティを維持するのに役立つ」。ジョンソン（1984）は、STOCとFOCSへの定期的な参加を、理論計算機科学者のいくつかの決定的な特徴の1つとして挙げている。
理論計算機科学における優れた論文に贈られるゲーデル賞は、STOCと国際オートマタ・言語・プログラミングコロキウム（ICALP）で交互に授与されます。また、計算機科学の基礎への優れた貢献に贈られるクヌース賞は、STOCとFOCSで交互に授与されます。
STOCは2003年以来、会議で最も質の高い論文を表彰するために、1つ以上の最優秀論文賞[ 3 ]を授与してきました。さらに、STOCで最も優れた学生単独論文の著者には、ダニー・ルーウィン最優秀学生論文賞が授与されます[ 4 ] 。この賞は、インターネット企業Akamai Technologiesの共同創設者であり、 9月11日の同時多発テロの最初の犠牲者の1人であった、アメリカ系イスラエル人の数学者で起業家のダニエル・M・ルーウィンにちなんで名付けられました[ 5 ]。
STOCは1969年5月5日から7日にかけて、アメリカ合衆国カリフォルニア州マリーナ・デル・レイで初めて開催されました。会議議長はパトリック・C・フィッシャーで、プログラム委員会はマイケル・A・ハリソン、ロバート・W・フロイド、ジュリス・ハートマニス、リチャード・M・カープ、アルバート・R・マイヤー、ジェフリー・D・ウルマンで構成されていました。[ 6 ]
STOCの初期の重要な論文には、 NP完全性の概念を導入したCook（1971）が含まれる（ Cook–Levinの定理も参照）。
STOCは、1992年、1994年、2002年、2008年、2017年にカナダで、2001年にギリシャで、2020年と2021年にバーチャル/オンライン会議として、 2022年にイタリアで開催されました。1969年から2023年までのその他の会議はすべて米国で開催されました。STOCは、1993年、1996年、1999年、2003年、2007年、2011年、2015年、2019年、2023年にFederated Computing Research Conference (FCRC)の一部として開催されました。
