Congrats to Dr. Xiaodong Yang, a Computer Science Ph.D. grad now with Visa Research's Trustworthy AI team, for the Best Artifact Evaluation Award on "Neural Network Repair with Reachability Analysis" at 20th International Conference on Formal Modeling & Analysis of Timed Systems

Enjoyed presenting "Formal Verification for Neural Networks in Autonomous Cyber-Physical Systems" @ the 11th International Symposium On Leveraging Applications of Formal Methods, Verification & Validation (ISoLA'22), thanks for having us! VeriVITAL Vanderbilt Computer Science VU Engineering

We're hiring tenure-track/tenured and teaching track faculty in computer science at Vanderbilt Computer Science VU Engineering, please consider joining our great & collegial department at Vanderbilt University in Nashville Tennessee ! CS Faculty Jobs engineering.vanderbilt.edu/faculty-staff-… vu.edu/destination-cs

🔵 #InvitedTalk 🗣️ Taylor T Johnson, from Vanderbilt Computer Science Vanderbilt University 📅 Tomorrow, Dec. 15th ⏰ 11:00 🔎 “Formal Verification of Neural Networks in Autonomous Cyber-Physical Systems” 📍Mountain View meeting room 302 - #IMDEASoftware 🔴 LIVE on ➡️ zoom.us/j/3911012202 🔐@s3

✨ Applications are now open for the Institute for Software-Integrated Systems' Summer Internship Program. ✨ This paid summer internship runs May 30- Aug. 4, 2023, and is open to current undergraduate and graduate students. Applications are due March 3rd. cps-vo.org/group/isis/int…

The 4th Verification of Neural Networks Competition (VNN-COMP'23) is being held at CAV Tool Registration by March 17, 2023: forms.gle/v8LJxHAoJ8DmnA… Details: sites.google.com/view/vnn2023 Benchmarks / Sponsorships for VNN-COMP are welcome, please contact me #neuralnetworks

Call for research participants! 📢 We are conducting a remote research study on social media and online safety with #teens (13-18 years old) anywhere in the US! Interested participants can sign up here: vusequaltrics.qualtrics.com/jfe/form/SV_1X…

#FMAS2023 will be held iFM this year on the 15th and 16th of November 2023, crossing over with the final day of #ifm23 Deadline: 17th of August 2023 (Anywhere on Earth) We are interested in #FormalMethods applied to almost any kind of autonomous system! #ifm2023

Congratulations to VeriVITAL PhD graduates Drs. Hamilton, Manzanas Lopez, and Musau who were hooded and walked yesterday, it has been a pleasure and honor working with you! VU Engineering Vanderbilt Electrical and Computer Engineering ECE Vanderbilt Computer Science Vanderbilt University

If you're wondering what sort of work #FMAS2023 is interested in, you can take a look at our two invited talks from #FMAS2022 on the Formal Methods Europe Youtube channel: youtube.com/playlist?list=… Delivered by the wonderful Marija Slavkovik and Taylor T Johnson

Had a great time at CAV last week! Diego presented new version of our Neural Network Verification (NNV) tool, and I presented about the Verification of Networks Competition (VNN-COMP). Thanks to organizers & attendees! doi.org/10.1007/978-3-… VeriVITAL VU Engineering

Just in: Vanderbilt University's School of Engineering is waiving its application fee requirement for Ph.D. admission in Summer/Fall 2024 and Spring 2025. Also note that GRE scores are not required for these programs. Learn more: vu.edu/phd-fee-waived

Final call for participation in 5th International Verification of Neural Networks Competition (VNN-COMP'24) to be held with 36th International Conference on Computer Aided Verification CAV and Symposium on AI Verification (SAIV)! Website: sites.google.com/view/vnn2024

Vanderbilt is establishing a transformative college dedicated to computer science, AI, data science and related fields. The new college will collaborate with all VU schools and colleges to boost computing education and support extraordinary breakthroughs. news.vanderbilt.edu/2024/03/25/van…

Upcoming College of Connected Computing at Vanderbilt!

The invited talks from #FMAS2022 are on the Formal Methods Europe YouTube Channel: youtube.com/playlist?list=… * "Common Ground in Moral Norms" by Prof. Marija Slavkovik A and V Network * "Formal Verification for Neural Networks in Autonomous Cyber-Physical Systems" by Taylor T Johnson

The FMAS Best Paper award was announced at #FMAS2024 dinner. Congratulations to Serena Serbinowska, Preston Robinette, Gabor Karsai, and Taylor T Johnson for "Formalizing Stateful Behavior Trees." For more details, attend the #FMAS2024 and #iFM2024 session today at 11:30 (GMT).

The first-ever best paper award winner of #FMAS2024 "Formalizing Stateful Behavior Trees" is being presented by Taylor T Johnson.

6th International Verification of Neural Networks Competition (VNN-COMP'25) w/ 8th International Symposium on AI Verification (SAIV'25) @ 37th International Conference on Computer Aided Verification (CAV'25), consider participating! Details: sites.google.com/view/vnn2025 CAV

Do you work with automated, semi-autonomous, or fully autonomous systems? Then submit your paper to our workshop! Deadline: 22nd Aug 2025 (Anywhere on Earth) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025 (iFM) Details: buff.ly/VZaDX0m #FMAS2025