The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

conferences taking place annually at one conference site, usually end of March or early April. Three of the four conferences (FoSSaCS, FASE, TACAS) are top ranked in

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...

and one ( ESOP) is top ranked in

programming languages A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...

Constituting conferences

ETAPS currently confederates the following conferences: *

European Symposium on Programming The European Symposium on Programming (ESOP) is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. * According tCORE Ranking ESOP has rank A (i.e. "e ...

(ESOP, since 1998) * Foundations of Software Science and Computation Structures (FoSSaCS, since 1998) * Fundamental Approaches to Software Engineering (FASE, since 1998) * Tools and Algorithms for the Construction and Analysis of Systems (TACAS, since 1998) From 1995 to 2015, the International Conference on Compiler Construction (CC) and from 2012 to 2019 Principles of Security and Trust (POST) were constituting conferences as well.

TACAS

TACAS (Tools and Algorithms for the Construction and Analysis of Systems) is a conference that focuses on the application of and tool support for various

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expec ...

. It is one of the top ranked conferences for

. It was founded by Bernhard Steffen, Rance Cleaveland, Ed Brinksma, and Kim Larsen. The first TACAS was held in 1995 in

Aarhus Aarhus (, , ; officially spelled Århus from 1948 until 1 January 2011) is the second-largest city in Denmark and the seat of Aarhus Municipality. It is located on the eastern shore of Jutland in the Kattegat sea and approximately northwest ...

Denmark ) , song = ( en, "King Christian stood by the lofty mast") , song_type = National and royal anthem , image_map = EU-Denmark.svg , map_caption = , subdivision_type = Sovereign state , subdivision_name = Danish Realm, Kingdom of Denmark ...

followed by the conferences in 1996 in

Passau Passau (; bar, label=Central Bavarian, Båssa) is a city in Lower Bavaria, Germany, also known as the Dreiflüssestadt ("City of Three Rivers") as the river Danube is joined by the Inn from the south and the Ilz from the north. Passau's popu ...

Germany Germany,, officially the Federal Republic of Germany, is a country in Central Europe. It is the second most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated betwe ...

and 1997 in

Enschede Enschede (; known as in the local Twents dialect) is a municipality and city in the eastern Netherlands in the province of Overijssel and in the Twente region. The eastern parts of the urban area reaches the border of the German city of Gronau ...

Netherlands ) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherl ...

. TACAS was one of the first five constituting conferences of ETAPS in 1998.

ESOP

ESOP (European Symposium on Programming) is a conference that focuses on fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. It is one of the top ranked conferences for programming languages. The first edition of ESOP was held in March 1986 in Saarbrücken.

FASE

FASE (Fundamental Approaches to Software Engineering) is a conference that focuses on the foundations which software engineering is built on. It replaced the conference Formal Aspects/Approaches to Software Engineering while keeping its acronym.

FoSSaCS

FoSSaCS (International Conference on Foundations of Software Science and Computation Structures) is a conference that focuses on foundational research in software science, especially theories and methods for the analysis, integration, synthesis, transformation, and verification of programs and software systems. Its first edition was held as part of first ETAPS in 1998. It can be seen as a successor of the conference CAAP, Colloque sur les Arbres en Algèbre et en Programmation.

Test of time award

The ''ETAPS Test of Time Award'' recognizes "outstanding papers published more than 10 years in the past" in one of the constituent conferences of ETAPS and the "impact of excellent research results" that have been published at ETAPS.Test of Time Award
/ref>

References

External links

*
List of previous conferences
Computer science conferences {{compu-conference-stub