<p>SaTC supports a variety of educational, workforce training, and development projects through their Education (EDU) funding, which focuses specifically on cybersecurity education. In particular, workforce development is one of the six critical…

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

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

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

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