<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 2.0cm 2.0cm 2.0cm;}
div.WordSection1
{page:WordSection1;}
--></style></head><body lang=IT link=blue vlink="#954F72"><div class=WordSection1><p class=MsoNormal><span style='font-family:"Courier New"'>======================================================================<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> FOCLASA 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> 16th International Workshop on Foundations of <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> Coordination Languages and Self-adaptive systems<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> Toulouse, France,<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> June 26, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> http://foclasa.lcc.uma.es/<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>======================================================================<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> Publications<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> * Publication of the proceedings in the Lecture Notes of<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> Computer Science of Springer-Verlag, following the collective<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> volumes published by STAF<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> * Publication of extended versions of selected work is<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> planned in a special issue of an international journal<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> as in previous issues of FOCLASA<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>======================================================================<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> IMPORTANT DATES<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> * Submission of abstract: April 13, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> * Submission of papers: April 20, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> * Notification of acceptance: May 20, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> * Final version: June 10, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> * Workshop: June 26, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>======================================================================<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> WORKSHOP GOALS<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Nowadays software systems are distributed, concurrent, mobile, and<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>often involve the composition of heterogeneous components and<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>stand-alone services. Service coordination and self-adaptation<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>constitute the core character istics of distributed and<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>service-oriented systems. Coordination languages and formal<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>approaches to modelling and reasoning about self-adaptive behaviour<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>help to simplify the development of complex distributed service-based<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>systems, enable functional correctness proofs and improve reusability<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>and maintainability of such systems. The goal of the FOCLASA workshop<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>is to gather researchers and practitioners of the aforementioned<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>fields, to share and identify common problems, and to devise general<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>solutions in the context of coordination languages and self-adaptive<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>systems.<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Topics of interest include (but are not limited to):<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Theoretical models and frameworks for component and service <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> coordination, service composition, service adaptation and concurrent <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> system modeling. <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Applications and usability studies for the aforementioned theoretical <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> models, interaction and coordination challenges in various <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> application domains. <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Languages and specification protocols for component and service <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> interaction, their semantics, expressiveness, validation and <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> verification, type checking, static and dynamic analysis. <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* "Software as a service" models (e.g., cloud computing) and dynamic <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> software architectures, such as self-adaptive and self-organizing <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> systems.<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Tools and environments for the development of concurrent and <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> customizable self-monitoring, self-adaptive and self-organizing <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> applications.<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Algorithms, mathematical models and realization frameworks for <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> quality-of-service observation, storage, history-based analysis in <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> self-adaptive systems (queuing models, load balancing, analysis of <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> fault-tolerance, machine learning systems). <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Practice, experience and methodologies from the following areas are <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>solicited as well: <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Business process modelling <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Blockchains<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Cloud/fog/edge computing <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Component-based systems <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Large-scale distributed systems <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* (Micro)service-based systems<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Multi-agent systems <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Peer-to-peer systems <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>* Self-adaptive systems<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> PROCEEDINGS<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>The conference proceedings will be published by Springer, in the<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Lecture Notes in Computer Science (LNCS) series.<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Extended versions of a selection of the best papers is planned to be<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>published in a special issue of an international journal as in<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>previous issues of FOCLASA.<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>SUBMISSION INSTRUCTIONS<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Papers must be submitted electronically in PostScript or PDF by using <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>a two-phase online submission process. Registration of information and<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>and abstract (max. 250 words) of papers must be completed before April <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>13, 2018. Final submission of papers is due no later than April 20, <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>2018. All submissions will be handled through the EasyChair conference <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>management system, accessible from the conference web site:<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>http://pages.di.unipi.it/foclasa<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Contributions must be written in English and report on original,<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>unpublished work not submitted for publication elsewhere. Full papers<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>should be 15 pages long, including figures and references, and <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>prepared by using Springer's LNCS style. Short papers (6 pages long)<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>describing preliminary results or work-in-progress are encouraged as<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>well. Submissions not adhering to the above specified constraints may <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>be rejected without any review. Papers should be submitted as PDF or<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>PS via EasyChair.<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> PROGRAM COMMITTEE<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> Co-Chairs<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Jean-Marie Jacquet University of Namur, Belgium<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> Jean-Marie.Jacquet@unamur.be<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> http://staff.info.unamur.be/jmj<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Jacopo Soldani University of Pisa<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> soldani@di.unipi.it<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> http://pages.di.unipi.it/soldani/<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'> Members<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Gul Agha, University of Illinois at Urbana-Champaign, USA<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Pedro Alvarez, Universidad de Zaragoza, Spain<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Farhad Arbab, CWI, The Netherlands<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Simon Bliudze, INRIA Lille - Nord Europe, France<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Radu Calinescu, University of York, UK<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Javier Camara, Carnegie Mellon University, USA<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Flavio De Paoli, University of Milano, Italy <o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Francisco J. Duran, Universidad de Malaga, Spain<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Erik de Vink, Eindhoven University of Technology, The Netherlands<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Schahram Dustdar, TU Wien, Austria<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Letterio Galletta, IMT Lucca, Italy<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Eva Kuhn, Vienna University of Technology, Austria<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Alberto Lluch Lafuente, Technical University of Denmark<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Sun Meng, Peking University, China<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Hernan C. Melgratti, University of Buenos Aires, Argentina<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Mohammad Mousavi, Halmstad University, Sweden<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Pascal Poizat, Universite Paris Ouest, France<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Jose Proenca, INESC TEC & Universidade do Minho, Portugal<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Gwen Salaun, University of Grenoble, France<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Michael Sheng, University of Adelaide, Australia<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Marjan Sirjani, Reykjavik University, Iceland<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Carolyn Talcott, SRI International, USA<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Massimo Tivoli, University of L'Aquila, Italy<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Emilio Tuosto, University of Leicester, UK<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Lina Ye, CentraleSupelec, France<o:p></o:p></span></p><p class=MsoNormal><span style='font-family:"Courier New"'>Gianluigi Zavattaro, University of Bologna, Italy<o:p></o:p></span></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>