By Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)
ETAPS2000wasthethirdinstanceoftheEuropeanJointConferencesonTheory and perform of software program. ETAPS is an annual federated convention that used to be demonstrated in 1998 by way of combining a few present and new meetings. This yr it comprisedv e meetings (FOSSACS, FASE, ESOP,CC, TACAS), ve satellite tv for pc workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel dialogue, and ten tutorials. The occasions that include ETAPS handle quite a few features of the method - velopmentprocess,includingspeci cation,design,implementation,analysis,and development. The languages, methodologies, and instruments which help those - tivities are all good inside of its scope. Die lease blends of conception and perform are represented, with a bent in the direction of idea with a pragmatic motivation on one hand and soundly-based perform at the different. the various concerns curious about software program layout follow to platforms commonly, together with platforms, and the emphasis on software program isn't really meant to be particular. ETAPS is a free confederation within which every one occasion keeps its personal id, with a separate application committee and self reliant complaints. Its layout is open-ended, permitting it to develop and evolve as time is going via. Contributed talks and process demonstrations are in synchronized parallel classes, with invited lectures in plenary periods. of the invited lectures are reserved for \u- fying" talks on themes of curiosity to the entire variety of ETAPS attendees.