Fwd: FOCLASA 2018 - last CFP, deadlines extended

--===============8010194088043288959==
Content-Type: multipart/alternative;
	boundary="Apple-Mail-BF8E3E44-5D1A-4D37-BFCB-4A2B5FFE2746"
Content-Transfer-Encoding: 7bit

--Apple-Mail-BF8E3E44-5D1A-4D37-BFCB-4A2B5FFE2746
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

 ** Due to numerous requests, the deadlines for FOCLASA 2018 have been exten=
ded (see below) **
=20
16th International Workshop on Foundations of=20
Coordination Languages and Self-adaptive systems
(FOCLASA 2018)
=20
Toulouse, France / June 26, 2018
=20
http://foclasa.lcc.uma.es/
=20
=20
PUBLICATIONS
=20
* Publication of the proceedings in the Lecture Notes of Computer Science of=
 Springer-Verlag, following the collective volumes published by STAF=20
* Publication of extended versions of selected work is planned in a special i=
ssue of an international journal as in previous issues of FOCLASA
=20
=20
IMPORTANT DATES
=20
* Submission of abstract: April 13, 2018 Extended to April 22, 2018 (strict)=

* Submission of papers: April 20, 2018 Extended to April 30, 2018 (strict)
* Notification of acceptance: May 20, 2018
* Final version: June 10, 2018
* Workshop: June 26, 2018
=20
=20
WORKSHOP GOALS
=20
Nowadays software systems are distributed, concurrent, mobile, and often inv=
olve the composition of heterogeneous components and stand-alone services. S=
ervice coordination and self-adaptation constitute the core characteristics o=
f distributed and service-oriented systems. Coordination languages and forma=
l approaches to modelling and reasoning about self-adaptive behaviour help t=
o simplify the development of complex distributed service-based systems, ena=
ble functional correctness proofs and improve reusability and maintainabilit=
y of such systems. The goal of the FOCLASA workshop is to gather researchers=
 and practitioners of the aforementioned fields, to share and identify commo=
n problems, and to devise general solutions in the context of coordination l=
anguages and self-adaptive systems.
=20
Topics of interest include (but are not limited to):
* Theoretical models and frameworks for component and service coordination, s=
ervice composition, service adaptation and concurrent system modeling.
* Applications and usability studies for the aforementioned theoretical mode=
ls, interaction and coordination challenges in various application domains.
* Languages and specification protocols for component and service interactio=
n, their semantics, expressiveness, validation and verification, type checki=
ng, static and dynamic analysis.
* "Software as a service" models (e.g., cloud computing) and dynamic softwar=
e architectures, such as self-adaptive and self-organizing systems.
* Tools and environments for the development of concurrent and customizable s=
elf-monitoring, self-adaptive and self-organizing applications.
* Algorithms, mathematical models and realization frameworks for quality-of-=
service observation, storage, history-based analysis in self-adaptive system=
s (queuing models, load balancing, analysis of fault-tolerance, machine lear=
ning systems).
=20
Practice, experience and methodologies from the following areas are solicite=
d as well:
* Business process modelling
* Blockchains
* Cloud/fog/edge computing
* Component-based systems
* Large-scale distributed systems
* (Micro)service-based systems
* Multi-agent systems
* Peer-to-peer systems
* Self-adaptive systems
=20
=20
PROCEEDINGS
=20
The conference proceedings will be published by Springer, in the Lecture Not=
es in Computer Science (LNCS) series.
Extended versions of a selection of the best papers is planned to be publish=
ed in a special issue of an international journal as in previous issues of FO=
CLASA.
=20
=20
SUBMISSION INSTRUCTIONS
=20
Papers must be submitted electronically in PostScript or PDF by using a two-=
phase online submission process. Registration of information and and abstrac=
t (max. 250 words) of papers must be completed before April 13, 2018. Final s=
ubmission of papers is due no later than April 20, 2018. All submissions wil=
l be handled through the EasyChair conference management system, accessible f=
rom the conference web site:
http://pages.di.unipi.it/foclasa
=20
Contributions must be written in English and report on original, unpublished=
 work not submitted for publication elsewhere. Full papers should be 15 page=
