FoVeOOS 2010
News
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
SCOPE
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.
ORGANIZATION
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
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
|
|
