Europejskie wspólne konferencje na temat teorii i praktyki oprogramowania

„TACAS” przekierowuje tutaj. Informacje na temat systemu awioniki można znaleźć w części System ostrzegania o ruchu drogowym i unikania kolizji .

Europejskie Wspólne Konferencje Teorii i Praktyki Oprogramowania (ETAPS) to konfederacja (obecnie) czterech konferencji informatycznych odbywających się corocznie w jednym miejscu konferencyjnym, zwykle pod koniec marca lub na początku kwietnia. Trzy z czterech konferencji (FoSSaCS, FASE, TACAS) są najwyżej oceniane w inżynierii oprogramowania , a jedna ( ESOP ) w językach programowania .

Konstytuujące konferencje

ETAPS obecnie zrzesza następujące konferencje:

• Europejskie Sympozjum Programowania (ESOP, od 1998)
• Podstawy nauki o oprogramowaniu i struktury obliczeniowe (FoSSaCS, od 1998)
• Podstawowe podejścia do inżynierii oprogramowania (FASE, od 1998)
• Narzędzia i algorytmy do budowy i analizy systemów (TACAS, od 1998)

W latach 1995-2015 konferencje stanowiły również International Conference on Compiler Construction (CC) oraz w latach 2012-2019 Principles of Security and Trust (POST).

TACAS

TACAS (Tools and Algorithms for the Construction and Analysis of Systems) to konferencja skupiająca się na zastosowaniu i wspieraniu narzędzi dla różnych metod formalnych . Jest to jedna z najwyżej ocenianych konferencji poświęconych inżynierii oprogramowania . Została założona przez Bernharda Steffena , Rance'a Cleavelanda, Eda Brinksmę i Kim Larsena. Pierwsza konferencja TACAS odbyła się w 1995 r. w Aarhus w Danii , a następnie w 1996 r. w Pasawie w Niemczech iw 1997 r. w Enschede w Holandii . TACAS była jedną z pierwszych pięciu konferencji składających się na ETAPS w 1998 roku.

ESOP

ESOP (European Symposium on Programming) to konferencja skupiająca się na podstawowych zagadnieniach związanych ze specyfikacją, projektowaniem, analizą i wdrażaniem języków i systemów programowania. Jest to jedna z najwyżej ocenianych konferencji poświęconych językom programowania. Pierwsza edycja ESOP odbyła się w marcu 1986 roku w Saarbrücken.

FAZA

FASE (Fundamental Approaches to Software Engineering) to konferencja skupiająca się na podstawach, na których opiera się inżynieria oprogramowania. Zastąpiła konferencję Formalne aspekty/podejścia do inżynierii oprogramowania, zachowując jej akronim.

FoSSaCS

FoSSaCS (International Conference on Foundations of Software Science and Computation Structures) to konferencja, która koncentruje się na podstawowych badaniach w naukach o oprogramowaniu, zwłaszcza teoriach i metodach analizy, integracji, syntezy, transformacji i weryfikacji programów i systemów oprogramowania. Jej pierwsza edycja odbyła się w ramach pierwszego ETAPS w 1998 roku. Można ją postrzegać jako następcę konferencji CAAP, Colloque sur les Arbres en Algèbre et en Programmation.

Nagroda testu czasu

Nagroda ETAPS Test of Time przyznawana jest „wybitnym artykułom opublikowanym ponad 10 lat temu” na jednej z konferencji założycielskich ETAPS oraz „wpływowi doskonałych wyników badań”, które zostały opublikowane w ETAPS.

Linki zewnętrzne

• Oficjalna strona internetowa
• Lista poprzednich konferencji