update of extended abstract