Software Engineering

This volume contains the proceedings of the 21st international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), organized under the auspices of the Indian Association for Research in Computing Science (IARCS).

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.

Generic programming attempts to make programming more efficient by making it more general.

This volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR'99) which was held in Venice (Italy), September 22-24, 1999.

This volume contains the proceedings of MPC 2000, the ?

Diagrams 2000 is dedicated to the memory of Jon Barwise.

This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001.

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology.

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012.

Welcome to GRID 2000, the first annual IEEE/ACM international workshop on grid computing sponsored by the IEEE Computer Society's Task Force on Cluster Computing (TFCC) and the Association for Computing Machinery (ACM).

Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning.

The international conference on current trends in the theory and practice of informatics SOFSEM 2000 was held 25 November-2 December 2000 in the c- ference facilities of the Dev?

Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing.

In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group \Generative and Component-Based Software Engineering"e; of the \Gesellschaft fur * Informatik"e; FG 2.

Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints.

Algorithms are essential building blocks of computer applications.

As software systems become ubiquitous, the issues of dependability become more and more crucial.

This book constitutes the refereed proceedings of the Third International Euro-Par Conference, held in Passau, Germany, in August 1997.

 This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003.

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.

Testing is the primary hardware and software verification technique used by industry today.

The use of constraints had its scientific and commercial breakthrough in the 1990s.

This book presents Maple solutions to a wide range of problems relevant to chemical engineers and others.

The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution.

The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation.

Model checking technology is among the foremost applications of logic to computer science and computer engineering.

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?

Arti?

Following the highly successful International Conference on Computer Vision - stems held in Las Palmas, Spain (ICVS'99), this second International Workshop on Computer Vision Systems, ICVS 2001 was held as an associated workshop of the International Conference on Computer Vision in Vancouver, Canada.

SOFSEM 2001, the International Conference on Current Trends in Theory and Practice of Informatics, was held on November 24 - December 1, 2001 in the ?

This volume constitutes the proceedings of the second International Workshop on the Semantics, Applications, and Implementation of Program Generation (SAIG 2001)held on 6 September, 2001, in Florence, Italy.

This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.

Interactive Distributed Multimedia Systems (IDMS) and Protocols for Mul- media Systems (PROMS) have been two successful series of international events bringing together researchers, developers and practitioners from academia and industry in all areas of multimedia systems.

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications.

ECOOP is the premier forum in Europe for bringing together practitioners, - searchers, and students to share their ideas and experiences in a broad range of disciplines woven with the common thread of object technology.

This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions.

We would like to present, with great pleasure, the first volume of a new journal, Transactions on Computational Collective Intelligence (TCCI).