posted by organizer: homa_alem || 411 views || tracked by 3 users: [display]

WoSoCer 2017 : The 7th IEEE International Workshop on Software Certification

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/wosocer/
 
When Oct 23, 2017 - Oct 26, 2017
Where Toulouse, France
Submission Deadline Jul 21, 2017
Notification Due Aug 13, 2017
Final Version Due Aug 28, 2017
 

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

Related Resources

ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
IEEE SW - 50 Years of SWE 2018   IEEE Software - Theme Issue 50 Years of Software Engineering
IEEE--ICAISE--EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
IEEE - ICBDA 2018   2018 IEEE 3rd International Conference on Big Data Analysis (ICBDA 2018)--IEEE Xplore and Ei Compendex
ISSTA 2018   International Symposium on Software Testing and Analysis
IEEE TETC SI 2017   IEEE Transactions on Emerging Topics in Computing, Special Issue on Scholarly Big Data
ICSA 2018   International Conference on Software Architecture
COMPSAC 2018   Computer Software and Applications Conference
ICCRE--IEEE, Ei 2018   2018 IEEE 3rd International Conference on Control and Robotics Engineering (ICCRE 2018)--IEEE Xplore and Ei Compendex
CCGrid 2018   IEEE International Symposium on Cluster Computing and the Grid