C/C++ Verification Workshop, July 2

colocated with IFM 2007 in Oxford, UK (July 2-7)

Call for Papers

C and its cousin C++ are among the most popular languages. In contrast, application of formal methods to C and C++ code are relatively rare. Holes in the type system, the frequent use of type casts and sometimes direct hardware access in C/C++ code make the development of formal methods very challenging.

The aim of the C/C++ verification workshop is to bring together people that are working on the verification or the semantics of C or C++ programs. The workshop will provide a forum to discuss aspects of the type system and the semantics of C/C++, present approaches for the verification of C or C++ programs, demonstrate tools and report about (ongoing) verification projects.

Topics of interest include (but are not limited to):

  • formal semantics of parts or aspects of C/C++
  • formal approaches to compiler or platform specific properties of C/C++
  • formal approaches for safety-critical C/C++ code
  • semantical treatment and verification of embedded assembly code for direct hardware access
  • verification of C/C++ code and verification results
  • tools for the semantic analysis of C/C++ code
  • tools for the verification of C/C++
  • case studies of C/C++ verification

Interested speakers should submit an extended abstract (between 2 and 10 pages) to Hendrik Tews. The abstracts will be subject to light reviewing by the organisation committee. Accepted submissions are collected in a technical report of Radboud University Nijmegen. A CFP for post-workshop proceedings is envisaged.

Important dates

29th April    submission deadline
8th May notification of accepted speakers
14th May early (reduced) IFM registration deadline
1st June final version of extended abstracts
2nd July workshop
4-6th July IFM main conference

The workshop is organised as a one-day satellite event of the conference on Integrated Formal Methods 2007 (2nd-6th July Oxford UK).

The proceedings will be published in the technical report ICIS-R07015 of the Radboud University Nijmegen.


Hendrik Tews Radboud Universiteit Nijmegen
The Netherlands
Reiner Haehnle Chalmers University of Technology
Wolfgang J. Paul Universitaet des Saarlandes
Ralf Huuck NICTA
Norbert Schirmer Technische Universitaet Muenchen

Last updated: June 24.