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

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

FacebookTwitterLinkedInGoogle

Link: http://apice.unibo.it/xwiki/bin/view/ALP4IoT2016/
 
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.


Scope

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
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.

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

ISIoTEC 2025   The International Symposium on Intelligent IoT and Edge Computing Applications
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
IJU 2024   International Journal of Ubiquitous Computing
IoTI5 2025   7th International Workshop on IoT Applications and Industry 5.0
BIO 2025   7th International Conference on Bioscience & Engineering
OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
IEEE ICBDA 2025   IEEE--2025 the 10th International Conference on Big Data Analytics (ICBDA 2025)
AIVTS 2025   The First International Conference on AI-enabled Unmanned Autonomous Vehicles and Internet of Things for Critical Services
GLECC 2025   GLECC 2025 - International Conference on Globalisation in Languages, Education, Culture, and Communication