The Journal “IET Cyber-Physical Systems: Theory and Application” is calling for submissions to the Special Issue on Verification and Validation of Cyber-Physical Systems.
More details can be found in this call: http://digital-library.theiet.org/files/IET_CFP_CPS_Verification.pdf
Submission Deadline: February 2018
Publication Date: December 2018
On a similar note, the First International Workshop on Verification and Validation of Internet of Things (VVIoT) is calling for papers. The VVIoT will be a forum for academics, industrial researchers, developers and practitioners to discuss challenges and advances in Verification and Validation of Internet of Things.
This event, which is co-located with ICST 2018, will be held on the 9th of April 2018 in Vasterås, Sweden.
More details can be found in the attached PDF Call For Papers.
Submission Deadline: 12th of January, 2018
Notification Date: 19th of February, 2018
Camera Ready: 28th of February, 2018