18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017) VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. Scope

The Fourth International Conference on Electrical, Electronics, Computer Engineering and their Applications (EECEA2017) University of Perpetual Help System DALTA, Las Piñas, Manila, Philippines October 11-13, 2017 URL: http://sdiwc.net/conferences/4th-international-conference-electrical-electronics-computer-engineering-their-applications/ Email: eecea17@sdiwc.net

The Fifth International Conference on Cyber Security, Cyber Welfare and Digital Forensic (CyberSec2017) April 22-24, 2017 St. Mary's University, Addis Ababa, Ethiopia URL: http://sdiwc.net/conferences/5th-international-cyber-security-cyber-welfare-digital-forensic/ Email: cybersec17@sdiwc.net

10th International Conference on Pervasive Technologies Related to Assistive Environments The PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdisciplinary conference that focuses on computational and engineering approaches to improve the quality of life and enhance human performance in a wide range of settings, in the workplace, at home, in public spaces, urban environments, and other.

CALL FOR PAPERS SPIE 2017 conference on Cyber Physical Systems May 8-10, 2017 | Barcelona, Spain | http://spie.org/EMT/conferencedetails/cyber-physical-systems

The 16th International Conference on Information Processing in Sensor Networks (IPSN '17) In Conjunction with CPSWeek - https://cpsweek2017.ece.cmu.edu/

Design, Automation and Test in Europe (DATE 2017) DATE 2017, will take place from 27 to 31 March, 2017, at the SwissTech Convention Centre in Lausanne, Switzerland.

Building IoT 2017 http://www.buildingiot.london

25th Euromicro International Conference on Parallel, Distributed and Network-based Processing The PDP 2017 conference organized by Laboratory of Computer Security Problems of SPIIRAS will be held in St. Petersburg, Russia. Parallel, Distributed, and Network-Based Processing

The Third International Conference on Digital Security and Forensics (DigitalSec2016) that will be held at Asia Pacific University of Technology and Innovation (APU), Kuala Lumpur, Malaysia on September 06-08, 2016, which aims to enable researchers build connections between different digital applications. The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers and state-of-the-art lectures.