[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                     SafeCert 2008
             International Workshop on the
           Certification of Safety-Critical
             Software Controlled Systems
           29 March 2008, Budapest, Hungary
            A satellite event to ETAPS 2008

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 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

Submission Format
    Full paper: 15 pages,       
    Short / position paper: 6 pages,
Format: LNCS style (preferred)

It is planned to publish the workshop proceedings as a volume of the
"Electronic Notes in Theoretical Computer Science" (ENTCS).

Reply via email to