European Joint Conferences on Theory and Practice of Software

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:

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

External links

This article is issued from Wikipedia - version of the Thursday, May 15, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.