IMDEA Software co-organizes two summerschols

The IMDEA Software Institute is currently involved in the organization of two Summer Schools:

Gilles Barthe co-organizes ProbProgSchool 2017, a summer school on probabilistic programming in Braga, Portugal.
Carmela Troncoso co-organizes the Summer School on Real-World Crypto and Privacy in Sibenik, Croatia.