Spatial and COllective PErvasive Computing Systems (SCOPES)

Workshop at IEEE SASO 2015, located at MIT, Cambridge, USA on September 21, 2015

This workshop aims at combining three distinct, yet closely related areas of research, which will likely together play a major role in producing the key technical results needed to develop large-scale adaptive distributed systems of future networked scenarios.

• Spatial computing: Spatial computing systems are systems of individual entities, typically situated in a physical environment, in which the ``functional goals'' of the system are generally defined in terms of the system's spatial structure. Typically, such systems are developed following a self-organisation approach, making spatial patterns arise by emergence.
• Collective adaptive systems: Collective computing systems are systems of tightly entangled components, achieving an overall goal through widespread cooperation, typically relying on self-adaptation techniques and collective/social intelligence.
• Pervasive computing: Pervasive computing systems and the “Internet of Things” deal with current and emerging scenarios in which humans, sensors, mobile, and embedded devices engage in complex interactions in a shared environment.

The goal of this workshop is to foster the creation of general-purpose solutions for supporting the development of these kinds of systems, particularly as regards generalizable techniques and architectures. Topics of interest include:

• Foundational models of spatially embedded collective systems, exhibiting resilience, robustness and scalability properties as required by emerging pervasive computing scenarios.
• Tools and tool-chains targeting large-scale situated systems: programming or specification languages, compilers and proof-checking techniques, simulators, tools for property verification, libraries and APIs, supporting platforms, whole infrastructures.
• Innovative methods and techniques for system development, including design patterns, software methodologies, best practices, and practical experience reports.
• Applications contexts and scenarios of general interest to foster the identification of new problems and solutions, taking inspiration from cyber-physical systems, the Internet of things, sensor networks, smart-cities, etc.

SCOPES will be meeting jointly with the FoCAS workshop at SASO. Their joint schedule is:

9:15 - 9:30: Introductions

9:30 - 10:30: Session 1: Organizations

• Jie Jiang, Jeremy Pitt and Ada Diaconescu. Rule Conflicts in Holonic Institutions
• Antonio Bucchiarone, Naranker Dulay, Anna Lavygina, Annapaola Marconi, Heorhi Raik and Alessandra Russo. An Approach for Collective Adaptation in Socio-Technical System

Coffee break

11:00 - 13:00: Session 2: Foundations:

• Amy Kumar, Jacob Beal, Soura Dasgupta, Raghu Mudumbai. Toward Predicting Distributed Systems Dynamics
• Thomas Glazier, Javier Camara, Bradley Schmerl and David Garlan. Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems
• Francesco Luca De Angelis and Giovanna Di Marzo Serugendo. A logic language for run time assessment of spatial properties in self-organizing systems
• Yukio Hayashi. Recoverable DTN Routing based on a Relay of Cyclic Message-Ferries on a MSQ Network

Lunch

14:00 - 15:30: Session 3: Applications:

• David Sanderson, Nikolas Antzoulatos, Jack Chaplin, Dídac Busquets, Jeremy Pitt, Carl German, Alan Norbury, Emma Kelly and Svetan Ratchev. Advanced Manufacturing as an Industrial Application for Collective Adaptive Systems
• Vincenzo Ciancia, Diego Latella, Mieke Massink and Rytis Paskauskas. Exploring Spatio-temporal Properties of Bike-sharing Systems
• Danilo Pianini, Angelo Croatti, Alessandro Ricci and Mirko Viroli. Computational Fields meet Augmented Reality: Perspectives and Challenges

Coffee break

16:00 - 17:30: FoCAS Science Cafe

Papers should present original work and be no longer than 6 pages in the standard IEEE two-column format. All manuscripts should be submitted in PDF form through the submissions system for SCOPES at EasyChair.

Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality. Workshop proceedings will be published on IEEE Xplore in parallel with the main conference proceedings. Post-proceedings publication in a journal is planned.

Questions should be addressed to saso.scopes2015@easychair.org.

• Workshop paper submission: July 11, 2015
• Notification of accepted papers: July 31, 2015
• Camera-ready paper deadline: August 10, 2015
• Workshop at SASO: September 21, 2015

• Dr. Jacob Beal (Raytheon BBN Technologies, USA)
• Dr. Jane Hillson (University of Edinburgh, UK)
• Dr. Mirko Viroli (Univ. of Bologna, Italy)

• Jonathan Bachrach (Berkeley, USA)
• Ezio Bartocci (TU Wien, Austria)
• Spring Berman (Arizona State University, USA)
• Luca Bortolussi (University of Trieste, Italy)
• Sven Brueckner (Axon Connected LLC, USA)
• Siobhan Clarke (Trinity College Dublin, Ireland)
• Daniel Coore (University of the West Indies, Jamaica)
• Ferruccio Damiani (Università di Torino, Italy)
• Rocco De Nicola (IMT - Institute for Advanced Studies Lucca, Italy)
• Giovanna Di Marzo Serugendo (University of Geneve, Switzerland)
• Ada Diaconescu (Telecom ParisTech, CNRS LTCI, France)
• Simon Dobson (University of St Andrews, UK)
• Matt Duckham (University of Melbourne, Australia)
• Stefan Dulman (CWI, Netherlands)
• Schahram Dustdar (TU Wien, Austria)
• Eva Kühn (TU Wien, Austria)
• Mieke Massink (CNR-ISTI, Italy)
• Mirco Musolesi (University of Birmingham, UK)
• Silvia Nittel (University of Maine, USA)
• Antoine Spicher (University Paris Est Creteil, France)
• Katia Sycara (Carnegie Mellon University, USA)
• Christof Teuscher (Portland State University, USA)
• Martin Wirsing (Ludwig-Maximilians-Universitaet Muenchen, Germany)
• Rym Zalila-Wenkstern (UT Dallas, USA)
• Franco Zambonelli (University of Modena and Reggio Emilia, Italy)