ETAPS国際合同会議（ソフトウェアの理論と実践について）

ETAPS国際合同ソフトウェア理論・実践会議(ETAPS) は、(現在) 4 つのコンピュータ科学会議の連合体であり、毎年 1 つの会議会場で、通常 3 月末または 4 月に開催されます。4 つの会議のうち 3 つ (FoSSaCS、FASE、TACAS) はソフトウェア工学でトップランク^{[ 1 ]}であり、1 つ ( ESOP ) はプログラミング言語でトップランクです。^{[ 2 ]}

当初、ETAPSは「European Joint Conferences on Theory and Practice of Software」の略でしたが、2024年4月にルクセンブルクで開催された会議の運営委員会において、会議が地域的（ヨーロッパ的）なものとして捉えられることを避けるため、「European」を「International」に変更することが決定されました。略称を維持するため、現在の正式名称にも「ETAPS」が含まれており、再帰的な構造になっています。

ETAPS 会議は、主催機関 (通常は大学) の現地主催者によって組織され、執行委員会と標準 SC メンバーで構成される ETAPS 運営委員会によって調整されます。^{[ 3 ]}

ETAPS協会（ドイツ語ではETAPS eV）^{[ 4 ]}は、ETAPS会議の支援団体です。ETAPS会議のテーマに関連する科学者や実務家によって構成されており、会員資格は無料です。ETAPS運営委員会の委員長は、ETAPS協会の会長も兼任しています。会員は協会のウェブサイトにアクセスできます。^{[ 5 ]}

ETAPSは現在、以下の会議を統括しています。

• 欧州プログラミングシンポジウム（ESOP、1998年設立）は、CORE2023でAランクにランクインしました。
• ソフトウェアエンジニアリングの基礎的アプローチ（FASE、1998年以降）は、CORE2023でBランクにランクインしました。
• ソフトウェア科学と計算構造の基礎（FoSSaCS、1998年設立）は、CORE2023でAランクにランクインしました。
• システム構築および分析のためのツールとアルゴリズム（TACAS、1998年以降）は、CORE2023でAランクにランクインしました。

1995年から2015年までは、コンパイラ構築に関する国際会議（CC）が、2012年から2019年までは、セキュリティと信頼の原則に関する会議（POST）が、それぞれ構成会議として開催されていた。

さらに、構成会議からいくつかの最優秀論文賞が授与されます。^{[ 10 ]}

• 時の試練賞^{[ 11 ]}
• 博士論文賞^{[ 12 ]}
• ETAPS生涯功労賞^{[ 13 ]}
• ランス・クリーブランド・テスト・オブ・タイム・ツール賞^{[ 14 ]}

• 公式サイト
• 過去の会議一覧