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

IEEEコンピュータサイエンス基礎シンポジウム（FOCS）は、理論計算機科学の分野における学術会議です。FOCSはIEEEコンピュータ学会が主催しています。

フィッチ（1996）が述べているように、FOCSとその年次開催機関である計算理論学会（ Association for Computing Machinery ）のSTOC（Symposium on Theory of Computing）は、理論計算機科学における二大会議として広く考えられており、「計算理論の研究者間の幅広い交流を促進し、コミュニティの結束を維持するのに役立つ、計算理論全体にわたる優れた研究成果を発表するフォーラムである」[ 1 ]。ジョンソン（1984）は、 FOCSとSTOCへの定期的な出席を理論計算機科学者の特徴の一つとして挙げている[ 2 ] 。

受賞歴

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

歴史

1960年から1965年までは、FOCSは「スイッチング回路理論と論理設計に関するシンポジウム（Symposium on Switching Circuit Theory and Logical Design）」、1966年から1974年までは「スイッチングとオートマトン理論に関するシンポジウム（Symposium on Switching and Automata Theory）」として知られていました。現在の名称は1975年から使用されています。[ 4 ]出版社は、1975年から1987年までの会議については、ウェブサイトでSFCSという略称を使用しています。[ 5 ]

会議の表紙には、アルヴィ・レイ・スミスによる「シナプス」と題されたアートワークが掲載されており、スミスは2023年にオリジナルのアートワークをシモンズ研究所に寄贈しました。[ 6 ]

位置

FOCSは、ほとんど例外なく、北米、特にアメリカ合衆国でのみ開催されています。[ 7 ]

