コンピュータサイエンスの基礎に関するシンポジウム
IEEEコンピュータサイエンス基礎シンポジウム（FOCS）は、理論計算機科学の分野における学術会議です。FOCSはIEEEコンピュータ学会が主催しています。
Fich (1996) が述べているように、FOCS とその年次開催のAssociation for Computing Machinery主催の STOC ( Symposium on Theory of Computing ) は、広い意味で理論計算機科学における二大カンファレンスであると考えられています。つまり、これらは「計算理論全体にわたる優れた研究成果を発表するフォーラムであり、計算理論研究者の幅広い知識を促進し、コミュニティの結束を維持するのに役立っている」ということです。Johnson (1984) は、FOCS と STOC への定期的な出席を、理論計算機科学者を定義するいくつかの特徴の 1 つとして挙げています。
受賞歴
理論計算機科学への優れた貢献に対して贈られるクヌース賞は、FOCSとSTOCで交互に授与されます。会議で発表された最高品質の論文には、最優秀論文賞が授与されます。[1]さらに、 FOCSで発表された学生論文の中で最優秀の論文には、マハティ賞が授与されます。
歴史
FOCSは1960年から1965年までは「スイッチング回路理論と論理設計に関するシンポジウム（Symposium on Switching Circuit Theory and Logical Design）」 、1966年から1974年までは「スイッチングとオートマトン理論に関するシンポジウム（Symposium on Switching and Automata Theory）」として知られていました。現在の名称は1975年から使用されています。1973年以降、会議録の表紙には、アルヴィ・レイ・スミスによる「シナプス（synapse）」と題された作品が掲載されており、スミスはこの会議で3本の論文も発表しています。[2]出版社は、1975年から1987年までの会議について、ウェブサイトでSFCSという略称を使用しています。[3]
位置
FOCSは、ほとんど例外なく、北米、特にアメリカ合衆国でのみ開催されています。[4]
| 年 | 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副会長） | シャフィ・ゴールドワッサー（議長）、ジュリア・チュジョイ、コンスタンティノス・ダスカラキス、イリット・ディヌール、ピョートル・インディク、ライアン・オドネル |
参照
- 理論計算機科学に関する会議。
- コンピュータサイエンス会議のリストには、コンピュータサイエンスの他の学術会議が含まれています。
参考文献
- ハートマニス、ジュリス（1981）、「理論計算機科学の発展に関する考察」、IEEE Annals of the History of Computing、3（1）：42-51、doi：10.1109/MAHC.1981.10005、hdl：1813/6244、ISSN 1058-6180。
- フィッチ、フェイス（1996）、「コンピューティング研究理論に関連するインフラストラクチャの問題」、ACMコンピューティングサーベイ、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。
注記
- ^ "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」。
- ^ Alvy Ray Smith の Synapse FOCS カバー。
- ^ 1975、…、1987 IEEE Webサイト
- ^ IEEEコンピュータサイエンス基礎シンポジウム（FOCS）
外部リンク
- 公式サイト
- FOCS 2025ウェブサイト
- 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 日。
