posted by user: hossein_haeri || 4236 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

blockchain_ml_iot 2023   Network (MDPI) Special Issue - Blockchain and Machine Learning for IoT: Security and Privacy Challenges
IEEE Xplore-Ei/Scopus-CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
ACM-Ei/Scopus-DMNLP 2024   2024 International Conference on Data Mining and Natural Language Processing (DMNLP 2024)
INSPIRE 2023   The First International Workshop on Intelligent Systems and Paradigms for Next Generation Computing Evolution
SNLP 2024   5th International Conference on Semantic & Natural Language Processing
IEEE ICBDA 2024   IEEE--2024 the 9th International Conference on Big Data Analytics (ICBDA 2024)
HiPEAC SC 2024   HiPEAC Reproducibility Student Challenge
DCOSS-IoT 2024   The 20th Annual International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT 2024)
CCCIoT 2024   5th International Conference on Cloud Computing and IoT