Venerdì 13 dicembre 2019 alle 11.00, presso l'Aula Alfa della sede di via Salaria, si terrà l'evento "Logiche e categorie per distribuzione e concorrenza - Workshop in onore di Anna Labella". L'incontro si instaura all’interno del progetto “Un approccio logico-categoriale a problemi di consistenza in sistemi concorrenti e distribuiti”, volto ad esplorare l’uso di categorie arricchite e delle logiche da esse derivate per lo studio di sistemi distribuiti e concorrenti, in particolare nel framework dei Blockchain.
Questo è l’ultimo campo su cui Anna Labella si è impegnata e su cui tutt’ora sta lavorando. Il workshop sarà un’occasione per presentare il lavoro svolto e in svolgimento a colleghi di altre università, nonché di raccogliere loro possibili contributi inerenti ai temi del progetto, con lo scopo di iniziare nuove collaborazioni. Sarà inoltre un modo per rivisitare i contributi all’informatica che Anna Labella ha dato nel corso degli anni e contestualizzarli nel panorama scientifico internazionale.