Европейские объединенные конференции по теории и практике программного обеспечения (ETAPS) представляют собой конфедерацию (в настоящее время) четырех конференций по компьютерным наукам , которые ежегодно проводятся на одном месте, обычно в конце марта или начале апреля. Три из четырех конференций (FoSSaCS, FASE, TACAS) получили наивысшие оценки по разработке программного обеспечения [1] , а одна ( ESOP ) — по языкам программирования . [2]
С 1995 по 2015 год Международная конференция по созданию компиляторов (CC) и с 2012 по 2019 год Принципы безопасности и доверия (POST) также представляли собой конференции.
TACAS (Tools and Algorithms for the Construction and Analysis of Systems) — конференция, посвященная применению и инструментальной поддержке различных формальных методов . Это одна из лучших конференций по программной инженерии . [1] Он был основан Бернхардом Штеффеном , Рэнсом Кливлендом, Эдом Бринксмой и Кимом Ларсеном. Первая конференция TACAS была проведена в 1995 г. в Орхусе , Дания , за ней последовали конференции в 1996 г. в Пассау , Германия , и в 1997 г. в Энсхеде , Нидерланды . TACAS была одной из первых пяти учредительных конференций ETAPS в 1998 г. [3] .
ESOP (Европейский симпозиум по программированию) — это конференция, посвященная фундаментальным вопросам спецификации, проектирования, анализа и реализации языков и систем программирования. Это одна из самых популярных конференций по языкам программирования. Первое издание ESOP состоялось в марте 1986 года в Саарбрюккене. [4]
FASE (Фундаментальные подходы к программной инженерии) — это конференция, посвященная основам, на которых строится программная инженерия. Он заменил конференцию «Формальные аспекты/подходы к программной инженерии», сохранив при этом аббревиатуру. [5]
FoSSaCS (Международная конференция по основам науки о программном обеспечении и вычислительных структур) — это конференция, посвященная фундаментальным исследованиям в области науки о программном обеспечении, особенно теориям и методам анализа, интеграции, синтеза, преобразования и проверки программ и программных систем. Его первое издание было проведено в рамках первого ETAPS в 1998 году. Его можно рассматривать как преемника конференции CAAP, Colloque sur les Arbres en Algèbre et en Programmation. [6]