[ecoop-info] CFP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for IoT

[Guido Salvaneschi]

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


-- 
Guido Salvaneschi
Assistant Professor
TU Darmstadt - Germany