Logo celebrazioni nazionaliFoVeOOS 2011:

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



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.


COST IC0701 Verification Competition 2011

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