By Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)
ETAPS 2006 was once the 9th example of the eu Joint meetings on thought and perform of software program. ETAPS is an annual federated convention that was once validated in 1998 by means of combining a couple of current and new meetings. This 12 months it comprised ?ve meetings (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite tv for pc workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), tutorials, and 7 invited lectures (not together with those who have been speci?c to the satellite tv for pc events). We - ceived over 550 submissions to the ?ve meetings this 12 months, giving an total acc- tance cost of 23%, with recognition charges less than 30% for every convention. Congratu- tions to the entire authors who made it to the ?nal programme! i'm hoping that the majority of the opposite authorsstill founda approach of participatingin this excitingevent and that i wish you'll proceed filing. The occasions that include ETAPS tackle numerous points of the procedure devel- ment technique, together with speci?cation, layout, implementation, research and impro- ment. The languages, methodologies and instruments which help those actions are all good inside its scope. Di?erent blends of thought and perform are represented, with a tendency in the direction of concept with a realistic motivation at the one hand and soundly dependent perform at the different. some of the matters thinking about software program layout follow to platforms ordinarily, together with structures, and the emphasis on software program isn't meant to be exclusive.