INESC TEC participates in symposium about AUVs