posted by user: hossein_haeri || 3882 views || tracked by 7 users: [display]

ALP4IoT 2017 : 1st Workshop on Architectures, Languages and Paradigms for IoT


When Sep 18, 2017 - Sep 18, 2017
Where Turin, Italy
Abstract Registration Due Jun 12, 2017
Submission Deadline Jun 16, 2017
Notification Due Jul 14, 2017
Final Version Due Jul 21, 2017
Categories    internet of things   programming paradigms   verification   formal models

Call For Papers

1st Workshop on Architectures, Languages and Paradigms for IoT

Date: September 18th, 2017

Location: Co-located with the 13th International Conference on integrated Formal Methods (iFM 2017), University of Torino, Turin, Italy

Registration: All attendees at the workshop must register for iFM 2017 through the conference website.


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. We welcome inter-disciplinary approaches.

Important Dates

Abstract registration: June 5th, 2017
Paper submission: June 12th, 2017
Notification of Acceptance: July 10th, 2017
Camera-Ready Version: July 17th, 2017
Topics of interest

This workshop accepts both theoretical and practical contributions targeting the emerging field of the Internet of Things, and in particular:

Engineering methodologies
Formal models
Novel paradigms
Novel languages
Programming tools
Distributed platforms
Frameworks for the IoT
Architectures for the IoT
Case studies
Submission and publication

We will accept two types of contributions:

"regular papers" (between 5 and 15 pages), and
"extended abstracts" (between 2 and 4 pages).
All papers should be submitted in PDF format using this Easychair login page. We require the authors to follow the formatting rules of EPTCS, as such papers should be prepared in LaTeX using the EPTCS macro package.

By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work.

Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality.

TO BE CONFIRMED: Accepted regular papers will be published in EPTCS - Electronic Proceedings in Theoretical Computer Science. Extended abstracts will be presented at the workshop, but will not appear in the proceedings: they will be published (according to the EPTCS publication policy), in HTML form on EPTCS online.

Invited speaker

Schahram Dustdar, TU Wien, Austria

Title: TBA

Abstract: TBA

Program Chairs

Danilo Pianini, University of Bologna, Italy
Guido Salvaneschi, Technical University of Darmstadt, Germany
Program Committee

Marco Aiello, University of Groningen, Netherlands
Giorgio Audrito, University of Torino, Italy
Ezio Bartocci, Vienna University of Technology, Austria
Jacob Beal, Raytheon BBN Technologies, USA
Christian Becker, Unversity of Mannheim, Germany
Tomas Bures, Charles University, Czech Republic
Siobhán Clarke, Trinity College Dublin, Ireland
Simon Dobson, University of St Andrews, UK
David Eyers, University of Otago, New Zealand
Cheng Feng, Imperial College London, UK
Ilias Gerostathopoulos, Technical University Munich, Germany
Ernst Moritz Hahn, Chinese Academy of Sciences, China
Salima Hassas, Claude Bernard-Lyon1, France
Jane Hillston, University of Edinburgh, UK
Christian Johansen, University of Oslo, Norway
Einar Johnsen, University of Oslo, Norway
Alberto Lluch Lafuente, Technical University of Denmark, Denmark
Stefano Mariani, University of Bologna, Italy
Julie McCann, Imperial College London, UK
Michele Sevegnani, University of Glasgow, UK
Franco Zambonelli, University of Modena and Reggio Emilia
Steering Committee

Tomas Bures, Charles University, Czech Republic
Siobhán Clarke, Trinity College Dublin, Ireland
Ferruccio Damiani (chair), University of Torino, Italy
Schahram Dustdar, TU Wien, Austria
Jane Hillston, University of Edinburgh, UK
Michele Loreti, University of Firenze, Italy
Julie McCann, Imperial College London, UK
Guido Salvaneschi, Technical University of Darmstadt, Germany
Mirko Viroli, University of Bologna, Italy

Related Resources

ASPLOS 2023   Architectural Support for Programming Languages and Operating Systems
NCO 2023   9th International Conference on Networks and Communications
VSI: IPMC2022 EMERGING 2022   Special Issue on Emerging Information Processing and Management Paradigms: Edge Intelligence, Federated Learning, and Blockchain
MLT 2023   4th International Conference on Machine Learning & Trends
IOTBS 2023   3rd International Conference on IOT, Big Data and Security
IOTBC 2023   International Conference IOT, Blockchain and Cryptography
ACM-Ei/Scopus-CNIOT 2023   2023 4th International Conference on Computing, Networks and Internet of Things (CNIOT 2023) -EI Compendex
IJCNC 2022   Special Issue on: Intelligent Networks, Communication and Mobility for Mobile Internet of Things
ITCA 2023   11th International Conference of Information Technology, Control and Automation
INDIN 2023   IEEE International Conference on Industrial Informatics