QUANTICOL is a 4-year EU-funded project started in March 2013, involving researchers from across Europe.
The project aims to develop an innovative formal design and analysis framework for collective adaptive systems (CAS). The framework consists of a purposely defined specification language, paired with a large variety of tool-supported, scalable analysis techniques.
Domains of interest for QUANTICOL include, but are not limited to: public transportation systems in smart cities, smart grids, and biologically-inspired systems.
On the 24th of May 2017 QUANTICOL will organize an Industry engagement event, whose scope is to boost the technological transfer of the results obtained during the project.
Confirmed industrial participants
- ENEL, https://www.enel.it/
- INTECS, http://www.intecs.it/
- United Technology Research, http://www.utrc.utc.com/
Any other companies interested in participating to the event should contact Rocco De Nicola
Tentative agenda (24/05/2017)
10:30 – 11:00 Coffee and Registration 11:00 – 11:30 Overview of the QUANTICOL project (Jane Hillston - University of Edinburgh) 11:30 – 13:00 Industrial challenges (Representatives from INTECS, United Technology Research, ENEL (tbc) ) 13:00 – 14:00 Lunch 14:00 – 14:15 Specifying collective adaptive behaviours (Michele Loreti - IMT & University of Firenze) 14:15 – 14:30 Performance models of software (Mirco Tribastone - IMT) 14:30 – 14:45 Model reduction of dynamical systems (Andrea Vandin - IMT) 14:45 – 15:00 Efficient large scale verification (Luca Bortolussi - ISTI CNR & University of Trieste) 15:00 – 15:15 Spatio-temporal model checking and monitoring (Vincenzo Ciancia - ISTI CNR) 15:15 – 15:30 Safety verification of uncertain systems (Max Tschaikowski - IMT) 15:30 – 15:45 Prediction in bike sharing systems (Nicolas Gast - INRIA) 15:45 – 16:00 Discussion and feedback 16:00 – 16:15 Closing remarks (Rocco De Nicola - IMT)
IMT Lucca, Piazza San Francesco, 19, 55100 Lucca, Italy