[TYPES/announce] FOCLASA 2017 - Call for Participation

[foclasa2017 at gmail.com]

[Apologies for multiple postings]


------ FOCLASA 2017: Call for Participation ------


FOCLASA 2017: 15th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems


Date: September 5, 2017, Trento (Italy)
Co-located with SEFM 2017 - http://sefm17.fbk.eu


Web: http://foclasa.lcc.uma.es/


------------------------------------------------------


FOCLASA 2017 is a workshop colocated with the 15th International
Conference on Software Engineering and Formal Methods (SEFM 2017). The
goal of the FOCLASA workshop is to put together researchers and
practitioners to share and identify common problems, and to devise
general solutions in the context of coordination languages and
self-adaptive systems.


------ REGISTRATION ------


http://sefm17.fbk.eu/registration


------ INVITED SPEAKER ------


Gianluigi Zavattaro, University of Bologna, Italy


------ ACCEPTED PAPERS ------


* "An initial user study comparing the readability of a graphical 
coordination model with Event-B notation."
Eva Kühn and Sophie Therese Radschek

* "Combining trust and aggregate computing."
Roberto Casadei, Alessandro Aldini and Mirko Viroli

* "From (incomplete) TOSCA specs to running apps, with Docker."
Antonio Brogi, Davide Neri, Luca Rinaldi and Jacopo Soldani

* "Lightweight preprocessing for agent-based simulation of smart mobility 
initiatives." 
Jacopo de Berardinis, Giorgio Forcina, Carlo Castagnari, Ali Jafari 
and Marjan Sirjani

* "Towards the performance analysis of elastic systems with e-Motions."
Patrícia Araújo de Oliveira, Francisco Durán and Ernesto Pimentel

* "Reasoning about Sensing Uncertainty in Decision-Making for 
Self-Adaptation." 
Javier Cámara Moreno, Wenxin Peng, David Garlan and Bradley Schmerl

* "Using Coq for Formal Modeling and Verification of Timed Connectors."
Weijiang Hong, Saqib Nawaz, Xiyue Zhang, Yi Li and Meng Sun