[TYPES/announce] Call for Papers: SafeCert with ETAPS 2008
Susanne Graf
Susanne.Graf at imag.fr
Mon Nov 26 12:18:20 EST 2007
==================================
SafeCert 2008
International Workshop on the
Certification of Safety-Critical
Software Controlled Systems
29 March 2008, Budapest, Hungary
A satellite event to ETAPS 2008
http://safecert08.offis.de/
================================
Scope
-----
In many domains like transportation, power generation, medical
technology, manufacturing and space exploration, statutory
obligations traditionally require a formalized certification for the
development of high assurance products. Formal methods are part of
the standard recommendations, in particular for the higher safety
integrity levels. However, experience shows that certifiable
development of high-assurance software needs a lot more than pure
application of formal techniques and tools that are founded on a
formal semantics and support in parts automated code generation,
formal analysis, verification or error detection. The major question
to be addressed in the workshop is how to embed formal methods and
tools in a seamless design process which covers several development
phases and which includes an efficient construction of a safety case
for the product.
Contributions
-------------
Contributions are sought on all related topics, both from scientific and
application perspective.
Programme Committee
-------------------
* Jens Braband, Siemens, Germany
* Fabrice Derepas, CEA, France
* Holger Giese, U Paderborn, Germany
* Javier Goikoetxea, CAF, Spain
* Mats Heimdahl, U of Minnesota, USA
* Michaela Huhn, TU Braunschweig, Germany (Co-Chair)
* Hardi Hungar, OFFIS, Germany (Co-Chair)
* Yassine Lakhnech, Verimag, France
* Stephan Merz, INRIA, France
* Iulian Ober, U Toulouse 2, France
* Andras Pataricza, Budapest U, Hungary
* Bernhard Schätz, TU Munich, Germany
Invited Speaker
---------------
Constance Heitmeyer, Naval Research Laboratory, USA
Important Dates
---------------
Submission of full papers 08 Dec. 2007
Notification of acceptance 11 Jan 2008
Camera ready version 25 Jan 2008
Workshop 29 Mar 2008,
(Budapest, Hungary (prior to ETAPS 2008)
Paper Submission
----------------
Electronic submission (pdf, ps) via the electronic submission site
http://sttt.cs.uni-dortmund.de/safecert/servlet/Conference
Submission Format
Full paper: 15 pages,
Short / position paper: 6 pages,
Format: LNCS style (preferred)
Proceedings
-----------
It is planned to publish the workshop proceedings as a volume of the
"Electronic Notes in Theoretical Computer Science" (ENTCS).
More information about the Types-announce
mailing list