Formal Verification of Object-Oriented Software: Papers Presented at the International Conference Bernhard Beckert and Claude Marche This volume contains the invited papers, research papers, system descriptions, case studies, and position papers presented at the International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010), that was held June 28–30, 2010 in Paris, France. Post-conference proceedings with revised versions of selected papers will be published within Springer’s Lecture Notes in Computer Science series after the conference. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area. FoVeOOS was organised by COST Action IC0701 (www.cost-ic0701.org), but it went beyond the framework of this action. The conference was open to the whole scientific community. All submitted papers were peer-reviewed, and of the 35 submissions, the Programme Committee selected 23 for presentation at the conference.