CALL FOR PAPERS - Submissions in July Workshop on Dependability in Evolving Systems (WDES 2016) Cali, Colombia | 19-21 October 2016 http://rcl.dsi.unifi.it/wdes2016/ http://www.unicauca.edu.co/ladc2016/node/55 Co-located with LADC 2016: Latin-American Symposium on Dependable Computing   Topics and Objective

10th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2016) in conjunction with the 24th International Conference on Real-Time and Network Systems (RTNS 2016) Brest, France | October 19-21, 2016 | http://rtns16.univ-brest.fr/

21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016) Overview

PUBLIC RELEASE: 22-JUN-2016

Workshop explores how artificial intelligence can be engineered for safety and control

Carnegie Mellon and White House Office of Science and Technology Policy will co-host

Call for Papers Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016) Held in conjunction with ESWEEK 2016 October 6 2016 | Pittsburgh, PA, USA | http://www.cyphy.org/

Smart Cities Week Smart Cities Week® is the first major smart cities event in North America to bring together public and private sector visionaries, including officials from all levels of government and leading companies actively deploying smart technologies in cities around the globe.  This premier event, hosted by the Smart Cities Council, will showcase leading-edge companies and cutting-edge solutions in fresh and exciting ways. Contact us today to learn about Diamond, Gold and Platinum sponsorship opportunities.

27th IEEE International Symposium on Rapid System Prototyping (RSP 2016) as part of ESWeek

The 14th Overture Workshop 7 November 2016 | Cyprus, Greece | http://overturetool.org/workshops/14th-Overture-Workshop.html co-located with The Formal Methods Europe Symposium 2016  INTRODUCTION