The QUANTICOL project will have a Spring School in Bertinoro, Italy to disseminate the project results to PhD students and other researchers from around the world. The summer school on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Evaluation of Collective Adaptive Systems, will take place 20th – 24th June 2016.
This event is being organised with Professor Marco Bernardo, as part of the series of workshops on “Formal Methods for…” which Professor Bernardo has been organising at the Centro Universario Residenziale di Bertinoro for more than fifteen years.
There will also be a Springer volume associated with the summer school. Further details can be found at the webpage http://www.sti.uniurb.it/events/sfm16quanticol/.