FoVeOOS 2010


FoVeOOS 2011:
2nd International Conference on Formal Verification of Object-Oriented Software
Turin, Italy, October 5-7, 2011

The FoVeOOS 2010 post-conference proceedings published by Springer as volume 6528 in the LNCS series are now available in print and online.

Now pre-proceedings are available for download: pre-proceedings.

The best student paper and presentation award was given to two students:
  • Christoph Gladisch for the talk Satisfiability Solving and Model Generation for Quantified First-order Logic Formulas
  • Mattias Ulbrich for the talk A Dynamic Logic for Unstructured Programs with Embedded Assertions


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 (such as Java, C++, and C#) are object-oriented.

The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS) aims to foster collaboration and interactions among researchers in this area.


The conference is organised by COST Action IC0701 but it goes beyond the framework of this action. This conference is open to the whole scientific community around the following topics, and also encourages people close to industrial applications to submit papers and participate.

The Action may provide travel grants.


Topics include but are not limited to:
  • Logic-based methods for formal
    • verification
    • specification and description
    • construction
    • analysis and validation
    of object-oriented software
  • Technologies such as
    • logics
    • calculi
    • type systems
    for the formal verification of object-oriented software
  • Modularisation and verification of components
  • Verification of
    • adaptable and reusable
    • concurrent
    • distributed
    object-oriented software
  • Tool descriptions
  • Experience reports
  • Case studies
  • Teaching formal verification