This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007. The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.

This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen s University in Kingston, Ontario, Canada on July 22 24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other ?elds. The topics of the papers presented at the conference range from...

A collection of papers organized in topical sections on design of distributed systems, ad-hoc networks and mobile agents, grid and networks, security, distributed algorithms, self-stabilization, sensor networks, and task/resource allocation.

Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004. This book contains papers and reports covering a spectrum of research in propositional and quantified Boolean formula satisfiability testing; and the fields of theoretical and experimental computer science.

Presents nine revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004. This book includes the following lectures: Typing Haskell with an Attribute Grammar, Programming with Arrows, Epigram: Practical Programming with Dependent Types, And Combining Datatypes and Effects.

Constitutes the refereed proceedings of the 6th International Workshop on Advanced Parallel Processing Technologies, APPT 2005, held in Hong Kong, China in September 2005. These papers are organized in topical sections on architecture, algorithm and theory, system and software, grid computing, networking, and applied technologies.

Constitutes the proceedings of the 9th International Conference on Theoretical Computer Science, 2005. The papers in this book address the issues in theoretical computer science and discusses topics as analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, and algebraic computation.

This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results and exchange experience, ideas and solutions for their problems in theoretical aspects of computing.

This book constitutes the thoroughly refereed joint post-workshop proceedings of three international events: the International Workshop on Highly Parallel Processing on a Chip, HPPC 2007, the UNICORE Summit 2007, and the Workshop on Virtualization/Xen in High-Performance Cluster and Grid Computing, VHPC 2007, held in Rennes, France, in August 2007 within the scope of Euro-Par 2007, the 13th International Conference on Parallel Computing. The 8 papers of the HHPC 2007 workshop address all aspects of existing and emerging/envisaged multi-core processors with a significant amount of parallelism,...