TCS会議およびワークショップのリスト

90

できるだけ多くのTCS関連の会議やワークショップのリストを作成する際に助けを求めたいと思います。これを行うための私の主な動機は、より多くの理論的な場所のブログ報道の可能性を計画することです-これらのイベントに参加する特派員を見つけることですそれを超えて、このようなリストが誰もが理論の地位のより良い感覚を与えることを願っています。

いくつかの「明白な」会議を含む回答で質問をシードします。回答を自由に編集したり、独自の回答を投稿したりできます。

会議の標準的な略語、会議名、主題、追加のメモ。

コミュニティWikiを対象としています。

soft-question big-list conferences

— アーロンスターリング
ソース

7

+1-私はこれを長い間尋ねたかったのですが、カベが言及した理由のためにそうしませんでした。あなたが持っている今、私はそれを維持することに賛成票を投じます。

— ハックベネット

5

役に立つリソースになると思います。唯一の問題は、人々が会議をランク付けしようとした場合、または特定の会議が範囲内かどうかについて議論する場合です。

— アルテムKaznatcheev

3

私の提案では、これはP対NPCの投稿のように構成する必要があります。その点で、他のコメントに投稿された他のすべての回答の結合を維持する1つのマスター「受け入れられた」回答があります。

— スレシュVenkatさん

3

@Marcos：1つの可能性は、リストがここで安定したら、コミュニティブログにページを作成できることです。私はここで、静的なブログページを議論するためにメタスレッドを開始しました：meta.cstheory.stackexchange.com/questions/1297/...

— アーロン・スターリング

8

マイクロソフトリサーチは、実際には、ここで会議のこのリストをした：academic.research.microsoft.com/...。

— Gopi

85

全般：

STOC、コンピューティング理論に関するACMシンポジウム
FOCS、コンピューターサイエンスの基礎に関するIEEEシンポジウム
ICALP EATCSオートマトン、言語、プログラミングに関する国際コロキウム
（A：アルゴリズム、複雑さ、B：論理、セマンティクス、C：ネットワーク）
FOSSACS、ソフトウェア科学と計算構造の基礎
STACS、コンピューター科学の理論的側面に関するシンポジウム
MFCS、コンピューターサイエンスの数学的基礎
FSTTCS、ソフトウェア技術と理論計算機科学の基礎
COCOON、コンピューティングおよびコンビナトリクス会議
ITCS、理論計算機科学の革新
CSR、ロシアのコンピューターサイエンス
ISAAC、アルゴリズムと計算に関する国際シンポジウム
TAMC、計算モデルの理論と応用
COCOA、コンビナトリアル最適化とアプリケーションに関する会議
FM、形式的方法
FCT、計算理論の基礎
ラテン、理論情報学に関するラテンアメリカシンポジウム
SOFSEM、コンピューターサイエンスの理論と実践の最新動向に関する会議
TASE、ソフトウェア工学の理論的側面

CC：複雑さ

CCC、計算の複雑さに関するIEEE会議
シロッコ、構造情報とコミュニケーションの複雑さに関する国際コロキウム

CG：計算幾何学

CR：暗号化とセキュリティ

DB：データベース理論

SIGMOD / PODS、データベースシステムの原理に関するACMシンポジウム（どちらも理論を受け入れますが、SIGMODはより広い範囲を持ちます）
ICDT、データベース理論に関する国際会議
VLDB、非常に大規模なデータベース
AMW、アルベルトメンデルソンデータ管理の基礎に関する国際ワークショップ

DC：分散、並列、クラスター計算

DM：離散数学と組み合わせ論

DS：データ構造とアルゴリズム

FL：オートマタ理論と形式言語

GT：アルゴリズムゲーム理論

LG：学習理論

COLT、学習理論に関する会議
ALT、アルゴリズム学習理論

LO：コンピューター科学の論理

PL：プログラミング言語

POPL、プログラミング言語の原則
ICFP、関数型プログラミングに関する国際会議
ETAPS、ソフトウェアの理論と実践に関する欧州共同会議（FOSSACS、ESOP、POSTを含む、個別のエントリを参照）
ESOP、プログラミングに関する欧州シンポジウム
MSFP、数学的に構造化された関数型プログラミング
MFPS、プログラミングセマンティクスの数学的基礎

SC：記号計算

定理証明

量子

RO：ロボティクス

WAFR、ロボット工学のアルゴリズム基盤に関するワークショップ。

計算生物学

その他

CAV、コンピューター支援検証
GD、グラフ描画に関する国際シンポジウム
FUN、アルゴリズムの楽しみに関する国際会議
DNA、DNAコンピューティングおよび分子プログラミング（DNAコンピューティング、トラックAは理論的、トラックBは実験的）
DCM、計算モデルの開発
RTA、書き換えテクニックとアプリケーション
TLCA、型付きラムダ計算およびアプリケーション
UCNC、型破りな計算と自然計算

— AndrásSalamon
ソース

4

ICMLとNIPSは理論の会議であるとさえ主張していないので、学習理論の下にリストされているのを見るのが心配です。リストの残りの部分にも同様の問題があるのではないかと思います...

— レフレイジン

7

RECOMBとISMBは理論に関連する会議ですか？私の印象では、RECOMBはツールとアプリケーションに向けられており、ISMBは生物学的な結果を期待しているようです。一般に、計算生物学の理論的研究は、理論家にとっての理論というよりも応用のように見えます。

— ジョウニシレン

4

@レフ：私の2セント：あなたがそれがそれほど明確であると思うならば、会議を取り除いてください。他の誰かがそれらを編集し直したい場合、その人はそれらが含まれるべき理由を提供できます。

— アーロンスターリング

4

編集者は編集の正当性を説明してもらえますか？誰かが理由を説明することなく、AfricaCryptをリストから削除しました。（a）会議ではない、または（b）TCS会議ではありませんか？

— アーロンスターリング

3

@Kaveh：確かに、すべてのTCS会議のリストが欲しいです。誰かがAfricaCryptからブログを書いたなら、私はそれを楽しみます。これをノートワージネスに関する議論に変えないようにしましょう。リストはほぼ安定しています。

— アーロンスターリング

15

confsearch.orgによる会議カレンダー （欠落：AMW、MFPS、FPSAC、ITCS、QCRYPT、DCM）。

— Jukka Suomela
ソース

4

会議のリストは、他の回答からコピーされます。会議を追加するたびに、URLも編集してください。

— ユッカスオメラ

4

また、confsearch.orgはwikiであることに注意してください。そこに不足している情報を追加できます ...

— ユッカスオメラ

confsearch.orgはまた、すべての理論の会議を表示し、不足しているものを追加することができますカテゴリ「理論」があるconfsearch.org/confsearch/faces/pages/...を

— セルジュGaspers

3

トム・フリーデツキーとダニエル・パウルスマによる会議のこのリストは、もう一つの素晴らしいリソースです。

— ハック・ベネット
ソース

3

私の意見では、このCSイベントのリストは非常に実用的です。

— ミケーレ・アモレッティ
ソース

0

組み合わせ会議へのリンク

理論会議

— マニッシュ・クマール
ソース