[TYPES/announce] FOCLASA 2017 - Call for Participation
foclasa2017 at gmail.com
foclasa2017 at gmail.com
Fri Aug 4 09:31:06 EDT 2017
[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
More information about the Types-announce
mailing list