posted by user: hossein_haeri || 1118 views || tracked by 5 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

FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
SCN-CyberIoT 2017   Special Issue on Cybersecurity in the Internet of Things - Security and Communication Networks Journal
Smart-City-IoT-Security 2017   Special Issue on Security of IoT-enabled Infrastructures in Smart Cities
PerIoT 2018   Second International Workshop on Mobile and Pervasive Internet of Things (co-located with IEEE PerCom 2018)
PerLS 2018   The Second International Workshop on Pervasive Smart Living Spaces
Elsevier JOCS NCP&BD 2017   Elsevier Journal of Computational Science (SCI IF=1.078) Special Issue on The Convergence of New Computing Paradigms and Big Data Analytics Methodologies for Online Social Networks
PLDI 2018   Programming Language Design and Implementation
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
IoT-CyberTrust 2018   IEEE Computer Special Issue on Cybertrust in the IoT Age