Balancing Agility and Formalism in Software Engineering

The origins of CEE-SET go back to the end of the 1990s,when the Polish Inf- mation Processing Society together with other partners organized the Software Engineering Education Symposium, SEES 1998, sponsored by CEPIS, and the Polish Conference on Software Engineering, KKIO 1999 (the latter has become anannualevent). AfewyearslaterKKIOchangedtoaninternationalconference on Software Engineering Techniques, SET 2006, sponsored by Technical C- mittee 2 (Software: Theory and Practice) of the International Federation for Information Processing,IFIP [http://www. i?p. org/]. In 2007 the conference got a new name: second IFIP TC2 Central and East-European Conference on So- ware Engineering Techniques, CEE-SET 2007. It took place in Poznan, Poland, and lasted for three days, from October 10 to 12, 2007 (the details are on the conference web page http://www. cee-set. org/2007). The conference aim was to bring together software engineering researchers and practitioners, mainly from Central and East-European countries (but not only), and allow them to share their ideasandexperience. Thespecialtopicfor2007was"BalancingAgilityand Formalism in Software Engineering. " The conference was technically sponsored by: - IFIP Technical Committee 2, Software: Theory and Practice - Gesellschaft fu ¨r Informatik, Special Interest Group Software Engineering - John von Neumann Computer Society (NJSZT), Hungary - Lithuanian Computer Society - Polish Academy of Sciences, Committee for Informatics - Polish Information Processing Society - Slovak Society for Computer Science Financial support was provided by IBM Software Laboratory in Krakow, MicrosoftResearch,MicrosoftPolska,PolishInformationProcessingSociety,and the XPrince Consortium. The conference program consisted of 3 keynote speeches given by Scott W.