ALP4IoT 2017

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 12th, 2017
  • Paper submission: June 12th 16th, 2017
  • Notification of Acceptance: July 10th 14th, 2017
  • Camera-Ready Version: July 17th 21st, 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
  • Verification
  • 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.

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

Program Committee

Steering Committee