年 PCと地方議長 位置 運営委員会 時の試練賞委員会
1975 ダニエル・ローゼンクランツ（PC議長）、ユージン・ローラー（地方議長） バークレー
1976 マイケル・フィッシャー（PC議長）、ミーラ・ブラットナー（地方議長） ヒューストン
1977 ポール・ヤング（PC議長）、ジョン・サベージ（地方議長） 摂理
1978 ナンシー・リンチ（PC議長）、ウィリアム・ラウンズ（地方議長） アナーバー
1979 ラオ・コサラジュ(PC 議長)、ロランド・ペイナド(地方議長) サンファン、プエルトリコ
1980 シラキュース
1981 アーノルド・ローゼンバーグ（PC議長）、パトリック・フィッシャー（地方議長） ナッシュビル
1982 シカゴ
1983 ローレンス・スナイダー（PC議長）、ピーター・ダウニー（地方議長） ツーソン
1984 シンガーアイランド
1985 ロバート・タージャン（PC議長）、ユージン・ルクス（地方議長） ポートランド
1986 ジョン・ホップクロフト（PC議長）、チャールズ・ラックオフ（地方議長） トロント アショク・チャンドラ（TCMF議長）
1987 トム・レイトン（PC議長）、シーモア・ギンズバーグ（地方議長）、ミン・デ・ファン（地方議長） ロサンゼルス 「
1988 ホワイトプレーンズ
1989 ツヴィ・ガリル（PC議長）、ジョン・ライフ（地方議長） リサーチトライアングルパーク クリストス・パパディミトリウ(TCMF 議長)
1990 ミハリス・ヤナカキス(PC 議長)、ジョナサン・ターナー(地方議長) セントルイス 「
1991 マイク・シプサー（PC議長）、トム・レイトン（地方議長）、アロック・アガーワル（地方議長） サンファン、プエルトリコ 「
1992 マイケル・ルビー（PC議長）、ゲイリー・ミラー（地方議長） ピッツバーグ
1993 レオニダス・J・ギバス（PC議長）、アンドレイ・ブローダー（地方議長） パロアルト
1994 Shafi Goldwasser (PC 議長)、Sorin Istrail (ローカル議長) サンタフェ
1995 プラバカール・ラガヴァン（PC議長）、アディティ・ダガット（地方議長）、 ルネ・ペラルタ（地方議長） ミルウォーキー
1996 マーティン・トンパ（PC議長）、カール・スミス（地方議長） バーリントン
1997 アンナ・カーリン（PC議長）、ヴィクトル・ミレンコビッチ（地方議長） マイアミビーチ
1998 ラジーヴ・モトワニ、マイケル・ミッツェンマッハー（ローカル議長） パロアルト
1999 ポール・ビーム（PC議長）、ピオトル・バーマン（地方議長） ニューヨーク
2000 Avrim Blum（PC議長）、Marek Chrobak（地方議長）、Tao Jiang（地方議長） レドンドビーチ
2001 モニ・ナオール（PC議長）、ローレンス・ラーモア（地方議長）、ヴォルフガング・バインラスベガス
2002 バーナード・チャゼル（PC議長）アルヴィンド・グプタ（地方議長） バンクーバー、カナダ
2003 マドゥ・スーダン（PC議長）、マイケル・ミッツェンマッハー（地方議長） ケンブリッジ
2004 エリ・アップファル（PC議長）、ジュゼッペ・F・イタリアーノ（地方議長） ローマ、イタリア
2005 エヴァ・タルドス（PC議長）、アヴリム・ブルム（地方議長）、アヌパム・グプタ（地方議長） ピッツバーグ
2006 サンジーヴ・アローラ、サティシュ・ラオ（ローカル議長） バークレー
2007 アリスター・シンクレア（PC議長）、フィリップ・クライン（地方議長）、アンナ・リシアンスカヤ（地方議長）、クレア・マシュー（地方議長） 摂理
2008 R. Ravi（PC議長）、Sudipto Guha（地方議長）、Sanjeev Khanna（地方議長）、Sampath Kannan（地方議長） フィラデルフィア ポール・ビーム（TCMF議長）
2009 Dan Spielman (PC 議長)、David Shmoys (総合共同議長)、Milena Mihail (地方議長)、Prasad Tetali (地方議長) アトランタ 「
2010 ルカ・トレヴィサン（PC議長）、ラリー・ラーモア（地方議長） ラスベガス 「
2011 ラファイル・オストロフスキー（PC議長）、マレク・クロバック（地方議長）、ニール・ヨン（地方議長）、 パームスプリングス 「
2012 ティム・ラフガーデン（PC議長）、レベッカ・ライト（ローカル議長）、リサ・チャン（ローカル議長）、ボアズ・バラク（ワークショップ議長）、アヴリム・ブルム（ワークショップ議長） ニューブランズウィック デビッド・シュモイズ（TCMF議長）
2013 Omer Reingold (PC 議長)、Christos Papadimitriou (ローカル議長)、Umesh Vazirani (ローカル議長)、Moses Charikar (ワークショップ議長)、Chris Umans (ワークショップ議長) バークレー 「
2014 Boaz Barak（PC議長）、Rebecca Wright（ローカル議長）、Lisa Zhang（ローカル議長）、Sanjeev Khanna（ワークショップ議長）、Kunal Talwar（ワークショップ議長） フィラデルフィア 「
2015 ヴェンカテサン・グルスワミ(PC 議長)、クリスティン・ケイン(地方議長)、プラサド・ラガベンドラ、ルカ・トレヴィサンバークレー ラファイル・オストロフスキー（TCMF議長）
2016 Irit Dinur (PC 議長)、Rebecca Wright (ローカル議長)、Lisa Zhang (ローカル議長)、Alexandr Andoni (ワークショップ議長)、Aleksander Mądry (ワークショップ議長) ニューブランズウィック 「
2017 Chris Umans (PC 議長)、Andrew Jan (ローカル議長)、Prasad Raghavendra (ローカル議長)、Aleksander Mądry (ワークショップ議長)、James R. Lee (ワークショップ議長) バークレー 「
2018 ミッケル・ソルップ（PC議長）、アディ・ロゼン（地域議長）、ソフィー・ラプランテ（地域共同議長）、アレッサンドロ・ルオンゴ（地域共同議長）、ロバート・クラインバーグ（ワークショップ議長）、ジェームズ・R・リー（ワークショップ議長） パリ、フランス Yuval Rabani（TCMF議長）、Shang-Hua Teng（TCMF副議長）、 Avrim Blum、Shafi Goldwasser、Rafail Ostrovsky、Toniann Pitassi
2019 デビッド・ザッカーマン（PC議長）、マイケル・ディニッツ（地方議長）、マリア・フロリナ・バルカン（ワークショップ議長）、ロバート・クラインバーグ（ワークショップ議長） ボルチモア 「 ポール・ビーム、アラン・ボロディン、ウリエル・ファイギ、モニカ・ヘンツィンガー、ヨハン・ハスタッド(議長)、ミハリス・ヤナカキス(初代賞)
2020 Sandy Irani (PC 議長)、Debmalya Panigrahi (ローカル議長)、Kamesh Munagala (ローカル議長)、Maria-Florina Balcan (ワークショップ議長)、Alexander Sherstov (ワークショップ議長) バーチャル（ローリー/ダーラムで開催予定） 「 ポール・ビーム（司会）、ウリエル・ファイギ、アンナ・カーリン、イシェイ・マンスール、クレア・マチュー、ルカ・トレヴィサン
2021 Nisheeth Vishnoi（PC議長）、Alexandra Kolla（地方/財務議長）、Vincent Cohen-Addad（ワークショップ議長）、Alexander Sherstov（ワークショップ議長） バーチャル（デンバーで開催予定） 「 ラッセル・インパリアッツォ、ヤエル・タウマン・カライ、アンナ・カーリン、イシェイ・マンスール、マイケル・サックス、ルカ・トレヴィサン(議長)
2022 ジェラニ・ネルソン（PC委員長）、アレクサンドラ・コラ（地方委員長）、ロン・ゲ（財務委員長）、ヴィンセント・コーエン＝アダッド（ワークショップ委員長）、ヘンリー・ユエン（ワークショップ委員長） デンバー Shang-Hua Teng（TCMF議長）、Venkatesan Guruswami（TCMF副議長）、 Avrim Blum、Shafi Goldwasser、Rafail Ostrovsky、Toniann Pitassi、Yuval Rabaniラッセル・インパグリアッツォ、ヤエル・タウマン・カライ、マイケル・サックス（議長）、アリスター・シンクレア、エヴァ・タルドス、デビッド・ザッカーマン
2023 アミット・サハイ(PC 議長)、Shubhangi Saraf (PC 共同議長)、Thomas Vidick (PC 共同議長)、Alexandra Kolla (全体議長)、Pravesh Kothari (ワークショップ議長)、Henry Yuen (ワークショップ議長) サンタクルーズ 「 Jin-Yi Cai、Faith Ellen、Leonard Schulman、Alistair Sinclair、Éva Tardos、David Zuckerman（議長）
2024 Santosh Vempala (PC 委員長)、Aravindan Vijayaraghavan (全体委員長)、Lev Reyzin (全体委員長)、Mohsen Ghaffari (ワークショップ委員長)、Pravesh Kothari (ワークショップ委員長) シカゴ ラン・カネッティ（TCMF会長）、ロッコ・セルヴェディオ（TCMF副会長） ジンイー・カイ(チェア)、ジュリア・チュジョイ、コンスタンティノス・ダスカラキス、フェイス・エレン、シャフィ・ゴールドワッサー、レナード・シュルマン
2025 ラン・ラズ（PC議長）、ロテム・オシュマン（PC共同議長）、クレメント・カノンヌ（一般議長）、トロイ・リー（財務議長）、モフセン・ガファリ（ワークショップ議長）、ダクシタ・クラナ（ワークショップ議長） シドニー、オーストラリア ラン・カネッティ（TCMF会長）、ロッコ・セルヴェディオ（TCMF副会長） シャフィ・ゴールドワッサー（議長）、ジュリア・チュジョイ、コンスタンティノス・ダスカラキス、イリット・ディヌール、ピョートル・インディク、ライアン・オドネル

