The ETAPS Conferences
ETAPS is an open confederation of 5 main annual conferences (FOSSACS, FASE, ESOP, CC, TACAS), accompanied by a number of satellite workshops (10 planned for 2003) and other events (tutorials, project and working group meetings, etc). The series started in 1998 in Lisbon, based on the earlier tradition of the individual conferences, and through the subsequent events in Amsterdam, Berlin, Genova and Grenoble (forthcoming in 2002) has built its position as a popular annual meeting acting as a strong focus point for academic and industrial researchers working on topics related to Software Science.
The events that comprise ETAPS 2003 will address various aspects of the system development process, including specification, design, implementation, analysis and improvement. The languages, formalisms, methodologies and tools to support these activities are all well within its scope. Different kinds of theory and practice will be presented, with an inclination toward theory with a practical motivation on one hand and soundly based practice on the other hand. Many of the issues involved in software design apply to systems in general (including hardware systems) and the emphasis on software is not intended to be exclusive. The initial set of events outlined below illustrate only part of the intended scope of ETAPS 2003.
Each conference retains its own identity, with a separate programme committee selecting presentation in a competitive procedure and independent proceedings (separate LNCS volumes). Events run in parallel to a large extent, with a degree of coordination between programme chairpersons and local organizers ensuring a coherent schedule.
The conferences and satellite events fall under one of the following main themes (relevant for all four IST key actions):
- Computation theory and foundations of Software Science;
- Theory and practice of Software Engineering;
- Support tools and algorithms for system construction and analysis;
- Programming Languages.