I. Software Defined Smart Cities: Integrating the Cyber World with the Internet of Things

Prof. Antonio Puliafito

Professor at the University of Messina, Director of Lab on Smart Cities & Communities of the Italian Interuniversity Consortium on Informatics (CINI).


A smart city represents an improvement of today's cities both functionally and structurally, that strategically utilizes many smart factors, such as information and communications technology (ICT), to increase the city's sustainable growth and strengthen city functions, while ensuring citizens' quality of life and health. Cities can be viewed as a microcosm of "objects" with which citizens interact daily: street furniture, public buildings, transportation, monuments, public lighting and much more. Moreover, a continuous monitoring of a city's status occurs through sensors and processors applied within the real-world infrastructure. The Internet of Things (IoT) concept imagines all these objects being "smart", connected to the Internet, and able to communicate with each other and with the external environment, interacting and sharing data and information. Each object in the IoT can be both the collector and distributor of information regarding mobility, energy consumption, air pollution as well as potentially offering cultural and tourist information. As a consequence, cyber and real worlds are strongly linked in a smart city. New services can be deployed when needed and evaluation mechanisms will be set up to assess the health and success of a smart city. This talk will present some innovative developments in areas related to sensors and smart cities, introduce the crowdfunding #SmartME initiative and present the ToolSmart smart cities project in the cities of Turin, Padoa, Lecce and Syracuse.

Short bio

Antonio Puliafito is a full professor of computer engineering at the University of Messina, Italy. His interests include parallel and distributed systems, networking, IoT, Cloud computing, advanced analytical modeling techniques. He regularly acts as a referee for the European Community since 1998. He contributed to the development of the software tools WebSPN, ArgoPerformance and Stack4Things. He co-authored the text entitled "Performance and Reliability Analysis of Computer Systems", edited by Kluwer. He leads the Center for Information Technologies at University of Messina (CIAM). From 2006 to 2008 he acted as the technical director of the Project 901, winner of the CISCO innovation award. He actively contributed to the success of the TriGrid VL and PI2S2 projects. He has been working in several EU funded projects such as: Reservoir, Vision Cloud, CloudWave, Beacon, Frontier Cities. He was also the main investigator of the Italian PRIN2008 research project Cloud@Home, to combine cloud and volunteer computing. He acted as scientific coordinator of the PON 2007-2013 SIGMA project on using cloud computing to manage severe risk phenomena. He is coordinating the #SmartME crowdfunding initiative to develop a smart city framework in the city of Messina. He is the co-founder of, a startup working on the integration of cloud and IoT in smart cities contexts. He leads the Toolsmart project to enhance re-using of smart city solutions in the cities of Turin, Padua, Lecce and Syracuse. He is the Director of the Lab on Smart Cities & Communities of the Italian Consortium on Informatics (CINI).

II. Fault Tolerance in Dynamic Distributed Systems

Prof. Pierre Sens

Professor at Sorbonne Université, CNRS Research Director


Nowadays, distributed systems are more and more versatile. Computing units can join, leave or move inside a global infrastructure. These features require the implementation of dynamic systems that can cope autonomously with changes in their structure. It therefore becomes necessary to define, develop, and validate distributed algorithms able to manage such dynamic at a large scale. Failure detection is a prerequisite to failure mitigation and a key component to build distributed algorithms requiring resilience. We introduce the problem of failure detection in asynchronous network where the transmission delay is not known. We show how distributed failure detector oracles can be used to address fundamental problems such as consensus, k-set agreement, or mutual exclusion. Then, we focus on new advances and open issues for taking into account the dynamic of the infrastructure.

Short bio

Pierre Sens obtained his Ph.D. in Computer Science in 1994, and the "Habilitation à diriger des recherches" in 2000 from Paris 6 University, France. Currently, he is a full Professor at Sorbonne Université. His research interests include distributed systems and algorithms, large scale data storage, fault tolerance, and cloud computing. Pierre Sens is heading the Delys group which is a joint research team between LIP6 and Inria Paris. He was member of the Program Committee of major conferences in the areas of distributed systems and parallelism (DISC, ICDCS, IPDPS, OPODIS, ICPP, Europar, ...) and serves as General chair of SBAC and EDCC. Overall, he has published over 150 papers in international journals and conferences and has acted for advisor of 25 PhD theses.