The 1st Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS) will be co-Located with the LADC 2019 Conference (Latin-American Dependable Computing) on November 19th Natal, Brasil.

The goal of the workshop is to provide a common forum where researchers from across the world can debate new research ideas and directions on novel dependability assessment approaches for cyber-physical and complex systems by gathering researchers and practitioners working on cypher-physical research topics and related areas such as data communication in cyber-physical networks, safety and security of cyber-physical and critical systems, automated verification and validation of critical systems.