s long, including figures and references, and prepared by using Springer's L=
NCS style. Short papers (6 pages long) describing preliminary results or wor=
k-in-progress are encouraged as well. Submissions not adhering to the above s=
pecified constraints may be rejected without any review. Papers should be su=
bmitted as PDF or PS via EasyChair.
=20
=20
PROGRAM COMMITTEE
=20
Co-Chairs
=20
Jean-Marie Jacquet, University of Namur, Belgium
Jacopo Soldani, University of Pisa, Italy
=20
Members
=20
Gul Agha, University of Illinois at Urbana-Champaign, USA
Pedro Alvarez, Universidad de Zaragoza, Spain
Farhad Arbab, CWI, The Netherlands
Simon Bliudze, INRIA Lille - Nord Europe, France
Radu Calinescu, University of York, UK
Javier Camara, Carnegie Mellon University, USA
Flavio De Paoli, University of Milano, Italy
Francisco J. Duran, Universidad de Malaga, Spain
Erik de Vink, Eindhoven University of Technology, The Netherlands
Schahram Dustdar, TU Wien, Austria
Letterio Galletta, IMT Lucca, Italy
Eva Kuhn, Vienna University of Technology, Austria=20
Alberto Lluch Lafuente, Technical University of Denmark
Sun Meng, Peking University, China
Hernan C. Melgratti, University of Buenos Aires, Argentina
Mohammad Mousavi, Halmstad University, Sweden=20
Pascal Poizat, Universite Paris Ouest, France
Jose Proenca, INESC TEC & Universidade do Minho, Portugal
Gwen Salaun, University of Grenoble, France
Michael Sheng, University of Adelaide, Australia
Marjan Sirjani, Reykjavik University, Iceland
Carolyn Talcott, SRI International, USA
Massimo Tivoli, University of L'Aquila, Italy
Emilio Tuosto, University of Leicester, UK
Lina Ye, CentraleSupelec, France
Gianluigi Zavattaro, University of Bologna, Italy

--Apple-Mail-BF8E3E44-5D1A-4D37-BFCB-4A2B5FFE2746
Content-Type: text/html; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; charset=3D=
utf-8"></head><body dir=3D"auto"><b>&nbsp;</b><b style=3D"font-family: Calib=
ri, sans-serif; font-size: 11pt; text-align: justify;"><span lang=3D"EN-GB" s=
tyle=3D"color:#44546A">** Due to numerous requests, the deadlines for FOCLAS=
A 2018 have been extended (see below) **</span></b><div><div class=3D"WordSe=
ction1"><p class=3D"MsoNormal" align=3D"center" style=3D"text-align:center">=
<b><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></span></b></p><p class=3D"MsoNorma=
l" align=3D"center" style=3D"text-align:center"><b><span lang=3D"EN-GB">16th=
 International Workshop on Foundations of <br>Coordination Languages and Sel=
