DUHDe – 4th Workshop on Design Automation for Understanding Hardware Designs Friday Workshop W03 at DATE 2017 The design process is essentially a creative process which is reliant on the ability of designers to balance the interactions between a…

Building on the success of ACM Conference on Computer and Communications Security (CCS), the ACM Special Interest Group on Security, Audit, and Control (SIGSAC) formally established the annual ACM Asia Conference on Computer and Communications Security (…

CALL FOR PAPERS Second Workshop on Live Adaptation of Software SYstems (LASSY) co-located with <Programming> 2017 http://2017.programmingconference.org Developing current-day software systems is challenging. On the one hand, their…

The 8th International Conference on Information and Communication Systems (ICICS 2017) Technically Co-Sponsored by IEEE The International Conference on Information and Communication Systems (ICICS 2017) is a forum for scientists, engineers, and…

1st Workshop on Trusted Smart Contracts in association with Financial Cryptography 17 http://fc17.ifca.ai A potentially highly transformational technology currently developing on top of blockchain technologies are smart contracts, i.e. self-…

Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017) September 04, 2017 | Berlin (Germany) | https://www.concur2017.tu-berlin.de/express_sos.html Affiliated…

CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 10-15 workshops, a localization competition, tutorials and various exhibitions from both industry and academia. Altogether…

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

8th ACM/SPEC International Conference on Performance Engineering (ICPE 2017)  Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG SCOPE AND TOPICS The goal of the International Conference on Performance Engineering (ICPE) is to integrate theory…

3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017) Affiliated with ETAPS 2017 Scope  Hybrid systems are complex dynamical systems that combine discrete and continuous components.…

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-…

The Fourth International Conference on Education, Technologies and Computers (ICETC2017) The event will be held over three days, with presentations delivered by researchers from the international community, including presentations from keynote speakers…