ETAPS 2024
Date: Apr 06, 2024 6:00 am – Apr 11, 2024 6:00 pm
Location: Luxembourg City, Luxembourg
European joint conferences on theory and practice of software
ETAPS 2024 is organized by Interdisciplinary Centre for Security, Reliability and Trust (SnT) / University of Luxembourg.
Welcome to the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
ETAPS is a confederation of several conferences, ESOP, FASE, FoSSaCS, and TACAS, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in this event every year.
The confederated conferences cover various aspects of software systems, ranging from theoretical foundations to programming language developments, compiler advancements, analysis tools, formal approaches to software engineering, and security.
Submitted by Amy Karns
on
European joint conferences on theory and practice of software
ETAPS 2024 is organized by Interdisciplinary Centre for Security, Reliability and Trust (SnT) / University of Luxembourg.
Welcome to the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
ETAPS is a confederation of several conferences, ESOP, FASE, FoSSaCS, and TACAS, each with its own Programme Committee and Steering Committee. ETAPS is the most important and visible annual European event related to software sciences. Altogether, more than 500 researchers participate in this event every year.
The confederated conferences cover various aspects of software systems, ranging from theoretical foundations to programming language developments, compiler advancements, analysis tools, formal approaches to software engineering, and security.