Maura Cerioli Libros

ETAPS 2005 marked the eighth European Joint Conferences on Theory and Practice of Software, an annual federated conference established in 1998 by merging several existing and new conferences. This year featured five conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops, seven invited lectures (excluding those specific to satellite events), and several tutorials. Over 550 submissions were received across the five conferences, resulting in acceptance rates below 30% for each. Congratulations to the authors selected for the final program! We hope that others found ways to participate in this exciting event and will continue to submit in the future. The conferences cover various aspects of the system development process, including specification, design, implementation, analysis, and improvement. They encompass languages, methodologies, and tools that support these activities. The event showcases a blend of theory and practice, leaning towards theory with practical motivation, while also emphasizing soundly based practice. Many software design issues are applicable to systems in general, including hardware systems, and the focus on software is not meant to be exclusive.

This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001.The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.