For more than a decade, data warehousing together with knowledge discovery technology have made up the key technology for the decision-making process in companies. Since 1999, due to the relevant role of these technologies in academia and industry, the Data Warehousing and Knowledge Discovery (DaWaK) conference series has become an international forum for both practitioners and researchers to share their findings, publish their relevant results and debate in depth research issues and experiences on data warehousing and knowledge discovery systems and applications. th The 8 International...

This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the abstracts of 3 invited talks. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures and more.

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006. The book presents 62 revised full papers together with the full papers or abstracts of 7 invited talks. All current aspects in theoretical computer science and its mathematical foundations are addressed, from algorithms and data structures, to complexity, automata, semantics, logic, formal specifications, models of computation, concurrency theory, computational geometry and more.

The annual international conference on Database and Expert Systems Applications (DEXA) is now well established as a reference scientific event. The reader will find in this volume a collection of scientific papers that represent the state of the art of research in the domain of data, information and knowledge management, intelligent systems, and their applications. The 17th instance of the series of DEXA conferences was held at the Andrzej Frycz Modrzewski Cracow College in Krakow, Poland, during September 4-8, 2006. Several collocated conferences and workshops covered specialized and...

The Conference on Security and Cryptography for Networks 2006 (SCN 2006) was held in Maiori, Italy, on September 6-8, 2006. The conference was the ?fth in the SCN series, and this year marked a change in its name (the former name was Security in Communication Networks). The name change meant to better describe the scope of the conference while preserving the SCN acronym. This year for the ?rst time we had the proceedings volume ready at the conference. We feel thatthe SCN conferencehas maturedandthat it has becomea tradition to hold it regularly in the beautiful setting of the Amal?tan coast...

This volume contains the outstanding collection of invited papers and refereed papers selected for the Second International Congress on Mathematical Software, ICMS 2006, held in Castro Urdiales, Spain, September 1-3, 2006. We cordially invite you to visit the ICMS 2006 website http: //www.icms2006.unican.es where you can find all relevant information about this interesting event. ICMS 2006 was the second edition of this congress, which follows up the successful ICMS 2002 held in Beijing, China. Since its inception, this congress has been a satellite event of the International Congress of...

This book constitutes the refereed proceedings of the First Asian Semantic Web Conference, ASWC 2006, held in Beijing, China, in September 2006. The 36 revised full papers and 36 revised short papers presented together with three invited contributions were carefully reviewed and selected from 208 full paper submissions. The papers are organized in topical sections.

th This volume contains the papers presented at the 9 Information Security Conference (ISC 2006) held on Samos Island, Greece, during August 30 - September 2, 2006. The Conference was organized by the University of the Aegean, Greece. ISC was first initiated as a workshop, ISW in Japan in 1997, ISW 1999 in Mal- sia, ISW 2000 in Australia and then changed to the current name ISC when it was held in Spain in 2001 (ISC 2001). The latest conferences were held in Brazil (ISC 2002), UK (ISC 2003), USA (ISC 2004), and Singapore (ISC 2005). ISC 2006 provided an international forum for sharing...

This book presents thoroughly arranged tutorial papers corresponding to lectures given by leading researchers at the Second International Summer School on Reasoning Web in Lisbon, Portugal, in September 2006. Building on the predessor school held in 2005 and published as LNCS 3564, the ten tutorial lectures presented provide competent coverage of current topics in semantic Web research and development.

BPM 2006 was the fourth in a conference series that provides a forum for - searchers and practitioners in all areas of business process management. In c- junction with BPM 2006, a series of workshops were held. They were meant to facilitate the exchange of ideas and experiences between active researchers, and to stimulate discussions on new and emerging topics in line with the conference topics. We see the workshops as a necessary extension to the main conference. BPM has established itself rapidly as a high quality conference with a highly competitive selection process. The following...