News
-
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…
-
Music City BEST Teams Advancing to South BEST Regional Championship<p>Congratulations to the Music City BEST teams advancing to the South BEST Regional Championships held at Auburn University!</p> <ul> <li>BEST Award - 1st Place: Stewarts Creek Middle…
-
2018 Music City BEST Award Winners<p>Congratulations to all 15 teams for creating robots and playing the game on October 20th in Lipscomb University Allen Arena! It was a challenging year and as always the students exceeded expectations. The awards…
-
2018 Livestream Game Reveal<p>In celebration of BEST's 25th anniversary year, the 2018 game (Current Events) will be revealed nationally on a livestream. The reveal is scheduled as follows (see the QR code on the attached flyer for more details):</p…
-
Bosch Sponsoring ARCH18<p>Bosch sponsors the 500 Euro prize for the most promising friendly competition result at ARCH18. 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.…
-
ARCH 2018 Best Friendly Competition Result<p>It is our pleasure to announce that Marcelo Forets and Christian Schilling receive the <em>ARCH 2018 Best Friendly Competition Result</em>. They develop the tool JuliaReach, which showed significant improvements for computing…
-
Important Announcement from NSF/SaTC Regarding Changes in the 2019 SaTC Solicitation<p style="margin:0in 0in 0.0001pt"><span style="font-size:12pt"><span style="font-family:Calibri,sans-serif">Dear Colleagues,</span></span></p> <p style="margin:0in 0in 0.0001pt…
-
Solicitation: NSF Secure and Trustworthy Cyberspace (SaTC) [Solicitation 18-572]<p><span style="font-size:20px;"><strong>Secure and Trustworthy Cyberspace (SaTC)</strong></span></p> <p><span style="font-size:16px;"><a href="https://www.nsf.gov/pubs/2018/…
-
Important Announcement from NSF/SaTC Regarding Changes in the 2019 SaTC Solicitation<p style="margin:0in 0in 0.0001pt"><span style="font-size:12pt"><span style="font-family:Calibri,sans-serif">Dear Colleagues,</span></span></p> <p style="margin:0in 0in 0.0001pt…
-
2018 Music City BEST Hub Teams<p>Team registration for 2018 has closed and we have 15 teams for this year's competition. The teams playing are: </p>
-
Eliminating "phantom" traffic jams with self-adaptive cruise control technology<p>Researchers working with the <strong>National Science Foundation</strong> and <strong>Ford</strong> describe how adaptive cruise control could eliminate "phantom" traffic jams.</p> <p>Professor…