Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

Model-Based Testing of Reactive Systems Advanced Lectures

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings

Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning

Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

Abstraction, Refinement and Proof for Probabilistic Systems

Adapting Proofs-as-Programs The Curry-Howard Protocol