Changes for page ALP4IoT 2017
From version 5.1
edited by Andrea Omicini
on 14/01/2022 08:36
on 14/01/2022 08:36
Change comment:
There is no comment for this version
To version 19.1
edited by Andrea Omicini
on 16/06/2023 23:59
on 16/06/2023 23:59
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (0 modified, 5 added, 0 removed)
Details
- Page properties
-
- Default language
-
... ... @@ -1,1 +1,0 @@ 1 -en - Content
-
... ... @@ -1,14 +1,6 @@ 1 - =1stworkshop on Architectures, Languages and Paradigms for IoT(ALP4IoT 2017) =1 +>1st Workshop on Architectures, Languages and Paradigms for IoT 2 2 3 -{{velocity filter="none"}} 4 -{{html clean="false" wiki="true"}} 5 -<img src="http:~//apice.unibo.it/xwiki/bin/download/ALP4IoT2016/WebHome/alp4iot.png"/> 6 - 7 -##{image:alp4iot.png} 8 -<p/> 9 9 **Date:** September 18th, 2017 10 -{{/html}} 11 -{{/velocity}} 12 12 13 13 **Location:** Co-located with the [[13th International Conference on integrated Formal Methods (iFM 2017)>>http://ifm2017.di.unito.it/]], University of Torino, Turin, Italy 14 14
- Events.Class[0]
-
- Abstract Submission Date
-
... ... @@ -1,0 +1,1 @@ 1 +2017-06-22 00:00:00.0 - Event Acronym
-
... ... @@ -1,0 +1,1 @@ 1 +ALP4IoT 2017 - Camera-Ready Submission Date
-
... ... @@ -1,0 +1,1 @@ 1 +2017-07-28 00:00:00.0 - Event Description
-
... ... @@ -1,0 +1,1 @@ 1 +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 - End Date
-
... ... @@ -1,0 +1,1 @@ 1 +2017-09-18 00:00:00.0 - Hosting Journal
-
... ... @@ -1,0 +1,1 @@ 1 +Journal.Acr - Logo
-
... ... @@ -1,0 +1,1 @@ 1 +alp4iot.png - Event Name
-
... ... @@ -1,0 +1,1 @@ 1 +1st Workshop on Architectures, Languages and Paradigms for IoT - Notification Date
-
... ... @@ -1,0 +1,1 @@ 1 +2017-07-21 00:00:00.0 - Series Ordinal
-
... ... @@ -1,0 +1,1 @@ 1 +1st - Full Paper Submission Date
-
... ... @@ -1,0 +1,1 @@ 1 +2017-06-26 00:00:00.0 - Event Series
-
... ... @@ -1,0 +1,1 @@ 1 +ALP4IoT - Event Sort
-
... ... @@ -1,0 +1,1 @@ 1 +workshop - Start Date
-
... ... @@ -1,0 +1,1 @@ 1 +2017-09-18 00:00:00.0 - Submission URL
-
... ... @@ -1,0 +1,1 @@ 1 +https://easychair.org/conferences/?conf=alp4iot2017 - Topics of Interest
-
... ... @@ -1,0 +1,12 @@ 1 +This workshop accepts both theoretical and practical contributions targeting the emerging field of the Internet of Things, and in particular: 2 + 3 +* Engineering methodologies 4 +* Formal models 5 +* Novel paradigms 6 +* Novel languages 7 +* Programming tools 8 +* Verification 9 +* Distributed platforms 10 +* Frameworks for the IoT 11 +* Architectures for the IoT 12 +* Case studies - Where
-
... ... @@ -1,0 +1,1 @@ 1 +Turin, Italy - Event Year
-
... ... @@ -1,0 +1,1 @@ 1 +2017-01-01 00:00:00.0
- Events.Roles.Class[0]
-
- Role in Event
-
... ... @@ -1,0 +1,1 @@ 1 +keynote - People with Role in Event
-
... ... @@ -1,0 +1,1 @@ 1 +Einar Broch Johnsen,Cristina Chesta,Lars-Åke Fredlund
- Events.Roles.Class[1]
-
- Role in Event
-
... ... @@ -1,0 +1,1 @@ 1 +program - People with Role in Event
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.DaniloPianini,Guido Salvaneschi
- Events.Roles.Class[2]
-
- Role in Event
-
... ... @@ -1,0 +1,1 @@ 1 +pc - People with Role in Event
-
... ... @@ -1,0 +1,1 @@ 1 +Marco Aiello,Giorgio Audrito,Ezio Bartocci,Jacob Beal,Christian Becker,Tomas Bures,Siobhán Clarke,Simon Dobson,David Eyers,Cheng Feng,Ilias Gerostathopoulos,Ernst Moritz Hahn,Salima Hassas,Jane Hillston,Christian Johansen,Einar Johnsen,Alberto Lluch Lafuente,XWiki.SMariani,Julie McCann,Michele Sevegnani,Franco Zambonelli
- Events.Roles.Class[3]
-
- Role in Event
-
... ... @@ -1,0 +1,1 @@ 1 +sc - People with Role in Event
-
... ... @@ -1,0 +1,1 @@ 1 +Tomas Bures,Siobhán Clarke,Ferruccio Damiani (chair),Schahram Dustdar,Jane Hillston,Michele Loreti,Julie McCann,Guido Salvaneschi,XWiki.MirkoViroli