CFP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for IoT

Call for Papers

*** 1st workshop on Architectures, Languages and Paradigms for IoT ***

September 18th, 2017

Co-located with the 13th International Conference on integrated Formal Methods (iFM 2017), University of Torino, Turin, Italy

http://bit.ly/alp4iot2017

Accepted full papers will be published in EPTCS - Electronic Proceedings in Theoretical Computer Science

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

=== Topics ===

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 and languages

- Programming tools

- Verification

- Distributed platforms

- Frameworks for the IoT

- Architectures for the IoT

- Interesting application domains and scenarios

=== Submissions ===

We will accept two types of contributions:

* "regular papers" (between 5 and 15 pages), and

* "extended abstracts" (between 2 and 4 pages).

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.

===  Important dates ===

Abstract registration: June 12th, 2017

Paper submission: June 16th, 2017

Notification of Acceptance: July 14th, 2017

Camera-Ready Version: July 21th, 2017

=== Invited Speaker ===

Schahram Dustdar, TU Wien, Austria (http://www.infosys.tuwien.ac.at/staff/sd/)

=== PC Chairs ===

Danilo Pianini, Alma Mater Studiorum Università di Bologna, Italy
Guido Salvaneschi, Technische Universität 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