f-adaptive systems <o:p></o:p></span></b></p><p class=3D"MsoNormal" align=3D=
"center" style=3D"text-align:center"><span lang=3D"EN-GB">(FOCLASA 2018)<o:p=
></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o=
:p></span></p><p class=3D"MsoNormal" align=3D"center" style=3D"text-align:ce=
nter"><span lang=3D"EN-GB">Toulouse, France / June 26, 2018<o:p></o:p></span=
></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></span></p=
><p class=3D"MsoNormal" align=3D"center" style=3D"text-align:center"><a href=
=3D"http://foclasa.lcc.uma.es/"><span lang=3D"EN-GB">http://foclasa.lcc.uma.=
es/</span></a> <span lang=3D"EN-GB"><o:p></o:p></span></p><p class=3D"MsoNor=
mal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></span></p><p class=3D"MsoNormal"=
><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></span></p><p class=3D"MsoNormal"><b>=
<span lang=3D"EN-GB">PUBLICATIONS <o:p></o:p></span></b></p><p class=3D"MsoN=
ormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></span></p><p class=3D"MsoNorma=
l"><span lang=3D"EN-GB">* Publication of the proceedings in the Lecture Note=
s of Computer Science of Springer-Verlag, following the collective volumes p=
ublished by STAF <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"=
EN-GB">* Publication of extended versions of selected work is planned in a s=
pecial issue of an international journal as in previous issues of FOCLASA <o=
:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;<=
/o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p=
></span></p><p class=3D"MsoNormal"><b><span lang=3D"EN-GB">IMPORTANT DATES <=
o:p></o:p></span></b></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&n=
bsp;</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">* Submissio=
n of abstract: <s>April 13, 2018</s> <b><span style=3D"color:red">Extended t=
o April 22, 2018 (strict)</span></b><o:p></o:p></span></p><p class=3D"MsoNor=
mal"><span lang=3D"EN-GB">* Submission of papers: <s>April 20, 2018</s> <b><=
span style=3D"color:red">Extended to April 30, 2018 (strict)</span></b><o:p>=
</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">* Notification o=
f acceptance: May 20, 2018 <o:p></o:p></span></p><p class=3D"MsoNormal"><spa=
n lang=3D"EN-GB">* Final version: June 10, 2018 <o:p></o:p></span></p><p cla=
ss=3D"MsoNormal"><span lang=3D"EN-GB">* Workshop: June 26, 2018 <o:p></o:p><=
/span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></spa=
n></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></span></=
p><p class=3D"MsoNormal"><b><span lang=3D"EN-GB">WORKSHOP GOALS <o:p></o:p><=
/span></b></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p><=
/span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">Nowadays software syst=
ems are distributed, concurrent, mobile, and often involve the composition o=
f heterogeneous components and stand-alone services. Service coordination an=
d self-adaptation constitute the core characteristics of distributed and ser=
vice-oriented systems. Coordination languages and formal approaches to model=
ling and reasoning about self-adaptive behaviour help to simplify the develo=
pment of complex distributed service-based systems, enable functional correc=
tness proofs and improve reusability and maintainability of such systems. Th=
e goal of the FOCLASA workshop is to gather researchers and practitioners of=
 the aforementioned fields, to share and identify common problems, and to de=
vise general solutions in the context of coordination languages and self-ada=
ptive systems. <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN=
-GB"><o:p>&nbsp;</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"=
>Topics of interest include (but are not limited to): <o:p></o:p></span></p>=
<p class=3D"MsoNormal"><span lang=3D"EN-GB">* Theoretical models and framewo=
rks for component and service coordination, service composition, service ada=
ptation and concurrent system modeling. <o:p></o:p></span></p><p class=3D"Ms=
oNormal"><span lang=3D"EN-GB">* Applications and usability studies for the a=
forementioned theoretical models, interaction and coordination challenges in=
 various application domains. <o:p></o:p></span></p><p class=3D"MsoNormal"><=
span lang=3D"EN-GB">* Languages and specification protocols for component an=
d service interaction, their semantics, expressiveness, validation and verif=
ication, type checking, static and dynamic analysis. <o:p></o:p></span></p><=
p class=3D"MsoNormal"><span lang=3D"EN-GB">* "Software as a service" models (=
e.g., cloud computing) and dynamic software architectures, such as self-adap=
tive and self-organizing systems. <o:p></o:p></span></p><p class=3D"MsoNorma=
l"><span lang=3D"EN-GB">* Tools and environments for the development of conc=
urrent and customizable self-monitoring, self-adaptive and self-organizing a=
pplications. <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-G=
B">* Algorithms, mathematical models and realization frameworks for quality-=
of-service observation, storage, history-based analysis in self-adaptive sys=
tems (queuing models, load balancing, analysis of fault-tolerance, machine l=
earning systems). <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D=
"EN-GB"><o:p>&nbsp;</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-=
GB">Practice, experience and methodologies from the following areas are soli=
cited as well: <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN=
-GB">* Business process modelling <o:p></o:p></span></p><p class=3D"MsoNorma=
l"><span lang=3D"EN-GB">* Blockchains <o:p></o:p></span></p><p class=3D"MsoN=
ormal"><span lang=3D"EN-GB">* Cloud/fog/edge computing <o:p></o:p></span></p=
><p class=3D"MsoNormal"><span lang=3D"EN-GB">* Component-based systems <o:p>=
</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">* Large-scale d=
istributed systems <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D=
"EN-GB">* (Micro)service-based systems <o:p></o:p></span></p><p class=3D"Mso=
Normal"><span lang=3D"EN-GB">* Multi-agent systems <o:p></o:p></span></p><p c=
lass=3D"MsoNormal"><span lang=3D"EN-GB">* Peer-to-peer systems <o:p></o:p></=
span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">* Self-adaptive systems=
 <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbs=
