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.
Organisation
| Hendrik Tews | Radboud Universiteit Nijmegen The Netherlands |
| Reiner Haehnle | Chalmers University of Technology Sweden |
| Wolfgang J. Paul | Universitaet des Saarlandes Germany |
| Ralf Huuck | NICTA Australia |
| Norbert Schirmer | Technische Universitaet Muenchen Germany |
Last updated: June 24.