The next online seminar associated with the IEEE RAS TC on the Verification of Autonomous Systems will be held in October

Date: Thursday October 7th, 9:00 EDT, 13:00 GMT, 21:00 SGT

 

Please join the Zoom Meeting: 

https://jnjmeetings.zoom.com/j/96621588639

Meeting ID: 966 2158 8639

 

Instructions:

 * On joining, you will initially be put into a "waiting room"

 * Please mute your microphone and turn off your video

 * We will take questions - please input these via the chat

 

Program (short talks of 15/20 minutes each):

  • Sadra Sadraddini, "Coordination of Large Heterogeneous Teams from Temporal Logic Specifications"
  • Kevin Leahy, "Efficient Motion Planning with Collision Avoidance Guarantees"

 

If you wish to propose a talk for future seminars, then email Dejanira or Kevin (dejanira.araiza.i@gmail.comkevin.leahy@ll.mit.edu).

Finally, a reminder to notify your colleagues about the TC web page where both joining instructions and seminar details/talks appear:

https://www.ieee-ras.org/verification-of-autonomous-systems

 

The next online seminar associated with the IEEE RAS TC on the Verification of Autonomous Systems will be held in December!

Date: Thursday December 2nd, 9:00 EST, 14:00 GMT, 22:00 SGT
Please join the Zoom Meeting: 
Instructions:
  * On joining, you will initially be put into a "waiting room"
  * Please mute your microphone and turn off your video
  * We will take questions - please input these via the chat

Programme (short talks of 15/20 minutes each):

Mohammad Reza Mousavi, "Trust in Autonomous Systems through Verifiability"

Simos Gerasimou, "Evolutionary-Guided Controller Synthesis for Autonomous Systems"

If you wish to propose a talk for future seminars, then email Dejanira or Kevin (dejanira.araiza.i@gmail.comkevin.leahy@ll.mit.edu).

Finally, a reminder to notify your colleagues about the TC web page where both joining instructions and seminar details/talks appear:
https://www.ieee-ras.org/verification-of-autonomous-systems

 

 

IEEE RAS Technical Committee on the Verification of Autonomous Systems  |   Monthly Newsletter   |   June 2021

 

Call for Expressions of Interest – Distinguished Lecturers and Junior Co-Chairs

The IEEE TC on the Verification of Autonomous Systems is seeking expressions of interest from those interested in becoming Distinguished Lecturers or those interested in becoming Junior Co-Chairs.

The role of Distinguished Lecturers is described at: https://www.ieee-ras.org/educational-resources-outreach/distinguished-lecturer-program

The role of the Junior Co-Chairs will be to assist with, and in some cases lead, the ongoing and future activities of the TC. As the TC Co-Chairs rotate it is also likely that new Co-Chairs will have already served as Junior TC Co-Chairs. Typically, Junior Co-Chairs will be early career researchers, though we welcome all expressions of interest.

In both cases we are looking for keen and active researchers and practitioners from Industry, government or academia, especially those who actively participate in the RAS community (for example, attending conferences).

Expressions of interest (stating whether for Junior Co-Chair or Distinguished Lecturer) outlining your reasons for applying, together with a CV, should be sent to the TC Co-Chairs (michael.fisher@manchester.ac.uksigne@ieee.orgdejanira.araiza.i@gmail.com).

Call for Participation – Volunteers to organize ICRA 2022 Workshop on Verification of Autonomous Systems

 The IEEE TC on the Verification of Autonomous Systems is seeking volunteers to help organizing a relevant workshop to be held in ICRA 2022. If you are interested in participating, please contact the TC Junior Co-chair Joanna Olszewska (Joanna.Olszewska@ieee.org).

 

Call for Participation – SMC-IT Workshop on Accelerating the Use of Autonomy on Robotic Space Missions

 Martin Feather co-organizing a workshop on “Accelerating the Use of Autonomy on Robotic Space Missions” as one of the mini-workshops at the (100% virtual) SMC-IT conference at the end of July. The aim is to address three questions:

·        What are the impediments to using autonomy on robotic space missions?

·        Which of those impediments apply to which kinds of space missions?

·        What is/can/should be done to overcome those impediments?

If you think you might be interested, please see our webpage at https://accelerating-autonomy-workshop.github.io/

Note that to participate in the workshop requires registering for the SMC-IT conference – see the conference homepage at https://smcit.ecs.baylor.edu/ for descriptions and links. The (modest) registration covers the entire conference – all the keynotes, paper presentations, and mini-workshops, several of which in addition to ours are autonomy-related:

·        Machine Learning for Spacecraft Health https://smcit.ecs.baylor.edu/mw-cfp-machine-learning.html

·        Engineering of Autonomic and Autonomous Systems (EASe) https://smcit.ecs.baylor.edu/mw-cfp-ease.html

·        Trusted Artificial Intelligence (TUTORIAL) https://smcit.ecs.baylor.edu/mw-cfp-trusted-ai.html

 

Monthly Webinar (TC Committee Meeting) – IEEE RAS TC on Verification of Autonomous Systems

The next IEEE RAS TC on Verification of Autonomous Systems Webinar will take place on September 9th, 2021, at 9:00 EDT, 13:00 GMT, 21:00 SGT. This meeting will last 2 hours and we will discuss the following matters:

·        Roadmap

·        Committee updates

·        Working groups and new TC co-chairs

·        Upcoming activities

The TC will send a separate Zoom meeting invite soon.

Please note that the monthly seminar series will take a summer break in July and August.

 

The IEEE Technical Committee on the Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on 1 April 2021, 9:00 EDT13:00 GMT. The program is as follows:


Aurora Schmidt & Marin Kobilarov, "Verified Assured Learning for Unmanned Embedded Systems (VALUES)"

Ali Narenji Sheshkalani, "Verification of visibility-based properties on multiple moving robots in an environment with obstacles"

If you wish to attend this seminar please join the IEEE TC mailing list on our webpage- https://www.ieee-ras.org/verification-of-autonomous-systems

 

 

 

The IEEE Technical Committee on the Verification of Autonomous Systems invites you to attend our monthly online Seminar Series. The next seminar will take place on March 9:00 EST14:00 GMT. The program is as follows:

Tom Freund, "Urban Air Mobility: Verifying trust"

Liren Yang, "Synthesis-guided Adversarial Example Generation for Gray-box Autonomous Systems with Sensing Imperfections"

 

We are currently holding a monthly Verification of Autonomous Systems Seminar Series via Zoom on the first Thursday of each month.  If you would like to receive invitations and information about this series, please SIGN UP to be a part of our Technical Committee. 

Our online seminar series features presentations from TC members at both introductory and advanced levels.  If you would like to present, please contact the TC Co-Chairs for more information.


Easy Links