参照

参考文献

  1. ^ Fich, Faith (1996)、「コンピューティング研究の理論に関連するインフラストラクチャの問題」、ACM Computing Surveys、28 (4es): 217–es、doi : 10.1145/242224.242502、S2CID  195706843
  2. ^ジョンソン、DS（1984）、「理論計算機科学の系譜：予備報告」、ACM SIGACT News、16（2）：36–49、doi：10.1145/1008959.1008960、S2CID 26789249 
  3. ^ "AAAI、ACL、CHI、CIKM、CVPR、FOCS、FSE、ICCV、ICML、ICSE、IJCAI、INFOCOM、KDD、MOBICOM、NEURIPS、NSDI、OSDI、PLDI、PODS、S&P、SIGCOMM、SIGIR、SIGMETRICS、SIGMOD、SODA、SOSP、STOC、UIST、VLDB、で最優秀論文賞を受賞WWW」。
  4. ^ハートマニス、ジュリス（1981）、「理論計算機科学の発展に関する考察」、IEEE Annals of the History of Computing、3（1）：42-51、doi：10.1109/MAHC.1981.10005、hdl：1813/6244、ISSN 1058-6180 
  5. ^ 1975年、…、 1987年IEEE Webサイト
  6. ^ Goldwasser, Shafi (2023年2月). 「所長からの手紙」 . Simons Institute . 2025年12月22日閲覧。
  7. ^ IEEEコンピュータサイエンス基礎シンポジウム（FOCS）
「 https://en.wikipedia.org/w/index.php?title=Symposium_on_Foundations_of_Computer_Science&oldid=1328992461」より取得