Loading article…
これはコンピュータサイエンスの学術会議 のリストです。個別の論文がある会議のみが含まれており、各分野内では会議は短縮名のアルファベット順にリストされています。
一般的な
- FCRC –フェデレーテッドコンピューティング研究会議
アルゴリズムと理論
アルゴリズム、データ構造、計算可能性、計算複雑性、オートマトン理論、形式言語など、理論計算機科学の幅広いトピックを扱う会議:
- CCC -計算複雑性会議
- FCT –計算理論の基礎に関する国際シンポジウム
- FOCS – IEEEコンピュータサイエンスの基礎に関するシンポジウム
- ICALP –オートマトン、言語、プログラミングに関する国際コロキウム
- ISAAC –アルゴリズムと計算に関する国際シンポジウム
- MFCS –コンピュータサイエンスの数学的基礎に関する国際シンポジウム
- STACS –コンピュータサイエンスの理論的側面に関するシンポジウム
- STOC – ACMコンピューティング理論シンポジウム
- WoLLIC –論理、言語、情報、計算に関するワークショップ
アルゴリズム
アルゴリズムとデータ構造を広く取り上げた会議ですが、計算複雑性理論などの理論計算機科学の他の分野は含まれません。
- ESA –欧州アルゴリズムシンポジウム
- SODA – ACM-SIAM離散アルゴリズムシンポジウム
- SWAT と WADS – SWAT と WADS カンファレンス
幾何学アルゴリズム
計算幾何学、グラフ描画、その他の幾何学計算の応用分野 に関する会議:
- GD –グラフ描画に関する国際シンポジウム
- SoCG –計算幾何学に関するシンポジウム
論理
- LICS – ACM-IEEEコンピュータサイエンスにおける論理シンポジウム
- RTA –書き換え技術とアプリケーションに関する国際会議
その他の専門分野
- CIAA –オートマトン実装と応用に関する国際会議
- CCC –計算複雑性会議
- DCFS –形式システムの記述的複雑性に関する国際ワークショップ
- DLT –言語理論の発展に関する国際会議
- ISSAC –記号および代数計算に関する国際シンポジウム
- ペトリネット -ペトリネットと並行性の応用と理論に関する国際会議
- RP –到達可能性問題に関する国際会議
- SEA –実験アルゴリズムに関するシンポジウム
言語とソフトウェア
プログラミング言語
プログラミング言語、プログラミング言語理論、コンパイラに関する会議:
- CCコンパイラ構築に関する国際会議
- ECOOP – AITOオブジェクト指向プログラミングに関するヨーロッパ会議
- ESOP – ETAPSヨーロッパプログラミングシンポジウム
- HOPL – ACM SIGPLANプログラミング言語の歴史に関する会議
- ICFP – ACM SIGPLAN関数型プログラミングに関する国際会議
- ICLP – ALP論理プログラミング国際会議
- ISMM – ACM SIGPLANメモリ管理に関する国際シンポジウム
- OOPSLA –オブジェクト指向プログラミング、システム、言語、アプリケーションに関するACM SIGPLAN会議
- POPL – ACM SIGPLAN-SIGACTプログラミング言語の原理に関するシンポジウム
- PLDI – ACM SIGPLANプログラミング言語の設計と実装に関する会議
ソフトウェアエンジニアリング
ソフトウェアエンジニアリングに関する会議:
- ASE – IEEE/ACM自動ソフトウェアエンジニアリングに関する国際会議
- ICSE –国際ソフトウェア工学会議
- ICSR –ソフトウェア再利用に関する国際会議
- TACAS - ETAPSシステムの構築と分析のためのツールとアルゴリズムに関する国際会議
- FoSSaCS - ETAPSソフトウェア科学と計算構造の基礎に関する国際会議
- FASE - ETAPSソフトウェアエンジニアリングへの基本的アプローチに関する国際会議
形式手法
形式仕様、形式検証、静的コード解析など、ソフトウェア工学における形式手法に関する会議:
- CAV –コンピュータ支援検証
- FORTE – IFIPネットワークおよび分散システムのための形式手法に関する国際会議
同時、分散、並列コンピューティング
同時実行、分散、並列コンピューティング、フォールトトレラントシステム、ディペンダブルシステム に関する会議:
- CONCUR -並行性理論に関する国際会議
- DEBS - ACM分散イベントベースシステム国際会議
- DISC -分散コンピューティングに関する国際シンポジウム
- DSN -ディペンダブルシステムとネットワークに関する国際会議
- ICDCS - IEEE分散コンピューティングシステム国際会議
- ICPADS - IEEE並列分散システム国際会議
- IPDPS - IEEE国際並列分散処理シンポジウム
- PODC -分散コンピューティングの原理に関する ACM シンポジウム
- PPoPP -並列プログラミングの原理と実践に関するACM SIGPLANシンポジウム
- SIROCCO -構造情報とコミュニケーションの複雑性に関する国際コロキウム
- SPAA -アルゴリズムとアーキテクチャにおける並列処理に関する ACM シンポジウム
- SRDS -信頼性の高い分散システムに関する IEEE 国際シンポジウム
高性能コンピューティング
高性能コンピューティング、クラスタコンピューティング、グリッドコンピューティングに関する会議:
- HiPC -高性能コンピューティングに関する国際会議
- SC - ACM/IEEE高性能コンピューティング、ネットワーキング、ストレージ、分析に関する国際会議
オペレーティングシステム
オペレーティングシステム、ストレージシステム、ミドルウェアに関する会議:
- ATC - USENIX 年次技術会議
- ミドルウェア - ACM/IFIP/USENIX国際ミドルウェア カンファレンス
- SOSP - ACMオペレーティング システム原則シンポジウム
- OSDI -オペレーティングシステムの設計と実装に関する USENIX シンポジウム
- SYSTOR - ACM国際システムおよびストレージ会議
コンピュータアーキテクチャ
コンピュータアーキテクチャに関する会議:
- ASPLOS -プログラミング言語とオペレーティングシステムのアーキテクチャサポートに関する国際会議
- ISCA -コンピュータアーキテクチャに関する国際シンポジウム
- MICRO - IEEE/ACMマイクロアーキテクチャ国際シンポジウム
コンピュータ支援設計
コンピュータ支援設計および電子設計自動化に関する会議:
- ASP-DAC -アジアおよび南太平洋設計自動化会議
- DAC -設計自動化カンファレンス
- 日付 -ヨーロッパにおける設計、自動化、テスト
- ICCAD -コンピュータ支援設計に関する国際会議
- ISPD -物理設計に関する国際シンポジウム
コンピュータネットワーク
コンピュータネットワークに関する会議:
- GlobeCom - IEEEグローバル コミュニケーション カンファレンス
- ICC - IEEE国際通信会議
- ICSOC -サービス指向コンピューティングに関する国際会議
- INFOCOM - IEEEコンピュータ通信会議
- シグメトリクス - ACMシグメトリクス
- WINE -インターネットとネットワーク経済に関するワークショップ
ワイヤレスネットワークとモバイルコンピューティング
ユビキタスおよびパーベイシブコンピューティング、ワイヤレスアドホックネットワーク、ワイヤレスセンサーネットワークを含むワイヤレスネットワークとモバイルコンピューティング：
- EWSN -欧州無線センサーネットワーク会議
- IPSN - ACM/IEEEセンサーネットワークにおける情報処理に関する国際会議
- ISWC -ウェアラブルコンピュータに関する国際シンポジウム
- SenSys -組み込みネットワーク センサー システムに関するACMカンファレンス
セキュリティとプライバシー
コンピュータセキュリティとプライバシーに関する会議:
暗号化
暗号化に関する会議:
- ANTS -アルゴリズム数論シンポジウム
- RSA - RSA カンファレンス
データ管理
データベース、情報システム、情報検索、データマイニング、ワールドワイドウェブに関する会議:
- BTW -ビジネス、テクノロジー、Web 向けデータベース システムに関する GI カンファレンス
- CIDR -革新的データシステム研究会議
- CIKM - ACM情報および知識管理に関する会議
- ECIR -欧州情報検索会議
- ECIS -欧州情報システム会議
- ER -概念モデリングに関する国際会議
- ICDT -データベース理論に関する国際会議
- ICIS -情報システムに関する国際会議
- ISWC -国際セマンティックウェブ会議
- JCDL - ACM/IEEEデジタルライブラリ合同会議
- PODS - ACMデータベースシステム原理シンポジウム
- SIGMOD - ACMデータ管理に関する特別興味グループ
- VLDB -超大規模データベースに関する国際会議
- WWW -ワールド ワイド ウェブ カンファレンス
人工知能
- AAAI -人工知能に関する AAAI カンファレンス
- AAMAS -自律エージェントとマルチエージェントシステムに関する国際会議
- ICAPS -自動計画とスケジューリングに関する国際会議
- CIBB -バイオインフォマティクスとバイオ統計学のための計算知能手法に関する国際会議
- ECAI -欧州人工知能会議
- ECML PKDD -機械学習とデータベースにおける知識発見の原理と実践に関する欧州会議
- ICML -機械学習に関する国際会議
- ICLR -学習表現に関する国際会議
- IJCAI -人工知能に関する国際合同会議
- ISWC -国際セマンティックウェブ会議
- NeurIPS -神経情報処理システムに関する会議
- RuleML - RuleMLシンポジウム
進化的計算
進化計算に関する会議。
- AE -人工進化カンファレンス
- CEC -進化計算に関する IEEE 会議
- GECCO -遺伝的および進化的計算カンファレンス
自動推論
自動推論に関する会議:
- IJCAR -自動推論に関する国際合同会議
- LPAR -プログラミング、人工知能、推論のためのロジックに関する国際会議
- RuleML - RuleMLシンポジウム
- TABLEAUX -分析的タブローと関連手法による自動推論に関する国際会議
- WoLLIC -論理、言語、情報、計算に関するワークショップ
コンピュータービジョン
コンピュータビジョン（画像解析も含む）とパターン認識に関する会議：
- BMVC - 英国マシンビジョンカンファレンス
- CVPR - IEEE コンピュータビジョンとパターン認識会議
- ECCV -ヨーロッパコンピュータビジョン会議
- ICCV -コンピュータビジョンに関する国際会議
- SCIA -スカンジナビア画像解析会議
- SSIAI - IEEE 南西画像解析および解釈シンポジウム
自然言語処理
- EMNLP -自然言語処理における経験的手法
- COLING -国際計算言語学委員会
- TSD -テキスト、音声、対話
- CICLing -インテリジェントテキスト処理と計算言語学に関する国際会議
コンピュータグラフィックス
コンピュータグラフィックス、ジオメトリ処理、画像処理、マルチメディアに関する会議:
- MM - ACMマルチメディア国際会議
- SGP -ジオメトリ処理に関するシンポジウム
- SIGGRAPH -コンピュータグラフィックスとインタラクティブ技術に関する国際会議
人間とコンピュータの相互作用
ヒューマンコンピュータインタラクションとユーザーインターフェースに関する会議:
- CHI -コンピューティングシステムにおけるヒューマンファクターに関する ACM カンファレンス
- GI -グラフィックス インターフェース
- MobileHCI -モバイルデバイスとサービスにおけるヒューマンコンピュータインタラクションに関する会議
- UIST - ACM ユーザーインターフェースソフトウェアおよびテクノロジーシンポジウム
- UMAP -ユーザーモデリング、適応、パーソナライゼーションに関する ACM 国際会議
バイオインフォマティクスと計算生物学
バイオインフォマティクスと計算生物学に関する会議:
- CIBB -バイオインフォマティクスとバイオ統計学のための計算知能手法に関する国際会議
- ISMB -分子生物学のためのインテリジェントシステム
- PSB -太平洋バイオコンピューティングシンポジウム
- RECOMB -計算分子生物学の研究
参照
外部リンク
- 会議やワークショップの DBLP データベース
- h 指数によるコンピュータ サイエンス カンファレンスのリスト