Miniworkshop on Consistency problems in distributed and concurrent systems
Martedì, 13 Febbraio, 2018
Martedì 13, dalle 9.30 alle 12.30 in Aula Seminari si terrà un miniworkshop di avvio del progetto di ateneo 2017.
Un approccio logico-categoriale a problemi di consistenza in sistemi concorrenti e distribuiti.
Tutti gli interessati sono invitati a partecipare/Participation is open to anyone interested.