p;</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</=
o:p></span></p><p class=3D"MsoNormal"><b><span lang=3D"EN-GB">PROCEEDINGS <o=
:p></o:p></span></b></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nb=
sp;</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">The conferen=
ce proceedings will be published by Springer, in the Lecture Notes in Comput=
er Science (LNCS) series. <o:p></o:p></span></p><p class=3D"MsoNormal"><span=
 lang=3D"EN-GB">Extended versions of a selection of the best papers is plann=
ed to be published in a special issue of an international journal as in prev=
ious issues of FOCLASA. <o:p></o:p></span></p><p class=3D"MsoNormal"><span l=
ang=3D"EN-GB"><o:p>&nbsp;</o:p></span></p><p class=3D"MsoNormal"><span lang=3D=
"EN-GB"><o:p>&nbsp;</o:p></span></p><p class=3D"MsoNormal"><b><span lang=3D"=
EN-GB">SUBMISSION INSTRUCTIONS <o:p></o:p></span></b></p><p class=3D"MsoNorm=
al"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></span></p><p class=3D"MsoNormal">=
<span lang=3D"EN-GB">Papers must be submitted electronically in PostScript o=
r PDF by using a two-phase online submission process. Registration of inform=
ation and and abstract (max. 250 words) of papers must be completed before A=
pril 13, 2018. Final submission of papers is due no later than April 20, 201=
8. All submissions will be handled through the EasyChair conference manageme=
nt system, accessible from the conference web site: <o:p></o:p></span></p><p=
 class=3D"MsoNormal"><span lang=3D"EN-GB"><a href=3D"http://pages.di.unipi.i=
