[ecoop-info] CfP: ALP4IoT - 1st workshop on Architectures, Languages and Paradigms for the IoT (ALP4IoT) 2017

[Danilo Pianini]

The first workshop on Architectures, Languages and Paradigms for IoT
will open a space for discussing the state-of-the-art and the
state-of-the-practice of formal techniques and software methods for
the IoT. It will be held at the University of Turin on September 19th,
co-located with the 13th International Conference on integrated Formal
Methods (iFM 2017).
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

-- 
Ing. Dott. Danilo Pianini, PhD

Dipartimento di Informatica - Scienza e Ingegneria
Alma Mater Studiorum Università di Bologna

Contacts available at:
http://www.unibo.it/docenti/danilo.pianini
http://danilopianini.apice.unibo.it/