ThisvolumecontainsthepaperspresentedatIJCAR2008, the4thInternational Joint Conference on Automated Reasoning, held August 12-15, 2008, in S- ney (Australia). The IJCAR conference series is aimed at unifying the di?erent research principles within automated reasoning. IJCAR 2008 was the fusion of several major international events: -CADE: The International Conference on Automated Deduction -FroCoS: The Symposium on Frontiers of Combining Systems -FTP: The Workshop on First-Order Theorem Proving - TABLEAUX: The Conference on Analytic Tableaux and Related Methods Previous versions of IJCAR were held in Seattle (USA) in 2006, Cork (Ireland) in 2004, and Siena (Italy) in 2001. These proceedings comprise 4 contributions by invited speakers, 26 research papers, and 13 system descriptions. The volume also includes a short overview of the CASC-J4 competition for automated theorem proving systems that was conductedduringIJCAR2008.TheinvitedspeakerswereHubertComon-Lundh, NachumDershowitz, AartiGupta, andCarstenLutz.Theirtalkscoveredabroad spectrum of automated reasoning themes, viz., veri?cation of security protocols, prooftheoreticalframeworksfor ?rst-orderlogic, automateddecisionprocedures and software veri?cation, and description logics. The contributed papers were selected from 80 research paper submissions and 17 system description submissions. Each submission was reviewed by at least three reviewers, and decisions were reached after two weeks of discussion through an electronic Program Committee meeting. The submissions, reviews, and discussion were coordinated using the EasyChair conference management system. The accepted papers spanned a wide spectrum of researchin automated reasoning, including saturation, equationalreasoninganduni?cation, automa- based methods, description logics and related logics, sati?ability modulo theory, decidable logics, reasoning about programs, and higher-order l

This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002.The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes into constraint programming and deduction systems.

ThisvolumecontainstheworkshopproceedingsofARSPA-WITS2010,theJoint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, held during March 27-28, 2010 in Paphos (Cyprus). ARSPA-WITS2010o?eredaforumfordiscussingnewresultsintheoriesofc- putersecurity,openquestionsandfundamentalconcernsaboutexistingtheories, and issues related to the development and application of automated reas- ing techniques and tools for the formal speci?cation and analysis of security protocols. There were 28 submissions. All the submissions were thoroughly evaluated on the basis of at least three referee reports, and an electronic Program C- mittee meeting was held by using the EasyChair on-line conference system. The committee decided to accept the 11 papers included in this volume. The authors were giventhe opportunity to revise their paper in light of the feedback received during the workshop. The workshop program was enriched by two invited talks by Flemming Nielson and Catuscia Palamidessi, whose titles and abstracts are also included in this volume. April 2010 Alessandro Armando Gavin Lowe Conference Organization Program Chairs Alessandro Armando Universita di Genova, Italy (Co-chair) Gavin Lowe Oxford University, UK (Co-chair) Program Committee Lujo Bauer CMU, USA Yannick Chevalier Universite Toulouse III, France Luca Compagna SAP Research, France Cas Cremers ETHZ, Switzerland Jorge Cuellar Siemens, Germany Pierpaolo Degano Universita di Pisa, Italy Sandro Etalle Technical University of Eindhoven and University of Twente, The Netherlands Riccardo Focardi Universita di Venezia, Italy Dieter Gollman Technische Universitat Hamburg-Harburg, Germany Joshua Guttman MITRE, USA Jan Jurjens TU Dortmund and Fraunhofer ISST, Germany Gavin Lowe Oxford University, UK (Co-chair) Catherine Meadows Naval Research Laboratory, USA John Mitchell Stanford University, USA