[Tccc] CfP: First International Workshop on Connecting software-intensive networked systems in today's Pervasive digital Environment (CoPinE)

(Apologies for multiple copies)

------------------------------------------------
Call For Papers

First International Workshop on
"Connecting software-intensive networked systems in today's Pervasive
digital Environment"
(CoPinE - http://copine.iit.cnr.it)

Hersonissos, Crete, October 21-22 2010
Co-located with ISOLA 2010 (http://isola-conference.org/isola2010/)

CoPinE is sponsored by the EU Project CONNECT (http://connect-forever.eu/)

The pervasive computing vision is hampered by the often extreme level of
heterogeneity in the underlying infrastructure, which in turns impacts
on the ability to seamlessly interoperate. Further, the fast pace at
which technology evolves at all abstraction layers increasingly
challenges the lifetime of networked systems in the digital environment.
Overcoming the interoperability challenge in ubiquitous computing
systems requires scientific and technology development that goes beyond
the traditional middleware paradigm. Indeed, interoperability among
networked systems may no longer be addressed statically during the
systems' development but rather must be solved dynamically as systems
meet each other in the networks they join. Hence, interoperability in
pervasive networks requires the developer to deal with a number of
heterogeneity issues, starting from the application layer. This also
calls for a supporting methodology and associated theory to reason about
system interoperability on the fly. This in turn demands significant
advances in associated tools and techniques for enacting dynamic
interoperability in areas spanning from the dynamic discovery of
networked peers and their protocols to the potential synthesis of
appropriate mediators/connectors. Last but not least, dependability of
systems should be ensured regarding both the functional and
non-functional properties offered by the connected systems.

This event aims at investigating the possibility of dynamically and
iteratively connecting software-intensive networked systems, thus
enabling the continuous composition of networked systems to respond to
the evolution of functionalities provided to and/or required from the
networked environment. In particular, this should happen independently
of the embedded software technologies. The event focuses on all the
research aspects of this effort, from architectural issues, to those
involving modeling, verification, synthesis, learning, interoperability
and dependability of networked systems. Topics of interest include at
least, but are not limited to:

* Architecture design and management towards interoperability in
pervasive networks
* Heterogeneity, scale, interoperability, run-time aspects and
dynamicity of pervasive computing systems
* Formal models for software intensive systems, including connectors
* Quantitative modeling and verification techniques for on-line/off-line
system assessment
* Synthesis of behavioral models for pervasive systems
* Model driven engineering for pervasive systems (including connectors)
* Automated techniques for system/component/connector behavior learning
* Automated interface discovery and learning
* Dependability analysis and assurance in open pervasive networks
(including social and human aspects)
* Security, privacy and trust issues in open pervasive networks

Important Dates:

* Abstract submission: 21 June 2010

* Paper submission: 28 June 2010

* Author notification: 25 July 2010

* Camera ready version: 23 August 2010

Program Committee:

Christel Baier, TU Dresden
Antonia Bertolino, CNR
Gordon Blair, U. of Lancaster
Roy Campbell, U. of Illinois at Urbana Champaign
Licia Capra, UCL
Felicita di Giandomenico, CNR
Giovanna Di Marzo, U. of London
Valerie Issarny, INRIA (co-chair)
Paola Inverardi, U. of L'Aquila
Christine Julien, U. of Texas
Bengt Jonsson, Upsaala University
Joost-Pieter Katoen, RWTH Aachen
Marta Kwiatkowska, U. of Oxford
Fabio Martinelli, CNR (co-chair)
Ugo Montanari, U. of Pisa
Brian Randell, U. of Newcastle upon Tyne
Gruia-Catalin Roman, Washington University in St. Louis
Mary Shaw, CMU
Jeremy Sproston, U. of Turin
Bernhard Steffen, U. of Dortmund (co-chair)
Frits Vaandrager, U. of Nijmegen
Nalini Venkatasubramanian, U. of California
Hugues Vincent, THALES

Submission and Publication
We seek original contributions in the research areas previously
mentioned Submissions should be PDF documents typeset in the LNCS
conference proceedings format, not longer than 15 pages. All
submissions must be in English. The CoPinE proceedings will be in
electronic format. A special journal issue, collecting revised and
extended version of selected papers is planned.
_______________________________________________
Tccc mailing list
Tccc@lists.cs.columbia.edu
https://lists.cs.columbia.edu/cucslists/listinfo/tccc