t/foclasa">http://pages.di.unipi.it/foclasa</a> <o:p></o:p></span></p><p cla=
ss=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></span></p><p class=3D=
"MsoNormal"><span lang=3D"EN-GB">Contributions must be written in English an=
d report on original, unpublished work not submitted for publication elsewhe=
re. Full papers should be 15 pages long, including figures and references, a=
nd prepared by using Springer's LNCS style. Short papers (6 pages long) desc=
ribing preliminary results or work-in-progress are encouraged as well. Submi=
ssions not adhering to the above specified constraints may be rejected witho=
ut any review. Papers should be submitted as PDF or PS via EasyChair. <o:p><=
/o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p=
></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbsp;</o:p></s=
pan></p><p class=3D"MsoNormal"><b><span lang=3D"EN-GB">PROGRAM COMMITTEE <o:=
p></o:p></span></b></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&nbs=
p;</o:p></span></p><p class=3D"MsoNormal"><b><span lang=3D"EN-GB">Co-Chairs <=
o:p></o:p></span></b></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&n=
bsp;</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">Jean-Marie J=
acquet, University of Namur, Belgium <o:p></o:p></span></p><p class=3D"MsoNo=
rmal">Jacopo Soldani, University of Pisa, Italy </p><p class=3D"MsoNormal"><=
o:p>&nbsp;</o:p></p><p class=3D"MsoNormal"><b><span lang=3D"EN-GB">Members <=
o:p></o:p></span></b></p><p class=3D"MsoNormal"><span lang=3D"EN-GB"><o:p>&n=
bsp;</o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">Gul Agha, U=
niversity of Illinois at Urbana-Champaign, USA <o:p></o:p></span></p><p clas=
s=3D"MsoNormal">Pedro Alvarez, Universidad de Zaragoza, Spain </p><p class=3D=
"MsoNormal"><span lang=3D"EN-GB">Farhad Arbab, CWI, The Netherlands <o:p></o=
:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">Simon Bliudze, INR=
IA Lille - Nord Europe, France <o:p></o:p></span></p><p class=3D"MsoNormal">=
<span lang=3D"EN-GB">Radu Calinescu, University of York, UK <o:p></o:p></spa=
n></p><p class=3D"MsoNormal">Javier Camara, Carnegie Mellon University, USA <=
/p><p class=3D"MsoNormal">Flavio De Paoli, University of Milano, Italy </p><=
p class=3D"MsoNormal"><span lang=3D"EN-GB">Francisco J. Duran, Universidad d=
e Malaga, Spain <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"E=
N-GB">Erik de Vink, Eindhoven University of Technology, The Netherlands <o:p=
></o:p></span></p><p class=3D"MsoNormal">Schahram Dustdar, TU Wien, Austria <=
/p><p class=3D"MsoNormal">Letterio Galletta, IMT Lucca, Italy </p><p class=3D=
"MsoNormal"><span lang=3D"EN-GB">Eva Kuhn, Vienna University of Technology, A=
ustria <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">Alb=
erto Lluch Lafuente, Technical University of Denmark <o:p></o:p></span></p><=
p class=3D"MsoNormal"><span lang=3D"EN-GB">Sun Meng, Peking University, Chin=
a <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">Hernan C=
. Melgratti, University of Buenos Aires, Argentina <o:p></o:p></span></p><p c=
lass=3D"MsoNormal"><span lang=3D"EN-GB">Mohammad Mousavi, Halmstad Universit=
y, Sweden <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D"EN-GB">=
Pascal Poizat, Universite Paris Ouest, France <o:p></o:p></span></p><p class=
=3D"MsoNormal"><span lang=3D"EN-GB">Jose Proenca, INESC TEC &amp; Universida=
de do Minho, Portugal <o:p></o:p></span></p><p class=3D"MsoNormal"><span lan=
g=3D"EN-GB">Gwen Salaun, University of Grenoble, France <o:p></o:p></span></=
p><p class=3D"MsoNormal"><span lang=3D"EN-GB">Michael Sheng, University of A=
delaide, Australia <o:p></o:p></span></p><p class=3D"MsoNormal"><span lang=3D=
"EN-GB">Marjan Sirjani, Reykjavik University, Iceland <o:p></o:p></span></p>=
<p class=3D"MsoNormal"><span lang=3D"EN-GB">Carolyn Talcott, SRI Internation=
al, USA <o:p></o:p></span></p><p class=3D"MsoNormal">Massimo Tivoli, Univers=
ity of L'Aquila, Italy </p><p class=3D"MsoNormal">Emilio Tuosto, University o=
f Leicester, UK </p><p class=3D"MsoNormal">Lina Ye, CentraleSupelec, France <=
/p><p class=3D"MsoNormal">Gianluigi Zavattaro, University of Bologna, Italy<=
/p></div></div><blockquote type=3D"cite"><div><div class=3D"WordSection1"></=
div><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:#0563C1;
	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></div></blockquote></body></html>=

--Apple-Mail-BF8E3E44-5D1A-4D37-BFCB-4A2B5FFE2746--

--===============8010194088043288959==
Content-Type: text/plain; charset="us-ascii"; name="ATT00001"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline; filename="ATT00001"
Content-Description: ATT00001

_______________________________________________
Om-announce mailing list
Om-announce-+sROD/[email protected]
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce

--===============8010194088043288959==--