<p>JULY 2015 | VOL. 58 | NO. 7 | COMMUNICATIONS OF THE ACM |&nbsp;Vijay Kumar and Thomas A. Kalil</p>

<p>This article provides expert insights to modern cyber threat intelligence without marketing material or vendor fluff to give readers a better understanding of this complex but critical area of cyber defense.</p> <p>https://www.…

<p>The 2015 Co-summit will be held on 10 &amp; 11 March in the bcc Berlin Congress Center in Berlin, Germany.</p> <p>The event is jointly organised by ARTEMIS, represented by ARTEMIS Industry Association, the association for actors…

<p>Bosch sponsers the 500 Euro prize for the most promising benchmark result.</p>

<p>April 13, 2015, Seattle, USA<br> <br> <a href="http://cps-vo.org/group/ARCH">http://cps-vo.org/group/ARCH</a><br> <br> Verification of continuous and hybrid systems is increasing in…

<p>ARCH15 is taking place at CPS Week in Seattle, USA. For more information on CPS Week, see <a href="http://www.cpsweek.org/2015/">http://www.cpsweek.org/2015/</a></p>

<h3>See the Washington Post article featuring Raj Ragunathan's work on Autonomous Transportation Systems.</h3> <h3>An autonomous car takes a capital test run.</h3> <p><em>Driverless cars are coming. And those of…

<h3>NIST Cyber-Physical Systems Public Working Group</h3> <h4>What are Cyber-Physical Systems or CPS?</h4> <ul> <li>Is a CPS any engineered system with a microprocessor?</li> <li>Do all CPS need…

<p>The proceedings of the ARCH14 workshop are now available in the <a href="http://cps-vo.org/node/9442/browser">Files section</a> on the website.</p>

<p><a href="http://cps-vo.org/group/aspiringPIs/videos">Videos of the workshop sessions</a> were captured to permit broad dissemination. Videos are available on YouTube, and each video has closed-captioning subtitles in…

<p>If you were awarded travel support, your paperwork is complete and being processed by University of Arizona central administration. If you get your check, send an email to <a href="mailto:sprinkjm@email.arizona.edu?subject=RE%3A%…

<p>The CPS Solicitation (<a href="http://www.nsf.gov/pubs/2014/nsf14542/nsf14542.htm#toc">NSF 14-542</a>) has hit the street. Proposals are due by June 02, 2014.</p>

<p>A tentative version of the workshop program is now <a href="http://cps-vo.org/group/ARCH/Program">available</a>. The program committee accepted 12 out 16 submissions, 8 of which are benchmarks.</p> <p>Looking…

<h2 style="text-align: center;">1st International Workshop on<br> Applied Verification for Continuous and Hybrid Systems<br> CPSWeek 2014, Berlin, Germany, April 14, 2014</h2> <p style="text-align: center…

<p>The paper titled "Compositional Verification of a Medical Device System", authored by Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats P.E. Heimdahlwon the "Outstanding Paper Award" at the ACM High Integrity…