News
-
Over $80 million in New Federal Investment and a Doubling of Participating Communities in the White House Smart Cities Initiative<p><strong>The White House</strong><br> Office of the Press Secretary<br> <img alt="" src="/sites/default/files/u1301/HRlight.png" style="width: 900px; height: 1px;"><br> <…
-
ICGT'16 proceedings & talks<p>ICGT'16, the 9th International Conference on Graph Transformation, was held last week in Vienna as part of STAF'16. The proceedings have been published by Springer as volume 9761 in the Lecture Notes in Computer Science series and are…
-
Workshop explores how artificial intelligence can be engineered for safety and control<p><strong>PUBLIC RELEASE: 22-JUN-2016</strong></p> <p><img alt="" src="/sites/default/files/u1301/Screen_Shot_2016-06-28_at_9.02.19_AM.png" style="width: 920px; height: 278px;"…
-
PCAST Releases Technology and the Future of Cities Report to the President<table border="0" cellpadding="1" cellspacing="1" style="border: medium none; width: 920px;"> <tbody> <tr> <td style="background-color: rgb(1, 81, 108);"><span style=…
-
Best Tool Award at ARCH 2016 goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling<p>The best tool award at ARCH 2016 goes to Stanley Bak, Sergiy Bogomolov, and Christian Schilling for their paper "High-level Hybrid Systems Analysis with Hypy". Congratulations! The award comes with a $500 prize from Bosch.…
-
USDOT ITS Joint Program Office – Updates to the Open Source Application Development Portal (OSADP)<p><em><strong>New Features Added to the Open Source Application Development Portal (OSADP)</strong></em></p>
-
Call for Paper: 3rd Architecture Virtual Integration Workshop (ACVI16)============================================================================ Third Workshop on Architecture Centric Virtual Integration at WICSA and CompArch 2016 http://www.acvi-workshop.org/…
-
ARCH16 at CPSWeek in Vienna<p>The third edition of the Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH16) will take place in Vienna, April 2016, as part of CPSWeek.</p>
-
Bosch Sponsoring ARCH16<p>Bosch sponsors the 500 Euro prize for the most promising tool result at ARCH16. Bosch has been a sponsor of the ARCH workshop series since 2015 and has been actively participating in the workshop since the first edition in 2014.</p…
-
Best Tool Result Award for Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan<p>The best tool result award at ARCH 2015 goes to Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan. Congratulations! The award comes with a $600 prize from Bosch.</p>
-
U.S. Department of Transportation Announces up to $42 Million in Next Generation Connected Vehicle Technologies<div id="stcpDiv"> <div id="stcpDiv"> <p><em>New York City, Tampa, FL and Wyoming Selected for Competitive Pilot Programs</em></p>
-
NEW 2016 NSF-USDA Solicitation: Innovations at the Nexus of Food, Energy, and Water Systems (INFEWS)<p><strong><span style="font-size: 16px;">Innovations at the Nexus of Food, Energy and Water Systems (INFEWS)</span></strong></p> <hr> <p><strong><span style="font-size: 14px;…
-
Viewpoint: The Future of Computer Science and Engineering Is in Your Hands<p>JULY 2015 | VOL. 58 | NO. 7 | COMMUNICATIONS OF THE ACM | Vijay Kumar and Thomas A. Kalil</p>
-
Insights to Modern Cyber Threat Intelligence<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.…
-
UnCoVerCPS at Artemis Co-Summit in Berlin, 10-11 March 2015<p>The 2015 Co-summit will be held on 10 & 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…
-
Bosch sponsors ARCH'15<p>Bosch sponsers the 500 Euro prize for the most promising benchmark result.</p>