posted by user: hossein_haeri || 4363 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 5, 2017
Submission Deadline Jun 12, 2017
Notification Due Jul 10, 2017
Final Version Due Jul 17, 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

IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
ICBICC 2024   2024 International Conference on Big Data, IoT, and Cloud Computing (ICBICC 2024)
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
QCPP 2024   Quantum Computing: Principles and Paradigms
ACM-Ei/Scopus-DMNLP 2024   2024 International Conference on Data Mining and Natural Language Processing (DMNLP 2024)
JARES 2024   International Journal of Advance Robotics & Expert Systems
IoT-SECFOR 2024   The 8th International Workshop on Security and Forensics of IoT
COMIT 2024   8th International Conference on Computer Science and Information Technology
HiPEAC SC 2024   HiPEAC Reproducibility Student Challenge
Call for Chapters - CRC Press 2024   Internet of Things: Challenges and Advances