Seminari di Fabio Patrizi e Silvia Bonomi

I seminari di Silvia Bonomi dal titolo "Optimal Distributed Storage with Mobile Byzantine Failures" e di di Fabio Patrizi dal titolo "Data-aware System Verification via Faithful Abstraction" si terranno in Aula Magna lunedì 10 ottobre 2016 alle 14:30 e 15:30 rispettivamente.