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.