[TYPES/announce] FOCLASA 2014 - Call for Participation (The 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems)

[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 talk: TBD
- Invited tutorials:
* Introduction to Reo.
Farhad Arbab, CWI, The Netherlands
* Analysis and Synthesis for Self-Adaptation using PRISM-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


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