QUANTICOL Industrial Engagement Event


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

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