European Joint Conferences on Theory and Practice of Software

From Infogalactic: the planetary knowledge core
(Redirected from TACAS)
Jump to: navigation, search

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

Constituting conferences

ETAPS confederates the following six conferences:

  • Conference on Principles of Security and Trust (POST, since 2012)
  • 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)
  • International Conference on Compiler Construction, (CC, since 1998)
  • Tools and Algorithms for the Construction and Analysis of Systems (TACAS, since 1998)

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

References

  1. ↑ 1.0 1.1 Lua error in package.lua at line 80: module 'strict' not found.
  2. ↑ Lua error in package.lua at line 80: module 'strict' not found.
  3. ↑ Lua error in package.lua at line 80: module 'strict' not found.

External links

<templatestyles src="Asbox/styles.css"></templatestyles>

This article about a computer conference is a stub. You can help Wikipedia by expanding it.
Retrieved from "https://infogalactic.com/w/index.php?title=European_Joint_Conferences_on_Theory_and_Practice_of_Software&oldid=643215"