News
-
CPS-VO.org now supports DOI!<p>The latest release of the CPS-VO.org has added <strong>Zenodo</strong> support for generating archives and including DOI information for content types such as files, news items, web pages, and wiki pages!</p>
-
Cybersecurity postdoc at North Carolina State University<h2><a href="https://jobs.ncsu.edu/postings/136396">Come postdoc with us! </a></h2> <p>This position will be part of the NSA-sponsored Science of Security lablet which North Carolina…
-
Solicitation: NSF Secure and Trustworthy CyberSpace (SaTC) [Solicitation 21-500]<h2><strong>Secure and Trustworthy Cyberspace (SaTC)</strong></h2> <p><strong>PROGRAM SOLICITATION<br> NSF 21-500</strong></p> <p><strong>REPLACES DOCUMENT(S):<br> NSF 19-…
-
ARCH 2020 Best Result Award<p>The ARCH 2020 Best Result Award goes to Luis Benet, Marcelo Forets, Daniel Freire, David P. Sanders, and Christian Schilling (in alphabetical order) for their verification tool JuliaReach. The award comes with a 500 Euro prize…
-
2020 Music City BEST Season Registration is Open!<p>I am excited to announce the 2020 Season Dates! This year's game is "Outbreak". Team registration is now open and can be found here.</p> <ul> <li>Kickoff - 09/19/20 -…
-
NSF 20-052 - Dear Colleague Letter on the Coronavirus Disease 2019 (COVID-19)<p>Dear Colleague,</p> <p>In light of the emergence and spread of the coronavirus disease 2019 (COVID-19) in the United States and abroad, the National Science Foundation (NSF) is accepting proposals to conduct non-medical, non-…
-
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…