<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 &nbsp;is a high-performance autonomous racing…

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

<p>The&nbsp;ARCH 2019&nbsp;Best Result Award goes to Fabian Immler for his verification tool Isabelle/HOL-ODE-Numerics.&nbsp;The award comes with a 650 Euro prize sponsored by Bosch. Since Fabian couldn't be at the ceremony,…

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

<p>The&nbsp;2019&nbsp;SATC&nbsp;PI meeting will be held at the Hilton Alexandria Mark Center in Alexandria, VA at 5000 Seminary Rd, Alexandria, VA 22311 from&nbsp;October 27-29, 2019. More details regarding registration will be sent…

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

<p>There has historically been uncertainty about the relationship between CPS and IoT, which has hindered close interaction and communication across the respective communities.

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

<p>Off the Grid ...&nbsp;<a href="https://youtu.be/kcaoyXWEDCU">https://youtu.be/kcaoyXWEDCU</a></p>

<p>Four Music City BEST Teams advanced to the 2018 South BEST at Auburn University on December 1 &amp; 2.&nbsp; The competition held a wildcard tournament called the Regional Invitational Tournament (RIT) for the second year.&nbsp; Five…

<p>Congratulations to the Music City BEST teams advancing to the South BEST Regional Championships held at&nbsp;Auburn University!</p> <ul> <li>BEST Award - 1st&nbsp;Place:&nbsp; Stewarts Creek&nbsp;Middle…

<p>Congratulations to all 15 teams for creating robots and playing the game on October 20th in Lipscomb University Allen Arena!&nbsp; It was a challenging year and as always the&nbsp;students exceeded expectations.&nbsp; The awards…

<p>In celebration of BEST's 25th anniversary year, the 2018 game (Current Events) will be revealed nationally on a livestream.&nbsp; The reveal is scheduled as follows (see the QR code on the attached flyer for more details):</p…

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

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

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