[Apologies if you receive multiple copies of this message]
------------------------------------------------------------- C A L L F O R P A P E R S ------------------------------- The 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013) http://www.laas.fr/SAFECOMP2013/ 24 – 27 September 2013 Toulouse, France SAFECOMP is an annual event covering the state-of-the- art, experience and new trends in the areas of safety, security and reliability of critical computer applications. SAFECOMP provides ample opportunity to exchange insights and experience on emerging methods, approaches and practical solutions. It is a one-stream conference without parallel sessions, allowing easy networking. Important dates: ============ • Workshop/Tutorial proposal submission: 17 February 2013 • Abstract submission: 17 February 2013 • Full paper submission: 03 March 2013 • Notification of acceptance: 09 May 2013 • Camera-ready submission: 06 June 2013 • Fast Abstract submission: 06 June 2013 Objectives: ======== The conference covers all aspects related to the development, assessment, operation and maintenance of safety-related and safety critical computer systems. Major topics include, but are not limited to: • fault tolerant and resilient hardware and software architectures • error-detection and error recovery mechanisms • distributed and real-time monitoring and control • security protection mechanisms • safety/security risk assessment • model-based design and analysis • risk reduction and mitigation techniques • formal methods, verification and validation • in-the-loop and model-based testing • methods for qualification, assurance and certification • dependability analysis using simulation and experimental measurement • human factors and social aspects in dependability analysis • cyber-physical threats and vulnerability analysis • safety guidelines, standards and certification • safety and security interactions and tradeoffs • safety and security assurance cases Domains of application include but are not limited to: • railway systems, automotive, aerospace and avionics • telecommunication and networks • critical infrastructures, power systems, smart grids, SCADA • medical devices and healthcare • defence, emergency & rescue • logistics, production automation and robotics off-shore technology • education & training Paper submission details: ==================== The tradition of SAFECOMP is to act as a platform for bringing academic research and industrial needs together. Therefore, industrial contributions and real-world experience reports are explicitly invited. We solicit two types of papers to be published in the main proceedings of the conference: 1) regular papers (up to 12 pages), 2) practical experience reports and tools (up to 8 pages). All papers will be reviewed by at least three program committee members. Papers must not have been previously published or concurrently submitted elsewhere. Another opportunity is offered to academics and practitioners, junior and senior researchers, to contribute to the conference through the submission of Fast Abstracts/Work in Progress papers (2 pages). These short contributions, are aimed at promoting interactions either on novel ideas or work in progress, or opinion pieces that can address any issue relevant to SAFECOMP topics of interest. All papers, formatted according to the Author Guidelines, should be submitted at https://www.easychair.org/conferences/?conf=safecomp2013 Conference Proceedings & Journal Special Issue: ====================================== All accepted Regular papers, Practical Experience Reports and tools be published by Springer in the LNCS series. In addition, extended versions of the best papers will be considered for publication in a special issue of a safety-related international journal. Accepted Fast abstracts/Work in Progress papers will be published in a separate volume that will be distributed at the conference site. Workshops, Tutorials and Exhibition: ============================ It is planned to have one day as a tutorial and workshop day. Tutorial and workshop proposals are welcome. Informations about submissions are available at the conference website or through email to: [email protected] A dedicated space will be available for a Technical Exhibition in the communication area where coffee breaks and lunches take place. Organizations wishing to present their products or projects are invited to request further information from the conference secretariat. Organization committee: ================== EWICS TC7 Chair: Francesca Saglietti (Univ. of Erlangen-Nuremberg, Germany) General Chair: Jérémie Guiochet (LAAS-CNRS, Univ. Toulouse, France) Program Co-Chairs: Mohamed Kaâniche, Jérémie Guiochet; (LAAS-CNRS, Univ. Toulouse, France) Publication Chair: Friedemann Bitsch (THALES Transportation Systems GmbH, Germany) Local Organizing Committee: Yves Crouzet, Sonia de Sousa, Marc-Olivier Killijian; (LAAS-CNRS, Toulouse, France), Workshops Chair: Mathieu Roy (LAAS-CNRS, Toulouse, France) Publicity Chair: Nicolas Rivière (LAAS-CNRS, Univ. Toulouse, France) Industry Liaison Chair: Pascal Traverse (EADS, Toulouse, France) Program Committee: =============== • Stuart Anderson, U. Edinburgh, UK • Pierre Bieber, ONERA, FR • Friedemann Bitsch, THALES Transportation Systems, DE • Jean-Paul Blanquart, Astrium, FR • Robin Bloomfield, Adelard, UK • Sandro Bologna, AIIC, IT • Andrea Bondavalli, U. Florence, IT • Jens Braband, Siemens AG, DE • Antonio Casimiro, U. Lisbon, PT • Domenico Cotroneo, Federico II U. Naples, IT • Michel Cukier, U. Maryland, US • Peter Daniel, EWICS TC7, UK • Ewen W. Denney, SGT / NASA, US • Wolfgang Ehrenberger, Hochschule Fulda, DE • Massimo Felici, HP Labs, UK • Francesco Flammini, Ansaldo STS, IT • Janusz Gorski, U. Gdansk, PL • Lars Grunske, U. Stuttgart, DE • Jérémie Guiochet, LAAS-CNRS, U. Toulouse, FR • Wolfgang Halang, Fernuniversitaet in Hagen, DE • Maritta Heisel, U. Duisburg-Essen, DE • Chris Johnson, U. Glasgow, UK • Erland Jonsson, U. Chalmers, SE • Mohamed Kaâniche, LAAS-CNRS, U.. Toulouse, FR • Karama Kanoun, LAAS-CNRS, U. Toulouse, FR • Johan Karlsson, U. Chalmers, SE • Tim Kelly, U. York, UK • John Knight, U. Virginia, US • Phil Koopman, Carnegie Mellon University, US • Floor Koornneef, Tech U. Delft, NL • Soren Lindskov Hansen, Novo Nordisk A/S, DK • Regina Moraes, U. Campinas, BR • Gilles Motet, Foundation for an Industrial Safety Culture, FR • Takashi Nanya, Canon, JP • Odd Nordland, Sintef, NO • Frank Ortmeir, U. Magdeburg, DE • Philippe Palanque, IRIT, U. Toulouse, FR • Michael Paulitch, EADS IW, DE • Luigi Romano, U. Naples Parthenope, IT • Alexander Romanovsky, U. Newcastle, UK • Ana Rugina, ESA, NL • Francesca Saglietti, U. of Erlangen-Nuremberg, DE • Christoph Schmitz, Zühlke Engineering AG, CH • Erwin Schoitsch, AIT Austrian Institute of Technology GmbH, AT • Amund Skavhaug, NTNU, NO • Andreas Steininger, TU Vienna, AT • Mark Sujan, Warwick medical school, UK • Mario Trapp, Fraunhofer IESE, DE • Elena Troubitsyna, U. Abo Akademi, FIN • Meine Van der Meulen, DNV, NO • Hélène Weaselynck, LAAS-CNRS, U. Toulouse, FR
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
