| |||||||||||||
WoSoCer 2017 : The 7th IEEE International Workshop on Software Certification | |||||||||||||
Link: https://sites.google.com/view/wosocer/ | |||||||||||||
| |||||||||||||
Call For Papers | |||||||||||||
***********************************************
CALL FOR PAPERS WoSoCer 2017 The 7th IEEE International Workshop on Software Certification October 23-26, 2017, Toulouse, France https://sites.google.com/view/wosocer/ *********************************************** Special theme: Certification of autonomous and ML/AI-based systems Co-located with the 28th IEEE Symposium on Software Reliability Engineering (ISSRE 2017) The WoSoCer workshop is a forum to discuss novel solutions for the certification of software in critical systems, by involving researchers, senior technical people, domain experts, and regulatory authorities to present new solutions and perspectives. We welcome contributions related (but not limited) to the following topics: - Certification and adoption of emerging technologies and best-practices in safety- and security-critical domains - Certification of third-party components, software reuse and open-source software across systems and services - Product-oriented certification and assurance cases - Reuse of certification artifacts across different systems and standards - Quantitative and qualitative evaluation of system dependability and resilience - Compositional certification and assurance - Formal methods in software certification - Tools, techniques and methods to support certification processes - Economics of certification and standards - Open issues, practical experiences and real-world case studies - Cross-fertilization between safety and security certification and standards - Education and training regarding software certification In addition to its traditional topics, this edition of the workshop will feature the special theme of the certification of autonomous and ML/AI (Machine Learning and Artificial Intelligence) systems. WoSoCer is a satellite event of the IEEE Intl. Symposium on Software Reliability Engineering (ISSRE), a premier conference that emphasizes both academic excellence and industry impact. Accepted peer-reviewed papers will be published by the IEEE Computer Society on IEEE Xplore. IMPORTANT DATES Paper submission: July 21, 2017 Paper notification: August 13, 2017 Camera-ready: August 28, 2017 ORGANIZING COMMITTEE Homa Alemzadeh, University of Virginia, USA Raul Barbosa, University of Coimbra, Portugal Francesco Brancati, ResilTech s.r.l., Italy Barbara Gallina, Mälardalen University, Sweden Mark Lawford, McMaster University, Canada Roberto Natella, Federico II U. of Naples, Italy Kate Netkachova, City University of London, UK Roberto Pietrantuono, Federico II U. of Naples, Italy Nuno Silva, CRITICAL Software S.A., Portugal |
|