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.
|29th April||submission deadline|
|8th May||notification of accepted speakers|
|14th May||early (reduced) IFM registration deadline|
|1st June||final version of extended abstracts|
|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|
|Reiner Haehnle||Chalmers University of Technology |
|Wolfgang J. Paul|| Universitaet des Saarlandes |
|Ralf Huuck|| NICTA |
|Norbert Schirmer|| Technische Universitaet Muenchen |
Last updated: June 24.