SafeCert 2010 @ ETAPS - Call for Papers

Call for Papers SafeCert 2010 http://safecert10.offis.de/ 3rd International Workshop on the Certification of Safety-Critical Software Controlled Systems March 21, 2010 -- Paphos, Cyprus A satellite event of ETAPS 2010 http://www.etaps10.cs.ucy.ac.cy/ 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 * Janusz Górski, Gdansk UT, Poland * Michaela Huhn, TU Braunschweig, Germany (Co-Chair) * Hardi Hungar, OFFIS, Germany (Co-Chair) * Mark Lawford, McMaster U, Hamilton, Canada * Stephan Merz, INRIA, France * Iulian Ober, U Toulouse 2, France * Bernhard Schätz, TU Munich, Germany * Erwin Schoitsch, AIT, Austria * INVITED SPEAKER IMPORTANT DATES Submission of full papers: 05 Jan 2010 (hard) Notification of acceptance: 29 Jan 2010 Camera ready version 12 Feb 2010 Workshop 21 Mar 2010 Paphos, Cyprus (in connection with ETAPS 2010) PAPER SUBMISSION Electronic submission (pdf, ps) to: see website Submission Format Full paper: 15 pages, Short / position paper: 6 pages, Format: ENTCS style (preferred) PROCEEDINGS The workshop proceedings will be published as a volume of the "Electronic Notes in Theoretical Computer Science" (ENTCS). (see: http://www.entcs.org/)