News
-
Call to Action to the Tech Community on New Machine Readable COVID-19 Dataset<h2>THE WHITE HOUSE<br> Office of Science and Technology Policy</h2> <p><strong>FOR IMMEDIATE RELEASE</strong><br> March 16, 2020 </p> <p>Today, researchers and leaders… -
Solicitation: NSF Secure and Trustworthy CyberSpace (SaTC) [Solicitation 19-603]<h2><strong>Secure and Trustworthy Cyberspace (SaTC)</strong></h2> <p><strong>PROGRAM SOLICITATION<br> NSF 19-603</strong></p> <p><strong>REPLACES DOCUMENT(S):<br> NSF 18-…
-
Solicitation: NSF Secure and Trustworthy CyberSpace (SaTC) [Solicitation 19-603]<h2><strong>Secure and Trustworthy Cyberspace (SaTC)</strong></h2> <p><strong>PROGRAM SOLICITATION<br> NSF 19-603</strong></p> <p><strong>REPLACES DOCUMENT(S):<br> NSF 18-…
-
NSA-approved cybersecurity law and policy course now available online<h2>NSA-approved cybersecurity law and policy course now available online</h2> <p><strong>Cyber Scoop</strong></p> <p><strong>Shannon Vavra</strong></p> <p><strong>August… -
Solicitation: NSF Secure and Trustworthy CyberSpace (SaTC) [Solicitation 19-572]<p>Secure and Trustworthy Cyberspace Frontiers (SaTC Frontiers)</p> <p>PROGRAM SOLICITATION <br> NSF 19-572</p>
-
2019 Music City BEST Season Registration is Open!<p>I am excited to announce the 2019 Season Dates! This year's game is "<a href="https://youtu.be/kcaoyXWEDCU">Off the Grid</a>". <a href="https://www.eventbrite.com/e/2019-music-city… -
F1/10<p><img alt="" src="/sites/default/files/u1301/f1_stickers-03.png" style="width: 130px; height: 130px; float: left; margin-left: 0px; margin-right: 10px;">F1/10 is a high-performance autonomous racing… -
The 3rd International Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP'19)<p><strong><img alt="" src="/sites/default/files/u1301/ARCHicon.png" style="margin-left: 0px; margin-right: 10px; float: left; width: 150px; height: 150px;">The 3rd International Competition on Verifying…
-
ARCH 2019 Best Result Award<p>The ARCH 2019 Best Result Award goes to Fabian Immler for his verification tool Isabelle/HOL-ODE-Numerics. The award comes with a 650 Euro prize sponsored by Bosch. Since Fabian couldn't be at the ceremony,…
-
Logical Foundations of Cyber-Physical Systems (15-424)<p class="MsoPlainText" style="margin:0in 0in 0.0001pt"><span style="font-size:11pt"><span style="font-family:Calibri,sans-serif">This video sequence accompanies the textbook on Logical… -
2019 SaTC PI Meeting – Save the Dates<p>The 2019 SATC PI meeting will be held at the Hilton Alexandria Mark Center in Alexandria, VA at 5000 Seminary Rd, Alexandria, VA 22311 from October 27-29, 2019. More details regarding registration will be sent…
-
Verification Tool Competition<p>ARCH brings together researchers and practitioners to establish a curated set of benchmarks for verification, testing and reachability, and evaluate them in a friendly competition. ARCH started in 2014 and has sustained a vibrant community since… -
NIST Special Publication 1900-202 on CPS and IoT<p>There has historically been uncertainty about the relationship between CPS and IoT, which has hindered close interaction and communication across the respective communities. -
NSF 19-040 Dear Colleague Letter: Revisions to the Cyber-Physical Systems and Smart and Connected Communities Program Deadlines<p>NSF 19-040</p> <p>Dear Colleague Letter: Revisions to the Cyber-Physical Systems and Smart and Connected Communities Program Deadlines</p> <p>February 15, 2019</p> <p>Dear Colleagues:</p>… -
2019 BEST Game Teaser<p>Off the Grid ... <a href="https://youtu.be/kcaoyXWEDCU">https://youtu.be/kcaoyXWEDCU</a></p> -
Music City BEST Team Results at 2018 South BEST<p>Four Music City BEST Teams advanced to the 2018 South BEST at Auburn University on December 1 & 2. The competition held a wildcard tournament called the Regional Invitational Tournament (RIT) for the second year. Five…