Email Gateway (Aug 18 2022 at 10:25): Email Gateway (Aug 18 2022 at 10:25):From: Hendrik Tews <H.Tews@cs.ru.nl>
My sincererst appologies for the repeated crossposting!
============================================================================
WORKSHOP ON C/C++ VERIFICATION
July 2nd 2007, Oxford UK, as satellite of IFM
submission deadline: next sunday, April 29th
http://www.cse.unsw.edu.au/~rhuuck/CV07/
============================================================================
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 xxx@yy.zz. 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) registration deadline
1st June : final version of extended abstracts
2nd July : workshop
4-6th July: IFM main conference
For more information see http://www.cse.unsw.edu.au/~rhuuck/CV07/
The workshop is organised as a satellite event of the conference
on Integrated Formal Methods 2007 (2nd-6th July Oxford UK)
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: Nov 21 2024 at 12:39 UTC