This volume LNCS 13912 constitutes the refereed proceedings of the 20th International Symposium o...