Architectures, Languages and Paradigms for IoT
Turin, Italy, 18/09/2017

The Internet of Things is ushering a dramatic increase in number and variety of interconnected and smart objects. Communication capabilities and computational power are growingly embedded in everyday devices including personal smart devices, public displays, cars, drones and electronic tags. This state of the things opens an unprecedented range of research opportunities. Inherent distribution, mobility, situatedness, and heterogeneity of such devices calls for proper scientific understanding of the foundations of such systems as well as for novel software methods.
The workshop aims at critically reviewing the state-of-the-art and the state-of-the-practice of formal techniques and software methods for the IoT. The presentation of open problems and challenges will trigger discussion between the participants with different views and backgrounds with the ultimate goal of identifying a common research agenda. This workshop solicits original contributions on architectures, languages, paradigms, and techniques with potential practical and theoretical impact on software systems targeting the IoT.

works as
origin event for publication
page_white_acrobatAggregate Graph Statistics (paper in proceedings, 2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
page_white_acrobatSpace-Time Universality of Field Calculus (paper in proceedings, 2018) — Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
page_white_acrobatSpiking Neural Networks as Timed Automata (paper in proceedings, 2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
page_white_acrobatCoordination of Complex Socio-technical Systems: Challenges and Opportunities (paper in proceedings, 2018) — Stefano Mariani