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.

Articles & Issues  

Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto Spiking Neural Networks as Timed Automata Proceedings of the Thematic Research School on Advances in Systems and Synthetic Biology (ASSB), 2017
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli Aggregate Graph Statistics Electronic Proceedings in Theoretical Computer Science, EPTCS 264, 2018
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli Space-Time Universality of Field Calculus Coordination Models and Languages, Lecture Notes in Computer Science 10852, 2018
Stefano Mariani Coordination of Complex Socio-technical Systems: Challenges and Opportunities Lecture Notes in Computer Science, Lecture Notes in Computer Science 11176, 2018


Event Data


— type



Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY