It's smart to be fair. Researchers from the Formal Methods and Tools group of ISTI-CNR are working on scalable analysis techniques to support smart applications for the efficient and equitable sharing of resources in the cities of our future. The research is being carried out under the European FET-Proactive project, QUANTICOL.