APICe » Events » ALP4IoT2017


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.
APICe articles & volumes at ALP4IoT2017
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
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
Stefano Mariani
Coordination of Complex Socio-technical Systems: Challenges and Opportunities
Lecture Notes in Computer Science, Lecture Notes in Computer Science 11176, 2018