Wiki source code of ALP4IoT 2017

Hide last authors

version	line-number	content
11.1	1	>1st Workshop on Architectures, Languages and Paradigms for IoT
	2
3.1	3	Date: September 18th, 2017
1.1	4
3.1	5	Location: Co-located with the [[13th International Conference on integrated Formal Methods (iFM 2017)>>http://ifm2017.di.unito.it/]], University of Torino, Turin, Italy
1.1	6
3.1	7	Registration: All attendees at the workshop must register for iFM 2017 through [[the conference website>>http://ifm2017.di.unito.it/]].
1.1	8
3.1	9	Accepted papers: [[papers.zip>>https://apice.unibo.it/xwiki/bin/download/ALP4IoT2016/WebHome/papers.zip]]
1.1	10
3.1	11	(% style="border: 1px solid #4682B4;padding:5px" %)
	12	(((
	13	=== Scope ===
1.1	14
3.1	15	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.
1.1	16
3.1	17	=== Important Dates ===
1.1	18
3.1	19	* Abstract registration: June --5th-- --12th-- 22th, 2017
	20	* Paper submission: June --12th-- --16th-- 26th, 2017
	21	* Notification of Acceptance: July --10th-- --14th-- 21st, 2017
	22	* Camera-Ready Version: July --17th-- --21st-- 28th, 2017
1.1	23
3.1	24	=== Topics of interest ===
1.1	25
	26	This workshop accepts both theoretical and practical contributions targeting the emerging field of the Internet of Things, and in particular:
	27
	28	* Engineering methodologies
	29	* Formal models
	30	* Novel paradigms
	31	* Novel languages
	32	* Programming tools
	33	* Verification
	34	* Distributed platforms
	35	* Frameworks for the IoT
	36	* Architectures for the IoT
	37	* Case studies
	38
3.1	39	=== Submission and publication ===
1.1	40
	41	We will accept two types of contributions:
	42
	43	* "regular papers" (between 5 and 15 pages), and
	44	* "extended abstracts" (between 2 and 4 pages).
	45
3.1	46	All papers should be submitted in PDF format using this Easychair [[login page>>https://easychair.org/conferences/?conf=alp4iot2017]]. We require the authors to follow the [[formatting rules of EPTCS>>http://info.eptcs.org/]], as such papers should be prepared in LaTeX using the [[EPTCS macro package>>http://style.eptcs.org/]].
1.1	47
	48	By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work.
	49
	50	Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality.
	51
3.1	52	Accepted regular papers will be published in [[EPTCS - Electronic Proceedings in Theoretical Computer Science>>http://www.eptcs.org]]. 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.
1.1	53
3.1	54	=== Invited speakers ===
1.1	55
3.1	56	==== Keynote 1 by [[Einar Broch Johnsen>>http://einarj.at.ifi.uio.no/]], University of Oslo, Norway ====
1.1	57
3.1	58	Title: Asynchronous Software Evolution: Obtaining Type Safety by Combining Type Checking and Runtime Constraints
1.1	59
3.1	60	Abstract: The Internet of Things connects devices ranging from every day objects to sensors and actuators, in order to enable data sensing, analysis, and interaction between devices. Deploying these "things" at scale leads to complex interconnected systems such as smart houses, condition-based maintenance of industrial installations, etc. It is a major challenge how to maintain and evolve software for these systems, in which things dynamically connect and disconnect, and in which interactions between devices are typically asynchronous, in order to fix bugs, add features, or improve analysis or performance. In this talk, we discuss this problem in terms of a model of asynchronous software evolution for active objects and propose language abstractions to program asynchronous evolution, which can guarantee type safety by combining type checking with runtime constraints.
1.1	61
3.1	62	About the speaker: Einar Broch Johnsen is Professor at the Department of Informatics, University of Oslo. His research interests are in the field of software development and analysis, spanning from programming languages and methodology, via system specification and modeling, to formal methods and associated theory. Johnsen is particularly interested in the analysis of concurrent and distributed systems, resource awareness and resource management, and mechanisms for software evolution and reuse. His research in the last years has increasingly focused on abstract behavioral specification formalisms and their use for model-based verification of real systems. Prof. Johnsen was the coordinator of the European research project Engineering Virtualized Services (Envisage) on model-based verification techniques to predict the behavior of services deployed on the cloud, and he is the deputy director of Sirius, a Norwegian Center for research-driven Innovation on scalable data access.
1.1	63
3.1	64	==== Invited industrial talk by [[Cristina Chesta>>https://www.linkedin.com/in/cristina-chesta-3623a66/?ppe=1]], REPLY ====
1.1	65
3.1	66	Title: IoT Opportunities and Solutions
1.1	67
3.1	68	Abstract: The Internet of Things is becoming part of every aspect of our lives, enabling new use cases and creating value for consumers, companies, and economies. In this talk we introduce some relevant trends, challenges and opportunities related to IoT from an industry perspective, and we present some examples of solutions developed by Concept Reply in this area.
1.1	69
3.1	70	About the speaker: Cristina Chesta holds a PhD in Informatics and System Engineering and a MSc in Electronic Engineering both from Politecnico di Torino. She was a visiting scientist at Bell Labs and worked ten years in Motorola as software architect and project manager in different research and development projects related to human computer interaction and software engineering. She is currently a Senior Consultant in Concept Reply and her research interests in the last years have been focusing on the domain of Internet of Things. She is the coordinator of project HyVar, on hybrid variability to support continuous and highly individualized evolution of distributed software applications, and of project PersonAAL, about personalized web applications to improve quality of life and remote care for older adults.
1.1	71
3.1	72	==== Keynote 2 by [[Lars-Åke Fredlund>>http://babel.ls.fi.upm.es/fred/]], Universidad Politécnica de Madrid, Spain ====
1.1	73
3.1	74	Title: Testing Shared Resources
1.1	75
3.1	76	Abstract: The talk describes an approach to testing a class of safety-critical concurrent systems implemented using shared resources. A shared resource based system consists of a number of processes (active objects) that interact through calls to a set of shared resources which control the amount of concurrency in the system. Shared resources are described using a declarative specification, from which both efficient implementations can be derived, and which serves as the first approximation of the state-based test model used for testing implementations. In the talk we will illustrate the testing methodology by applying it to the task of testing the safety-critical software that controls an automated shipping plant, initially specified as a shared resource, which fulfills shipping orders serviced by a set of autonomous robots. The operations of the robots are governed by a set of rules limiting the weight of robots, and their cargo, to ensure safe operations.
1.1	77
3.1	78	About the speaker: Dr. Lars-Ake Fredlund is an Associate Professor at the Universidad Politécnica de Madrid (Spain). His research interests focuses on reasoning formally about concurrent programs in programming languages such as Java or the actor-based Erlang programming language. In 2001, Fredlund received his PhD from the KTH Royal Institute of Technology (Sweden) on the topic of using theorem proving techniques to formally prove Erlang programs correct. Later research has focused on providing model checking support for concurrent functional programming languages, and on the application of property-based testing techniques to testing concurrent systems. Fredlund has participated in several EU research projects and has published over 50 papers in international journals and conferences.
1.1	79
3.1	80	=== Program ===
1.1	81
3.1	82	8:15 - 8:45 - [[Entrance, via Verdi 9>>http://ifm2017.di.unito.it/venue-viaVerdi9.php]]
1.1	83
	84	Registration
	85
3.1	86	8:45 - 9:00 - [[Sala Multifunzione 1, via Verdi 9>>http://ifm2017.di.unito.it/venue-viaVerdi9.php]]
1.1	87
	88	Plenary session, Paola Pisano (Deputy Mayor for Innovation and Smart City at the City of Turin)
	89
3.1	90	9:00 - 10:00 - [[Aula Magna del Rettorato, via Verdi 8, first floor>>http://ifm2017.di.unito.it/venue-viaVerdi8ff.php]]
1.1	91
	92	Keynote 1 by Einar Broch Johnsen - joint with ARVI
	93
3.1	94	10:00 - 10:30
1.1	95
	96	Coffee break
	97
3.1	98	10:30 - 12:10 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]
1.1	99
3.1	100	Onoriode Uviase and Gerald Kotonya. //IoT Architectural Framework: A review of Connection and Integration Framework for IoT systems//
1.1	101
3.1	102	Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo and Filippo Ricca. //Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things//
1.1	103
3.1	104	Sven Linker and Michele Sevegnani. //Formalising Sensor Topologies for Target Counting//
1.1	105
3.1	106	12:10 - 13:40
1.1	107
	108	Lunch
	109
3.1	110	13:40 - 14:20 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]
1.1	111
	112	Invited industrial talk by Cristina Chesta
	113
3.1	114	14:20 - 15:20 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]
1.1	115
3.1	116	Giorgio Audrito, Ferruccio Damiani and Mirko Viroli. //Aggregate Graph Statistics//
1.1	117
3.1	118	Giorgio Audrito and Sergio Bergamini. //Resilient Blocks for Summarising Distributed Data//
1.1	119
3.1	120	15:20 - 15:50
1.1	121
	122	Cofee break
	123
3.1	124	15:50 - 17:30 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]
1.1	125
3.1	126	WAO'17 Session
1.1	127
3.1	128	Keynote 2 by Lars-Åke Fredlund
	129	Eduard Kamburjan and Reiner Hähnle. //Prototyping Formal System Models with Active Objects//
1.1	130
3.1	131	Minas Charalambides, Karl Palmskog and Gul Agha. //Types for Progress in Actor Programs//
1.1	132
3.1	133	17:30 - [[Sala Principe d'Acaja, via Verdi 8, ground floor>>http://ifm2017.di.unito.it/venue-viaVerdi8gf.php]]
1.1	134
	135	Closing
	136
3.1	137	19:30
1.1	138
3.1	139	ARVI, ALP4IoT and WAO Social dinner not included in the registration. Details can be found [[here>>http://ifm2017.di.unito.it/ARVIdinner.php]].
1.1	140
3.1	141	=== Program Chairs ===
1.1	142
3.1	143	* [[Danilo Pianini>>mailto:danilo.pianini@unibo.it]], University of Bologna, Italy
	144	* [[Guido Salvaneschi>>mailto:salvaneschi@unimore.it]], Technical University of Darmstadt, Germany
1.1	145
3.1	146	=== Program Committee ===
1.1	147
3.1	148	* [[Marco Aiello>>http://www.cs.rug.nl/aiellom]], University of Groningen, Netherlands
	149	* [[Giorgio Audrito>>http://www.unito.it/persone/gaudrito]], University of Torino, Italy
	150	* [[Ezio Bartocci>>http://www.eziobartocci.com/]], Vienna University of Technology, Austria
	151	* [[Jacob Beal>>http://web.mit.edu/jakebeal/www/]], Raytheon BBN Technologies, USA
	152	* [[Christian Becker>>https://becker.bwl.uni-mannheim.de/en/staff/prof_dr_christian_becker/]], Unversity of Mannheim, Germany
	153	* [[Tomas Bures>>http://d3s.mff.cuni.cz/bures]], Charles University, Czech Republic
	154	* [[Siobhán Clarke>>https://www.scss.tcd.ie/Siobhan.Clarke/]], Trinity College Dublin, Ireland
	155	* [[Simon Dobson>>http://www.simondobson.org/]], University of St Andrews, UK
	156	* [[David Eyers>>http://www.cl.cam.ac.uk/dme26/]], University of Otago, New Zealand
	157	* [[Cheng Feng>>http://www.imperial.ac.uk/people/c.feng]], Imperial College London, UK
	158	* [[Ilias Gerostathopoulos>>http://www4.in.tum.de/gerostat/]], Technical University Munich, Germany
	159	* [[Ernst Moritz Hahn>>http://lcs.ios.ac.cn/hahn/]], Chinese Academy of Sciences, China
	160	* [[Salima Hassas>>https://liris.cnrs.fr/membres?idn=shassas]], Claude Bernard-Lyon1, France
	161	* [[Jane Hillston>>http://homepages.inf.ed.ac.uk/jeh/]], University of Edinburgh, UK
	162	* [[Christian Johansen>>http://www.mn.uio.no/its/english/people/aca/cristi/index.html]], University of Oslo, Norway
	163	* [[Einar Johnsen>>http://einarj.at.ifi.uio.no/]], University of Oslo, Norway
	164	* [[Alberto Lluch Lafuente>>http://www.albertolluch.com/]], Technical University of Denmark, Denmark
	165	* [[Stefano Mariani>>http://stefanomariani.apice.unibo.it/]], University of Bologna, Italy
	166	* [[Julie McCann>>http://wp.doc.ic.ac.uk/aese/person/julie-a-mccann/]], Imperial College London, UK
	167	* [[Michele Sevegnani>>http://www.dcs.gla.ac.uk/michele/]], University of Glasgow, UK
	168	* [[Franco Zambonelli>>http://personale.unimore.it/rubrica/dettaglio/zambonelli]], University of Modena and Reggio Emilia
1.1	169
3.1	170	=== Steering Committee ===
1.1	171
3.1	172	* [[Tomas Bures>>https://d3s.mff.cuni.cz/bures/]], Charles University, Czech Republic
	173	* [[Siobhán Clarke>>https://www.scss.tcd.ie/Siobhan.Clarke/]], Trinity College Dublin, Ireland
	174	* [[Ferruccio Damiani>>http://www.di.unito.it/damiani/]] (chair), University of Torino, Italy
	175	* [[Schahram Dustdar>>http://www.infosys.tuwien.ac.at/staff/sd/]], TU Wien, Austria
	176	* [[Jane Hillston>>http://homepages.inf.ed.ac.uk/jeh/]], University of Edinburgh, UK
	177	* [[Michele Loreti>>http://www.micheleloreti.com/]], University of Firenze, Italy
	178	* [[Julie McCann>>http://wp.doc.ic.ac.uk/aese/person/julie-a-mccann/]], Imperial College London, UK
	179	* [[Guido Salvaneschi>>http://www.stg.tu-darmstadt.de/staff/guido_salvaneschi/index.en.jsp]], Technical University of Darmstadt, Germany
	180	* [[Mirko Viroli>>http://apice.unibo.it/xwiki/bin/view/MirkoViroli/WebHome]], University of Bologna, Italy
	181	)))