Jump to content

European Joint Conferences on Theory and Practice of Software

From Wikipedia, the free encyclopedia
(Redirected from TACAS)

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of (currently) four computer science conferences taking place annually at one conference site, usually end of March or April. Three of the four conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering[1] and one (ESOP) is top ranked in programming languages.[2]

Constituting conferences

[edit]

ETAPS currently confederates the following conferences:

  • European Symposium on Programming (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

[edit]

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. It is one of the top-ranked conferences for software engineering.[1] It was founded by Bernhard Steffen, Rance Cleaveland, Ed Brinksma, and Kim Larsen. The first TACAS was held in 1995 in Aarhus, Denmark followed by the conferences in 1996 in Passau, Germany and 1997 in Enschede, Netherlands. TACAS was one of the first five constituting conferences of ETAPS in 1998.[3]

ESOP

[edit]

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.[4]

FASE

[edit]

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.[5]

FoSSaCS

[edit]

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.[6]

Test of time award

[edit]

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.[7]

References

[edit]
  1. ^ a b "Top conferences in software engineering". Microsoft Academic Search. Retrieved 4 June 2013.[permanent dead link]
  2. ^ "Top conferences on programming languages". Microsoft Academic Search. Retrieved 4 June 2013.
  3. ^ "ETAPS'98". Retrieved 4 June 2013.
  4. ^ Robinet, Bernard; Wilhelm, Reinhard, eds. (1986). Esop 86. Lecture Notes in Computer Science. Vol. 213. doi:10.1007/3-540-16442-1. ISBN 978-3-540-16442-5. ISSN 0302-9743. S2CID 33668937.
  5. ^ Astesiano, Egidio, ed. (1998). Fundamental Approaches to Software Engineering (PDF). Lecture Notes in Computer Science. Vol. 1382. doi:10.1007/bfb0053578. ISBN 978-3-540-64303-6. ISSN 0302-9743. S2CID 41737556.
  6. ^ Nivat, Maurice, ed. (1998). Foundations of Software Science and Computation Structures (PDF). Lecture Notes in Computer Science. Vol. 1378. doi:10.1007/bfb0053537. ISBN 978-3-540-64300-5. ISSN 0302-9743. S2CID 35101695.
  7. ^ Test of Time Award
[edit]