[isabelle] CFP: Workshop on C/C++ Verification



My sincererst appologies for crossposting!

============================================================================

WORKSHOP ON C/C++ VERIFICATION

July 2nd 2007, Oxford UK, as satellite of IFM
submission deadline: 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 H.Tews at cs.ru.nl. 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
	  

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


Bye,

Hendrik Tews





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.