Constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton, VA, USA in August 2002. The 20 revised full papers presented together with 2 invited contributions were carefully reviewed and selected from 34 submissions. Issues in HOL theorem proving and formal verification of software and hardware systems are addressed, evaluating Isabelle/HOL, Isabelle/Isar and Coq.

These are the refereed proceedings of the Third International Conference on E-Commerce and Web Technologies, EC-Web 2002, held in Aix-en-Provence, France, in September 2002. The 40 revised full papers presented together with two invited contributions were reviewed and selected from more than 100 submissions. The papers are organized in topical sections on auction and negotiation technology, applications, architecture, agents, web query processing, web data integration, security and privacy, recommender systems, emerging standards, business models, and e-payment.

This book constitutes the refereed proceedings of the Third International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '96, held in Santa Barbara, California, in August 1996.
The volume presents 28 revised full papers selected from 51 submissions; also included are one full invited paper by Torben Hagerup and abstracts of four other invited talks. The papers are organized in topical sections on sparse matrix problems, partitioning and domain composition, irregular applications, communication and synchronization, systems support, and mapping and load...

This monograph-like book assembles the thorougly revised and cross-reviewed lectures given at the School on Data Parallelism, held in Les Menuires, France, in May 1996.
The book is a unique survey on the current status and future perspectives of the currently very promising and popular data parallel programming model. Much attention is paid to the style of writing and complementary coverage of the relevant issues throughout the 12 chapters. Thus these lecture notes are ideally suited for advanced courses or self-instruction on data parallel programming. Furthermore, the book is...

This book constitutes the refereed proceedings of the Fourth International Conference on Parallel Computing Technologies, PaCT-97, held in Yaroslavl, Russia, in September 1997.
The volume presents a total of 54 contributions: 21 full papers, 20 short papers, 10 posters, and three tutorials. All papers were selected for inclusion in the proceedings from numerous submissions on the basis of three independent reviews. The volume covers all current topics in parallel processing; it is divided into sections on theory, software, hardware and architecture, applications, posters, and tutorials.

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

The abstracts and papers in this volume were presented at the Fifth Annual International Computing and Combinatorics Conference (COCOON 99), which was held in Tokyo, Japan from July 26 to 28, 1999. The topics cover most aspects of theoretical computer science and combinatorics pertaining to computing. In response to the call for papers, 88 high-quality extended abstracts were submitted internationally, of which 46 were selected for presentation by the p- gram committee. Every submitted paper was reviewed by at least three program committee members. Many of these papers represent reports on...

This volume contains the proceedings of the LATIN 2000 International Conference (LatinAmerican Theoretical INformatics), to be held in Punta del Este, Uruguay, April 10-14, 2000. This is the fourth event in the series following Sao Paulo, Brazil (1992), Valparaiso, Chile (1995), and Campinas, Brazil (1998). LATIN has established itself as a fully refereed conference for theoretical computer science research in Latin America. It has also strengthened the ties between local and international scientific communities. We believe that this volume reflects the breadth and depth of this interaction....

The theme of the 4th International Workshop on Learning Software Organizations (LSO 2002) was BalancingAgile Processes and Long-Term Learning in Software - ganizations. The LSOWorkshop series focuses on technical, organizational, and social solutions to problems of learning from past experiences and codifying the resulting best practicessotheycanbesystematicallyusedinsubsequentsoftwaredevelopmentefforts. Through paper presentations, panels, and discussions, the workshop explored the issues of managing knowledge in dynamic domains requiring signi?cant differences...

The ninth in the series of IMA Conferences on Cryptography and Coding was held (as ever) at the Royal Agricultural College, Cirencester, from 16-18 Dec- ber 2003. The conference's varied programme of 4 invited and 25 contributed papers is represented in this volume. The contributed papers were selected from the 49 submissions using a - reful refereeing process. The contributed and invited papers are grouped into 5 topics: coding and applications; applications of coding in cryptography; cryp- graphy; cryptanalysis; and network security and protocols. These topic headings represent the breadth...