[Om-announce] FOCLASA 2014 - Call for Participation - *Program available*

[FOCLASA 2014]

FOCLASA 2014: The 13th International Workshop on
Foundations of Coordination Languages and Self-Adaptive Systems


Call for Participation


Early registration by July 27 2014
(http://concur2014.org/reg_easy.php)


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

September 6, 2014, Rome (Italy)
In conjunction with CONCUR 2014 -- http://www.concur2014.org/
==============================================================

FOCLASA 2014 is a workshop colocated with the 25th International
Conference on Concurrency Theory (CONCUR 2014). 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.


Highlights:
- Invited talks

* Introduction to Reo.
Farhad Arbab, CWI, The Netherlands

* Progress report and results of the SeaClouds project.
Antonio Brogi, University of Pisa, Italy

* Analysis and Synthesis for Self-Adaptation via Model Checking of 
Stochastic Multiplayer Games.
Javier Camara, Carnegie Mellon University, USA

* Bach at the age of mobile and cloud computing.
Jean-Marie Jacquet, University of Namur, Belgium

- Deadline for early registration: July 27 2014


WORKSHOP PROGRAM (TENTATIVE)
——————————————

09:00 - Opening - Invited Talks 1

Analysis and Synthesis for Self-Adaptation Via Model Checking of 
Stochastic Multiplayer Games. Javier Camara, Carnegie Mellon University, 
USA

Introduction to Reo. Farhad Arbab, CWI, The Netherlands



10:30 - Coffee break

11:00 - Paper session 1

Natallia Kokash. Handshaking Protocol for Distributed Implementation of Reo

Marco Autili and Massimo Tivoli. Distributed Enforcement of Service 
Choreographies

Denis Darquennes, Jean-Marie Jacquet and Isabelle Linden. On Distributed 
Density in Tuple-based Coordination Languages



12:30 - Lunch break

14:00 - Invited Talks 2

Bach at the age of mobile and cloud computing. Jean-Marie Jacquet, 
University of Namur, Belgium

Seamless adaptive multi-cloud management of service-based applications 
in the EU SeaClouds project. Antonio Brogi, University of Pisa, Italy



15:30 - Coffee break

16:00 - Paper session 2

Ian Cassar and Adrian Francalanza. On Synchronous and Asynchronous 
Monitor Instrumentation for Actor-based systems

Eric Madelaine, Ludovic Henrio, Oleksandra Kulankhina and Dongqian Liu. 
Verifying the correct composition of distributed components: 
Formalisation and Tool



17:00 - Closing



FOCLASA targets all areas of coordination languages and self-adaptive 
systems,
including (but not limited to):

* Theoretical models and frameworks for component and service
coordination, service composition, service adaptation and concurrent
system modeling.
* Applications and usability studies for the aforementioned theoretical
models, interaction and coordination challenges in decentralized
self-adaptive systems and various application domains.
* Languages and specification protocols for component and service
interaction, their semantics, expressiveness, validation and
verification, type checking, static and dynamic analysis.
* "Software as a Service" models (e.g., cloud computing) and dynamic
software architectures, such as self-adaptive and self-organizing
systems.
* Tools and environments for the development of concurrent and
customizable self-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 systems (queuing models, load balancing, fault-tolerance
analysis, machine learning systems).
* Formal methods for self-adaptive systems, stochastic modeling and
analysis, reasoning under uncertainty, run-time synthesis.

In particular, practice, experience and methodologies from the following
areas are covered as well:

* Business process modeling
* Cloud computing
* Service-oriented computing
* Component-based systems
* Grid computing
* Large-scale distributed systems
* Multi-agent systems
* Peer-to-peer systems


== PROGRAM COMMITTEE CHAIRS ==

* Javier Cámara
Institute for Software Research
Carnegie Mellon University, USA
jcmoreno at cs.cmu.edu

* José Proença
iMinds-Distrinet, KU Leuven, Belgium and
HASLab/INESC TEC, University of Minho, Portugal
jose.proenca at cs.kuleuven.be

== PUBLICITY CHAIR ==

* Sung-Shik Jongmans, CWI, The Netherlands

== PROGRAM COMMITTEE ==

* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Málaga, Spain
* Javier Cámara, Carnegie Mellon University, USA
* Carlos Cuesta, Rey Juan Carlos University, Spain
* Keijo Heljanko, Aalto University, Finland
* Rogério de Lemos, University of Kent, UK
* Natallia Kokash, Leiden University, The Netherlands
* Christian Krause, Hasso Plattner Institut, Germany
* Antónia Lopes, University of Lisbon, Portugal
* Sun Meng, Peking University, China
* Liliana Pasquale, University of Limerick, Ireland
* Pascal Poizat, Paris Ouest University and LIP6, France
* José Proença, KU Leuven, Belgium
* Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France
* Bradley Schmerl, Carnegie Mellon University, USA
* Marjan Sirjani, Reykjavik University, Iceland
* Carolyn Talcott, SRI International, USA
* Francesco Tiezzi, IMT Lucca Institute for Advanced Studies, Italy
* Mirko Viroli, University of Bologna, Italy

== STEERING COMMITTEE ==

* Farhad Arbab, CWI, The Netherlands
* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Malága, Spain
* Jean-Marie Jacquet, University of Namur, Belgium
* Ernesto Pimentel, University of Malága, Spain
* Gwen Salaün, Grenoble INP - INRIA Grenoble - LIG, France