[ 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 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).