Changes for page ALP4IoT 2017

From version 4.1
edited by Andrea Omicini
on 19/11/2021 19:37
Change comment: There is no comment for this version
To version 20.1
edited by Andrea Omicini
on 17/06/2023 00:01
Change comment: There is no comment for this version

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,0 @@
1 -ALP4IoT 2017
Default language
... ... @@ -1,1 +1,0 @@
1 -en
Content
... ... @@ -1,14 +1,6 @@
1 -= 1st workshop on Architectures, Languages and Paradigms for IoT =
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
Colocated Event
... ... @@ -1,0 +1,1 @@
1 +Event.BioinspiredIjbic2015,Event.Iotsms2022
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
Hosted Event
... ... @@ -1,0 +1,1 @@
1 +Event.Iotsms2022,Event.Eumas2016
Hosting Event
... ... @@ -1,0 +1,1 @@
1 +Event.Ucc2014,Event.Mobiwis2018
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
Funding Project
... ... @@ -1,0 +1,1 @@
1 +Project.NokiaMobileCoord
Event Series
... ... @@ -1,0 +1,1 @@
1 +ALP4IoT
Event Sort
... ... @@ -1,0 +1,1 @@
1 +workshop
Source Event
... ... @@ -1,0 +1,1 @@
1 +Event.Mobiwis2018,Event.SiAlIIIJaamas,Event.Cm2003
Special Issue
... ... @@ -1,0 +1,1 @@
1 +Event.Cm2003,Event.Eumas2016,Event.DlpTplp2017
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