Computer science

th The 24 Computer Graphics International Conference (CGI 2006) was held during June 26-28, 2006, in Hangzhou, China.

This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series.

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE).

This book constitutes the refereed proceedings of the 12th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2005, held in Mont Saint-Michel, France in May 2005.

This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing.

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications.

The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW).

These are the proceedings of the 24th Annual IACR Eurocrypt Conference.

This book and its sister volumes constitute the proceedings of the 2nd International Symposium on Neural Networks (ISNN 2005).

The three volume set LNCS 3496/3497/3498 constitutes the refereed proceedings of the Second International Symposium on Neural Networks, ISNN 2005, held in Chongqing, China in May/June 2005.

In today's society the issue of security has become a crucial one.

The aerospace industry increasingly relies on advanced numerical simulation tools in the early design phase.

"e;Intelligent Design and complex problem solving are twined like wife and husband.

This book presents the proceedings of the Fourth International Workshop on Soft Computing as Transdisciplinary Science and Technology (WSTST '05), May 25-27, 2005, Muroran, Japan.

Thisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling (PATAT 2004) held in Pittsburgh, USA, August 18-20, 2004.

The international conference Intelligent Information Processing and Web Mining IIS:IIPWM'05, organized in Gda?

Context is of crucial importance for research and applications in many disciplines, as evidenced by many workshops, symposia, seminars, and conferences on specific aspects of context.

This book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China in January 2006.

Welcometothe7thAsianConferenceonComputerVision.

Thisvolumecontainsrefereedpapersdevotedtocodingandcryptography.

Unbelievable, we have reached the seventh edition of the XP2k+n conference!

This volume contains the proceedings of the IFIP WG 6.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Data Management in Grids, DMG 2005, held in Trondheim, Norway in September 2005 in conjunction with VLDB 2005.

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software.

ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.

This volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1-3, 2004.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book inaugurates the new FoLLI LNAI subline.

Persuasive technology is the general class of technology that has the explicit purpose of changing human attitudes and behaviours.