We will be organizing exciting workshops and events for next year. Please contact us for more information or register in the emailing list.


Seminars and Meetings

  • We are currently holding a monthly Verification of Autonomous Systems Seminar Series via Zoom on the first Thrusday of the month.  If you would like to receive invitations and information about this series, please join our TC using the "Join Us" link above.  It features presentations from TC members at both introductory and advanced levels.  If you would like to present, please contact the TC Co-Chairs using the information at the "Contact" link above. 
    • Upcoming speakers are posted below in the "Upcoming Events" section
    • Slides from previous seminars will be posted below as they become available through the links in the "Past Events" section.
  • We will be planning a new workshop soon - please use the Join Us link to automatically receive information or contact the Co-Chairs to get involved.

Information and Data Calls

  • We will be sending out a periodic newsletter with updates to this site and any information or calls submitted by TC members or external parties
    • If you have something to submit, please email the Co-Chairs and it will be included in the next Newsletter
    • Content types: 
      • Information about upcoming events - lectures, seminars, symposia, workshops
      • Calls for papers, workshop and tutorial proposals, participation, and grant proposals
      • Requests for information and/or support
      • News - new publications, meeting updates, where to find slides and presentation content for past events




Verification of Autonomous Systems Seminar Series

August 6, 2020, 12:00 noon EDT

Jyotirmoy Vinay Dshmukh, "Learning Safe Deep Neural Network Controllers for Autonomous Systems"

John S. Baras, "Trusted Autonomy Theory and Applications"

September 3, 2020




Verification of Autonomous Systems Seminar Series

May 7, 2020

Signe Redfield, "Autonomous Behavior Specification" 

Dejanira Araiza-Illan, "On verification, safety and manufacturing in Industrie 4.0"

 June 4, 2020

Michael Fisher, "Steps to Verifying Autonomous Systems

Mauricio Castillo-Effen, "Trustworthy Autonomous Systems" (slides coming)

July 2, 2020

Youcheng Sun, "Validation and Verification of Learning-Enabled State Estimation System for Robotics" 

Chris Allsopp, "Developing a Taxonomy of Errors for the Integration of Autonomous Components" 


Contact us | Join Us