<h1>Secure and Trustworthy Cyberspace (SaTC)</h1> <h2><a href="https://www.nsf.gov/pubs/2017/nsf17576/nsf17576.htm#toc">PROGRAM SOLICITATION</a>&nbsp;<br> NSF 17-576</h2> <h2>REPLACES…

<p>The SaTC program brings together researchers and industry stakeholders to ensure that technologies can be transitioned into large-scale deployment and direct transfers to industry through Industry/University Cooperative Centers (IUCRC) proposals…

<p>SaTC and, more broadly, the National Science Foundation support international cooperation, such as the <a href="https://www.nsf.gov/pubs/2016/nsf16019/nsf16019.jsp"><strong>US-Israel BSF International Opportunity</strong…

<p>The Best ARCH 2017 Paper Award goes to Stanley Bak and Parasara Sridhar Duggirala for their paper "Direct Verification of Linear Systems with over 10000 Dimensions". Congratulations! The award comes with a 500 Euro prize from Bosch.…

<p><br> Recordings from the&nbsp;<a href="https://itsa.adobeconnect.com/_a932559885/p7j8e173vo2/">Regional Intelligent Transportation System (ITS) Data Sharing</a>&nbsp;and&nbsp;<a href="https://…

<p><a href="http://cps-vo.org/og/subscribe/29231"><img alt="Join the CAT Vehicle Challenge!" src="/sites/default/files/u1301/joinbutton_orange_0.png" style="width: 98px; height: 98px; float: right;"…

<p style="text-align: center;"><strong>Call for Student Posters on Unmanned Aircraft Systems (UAS) Communications and Networking Research</strong></p> <p>&nbsp;</p>

<p><strong>Important Information for Proposers</strong></p> <p>A revised version of the NSF Proposal &amp; Award Policies &amp; Procedures Guide (PAPPG) (NSF 16-1), is effective for proposals submitted, or due, on…

<p style="text-align: justify;">

<p>Dear colleagues,<br> <br> First of all, it is a distinct pleasure to introduce a stable version of the shiny new KeYmaera X theorem prover for hybrid systems.<br> <br> http://keymaeraX.org/<br> <br…

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

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

<p><strong>PUBLIC RELEASE:&nbsp;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;"…

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

<p>The best tool award at ARCH 2016&nbsp;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.…

<p><em><strong>New Features Added to the Open Source Application Development Portal (OSADP)</strong></em></p>