[Apologies in case of multiple posting]
------ FOCLASA 2017: First Call for Papers ------ 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es September 4-10, 2017 (precise date TBA), Trento (Italy) Colocated with SEFM 2017 - http://sefm17.fbk.eu Follow us on Twitter: @foclasa2017 ------------------------------------------------------ FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017). The goal of FOCLASA 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. ------ IMPORTANT DATES ------ June 2, 2017: Deadline for abstract submission June 9, 2017: Deadline for paper submission July 7, 2017: Notifications July, 2017: Final versions (precise date TBA) September 4-10, 2017: Workshop in Trento (precise date TBA) ------ TOPICS OF INTEREST ------ * Theoretical models and frameworks for component and/or service coordination, service composition, 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 (Cloud Computing, Internet of Things, Smart cities, Big Data, etc.). * Languages and specification protocols for component and/or service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Models and architectures for Software-as-a-Service (SaaS) cloud systems; dynamic software architectures, such as self-adaptive and self-organizing systems. * Service composition and coordination for Future Internet applications, service orchestration and choreographies, related theories and methods, and possible model-driven development approaches. * Formal methods for self-adaptive systems, stochastic modeling and analysis, reasoning under uncertainty, run-time synthesis. * 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, etc.) In particular, practice, experience and methodologies from the following areas are solicited as well: * Business process modeling * Component-based systems * Service-oriented computing * Cloud computing * Internet of Things * Large-scale distributed systems * Grid computing * Multi-agent systems * Networked embedded systems * Peer-to-peer systems Survey works analysing and comparing literature on the topics of FOCLASA are also welcome. ------ PAPER SUBMISSION ------ Submissions must describe authors' original research work and their results. Description of work-in-progress with concrete results is also encouraged. The contributions should not exceed 15 pages in LNCS style and should be submitted as Portable Document Format (PDF) files using the EasyChair submission site: http://www.easychair.org/conferences/?conf=foclasa2017 All submissions will be reviewed by an international program committee who will make a selection among the submissions based on the novelty, soundness and applicability of the presented ideas and results. Concurrent submission to other venues (conferences, workshops or journal) and submission of papers under consideration elsewhere is not allowed. All accepted papers will be included in the LNCS Workshop Proceedings of SEFM 2017, to be published by Springer after the workshop. Additionally, and following the tradition of past editions, a special issue of Science in Computer Programming (SCP, Elsevier) will be devoted to the best papers accepted at FOCLASA 2017. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. ------ PROGRAM COMMITTEE CHAIRS ------ * Carlos Canal, University of Malaga, Spain * Gwen Salaun, University of Grenoble Alpes, France ------ PROGRAM COMMITTEE ------ * Pedro Alvarez, Universidad de Zaragoza, Spain * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, EPFL, Switzerland * Radu Calinescu, University of York, UK * Javier Camara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano, Italy * Schahram Dustdar, TU Wien, Austria * Jean-Marie Jacquet, University of Namur, Belgium * Nima Kaviani, IBM, USA * 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 * Marc Oriol, Universitat Politecnica de Catalunya, Spain * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Michael Sheng, University of Adelaide, Australia * Marjan Sirjani, Reykjavik University, Iceland * Carolyn Talcott, SRI International, USA * Massimo Tivoli, University of L'Aquila, Italy * Lina Ye, CentraleSupelec, France * Gianluigi Zavattaro, University of Bologna, Italy ------ PUBLICITY CHAIR ------ * Gianluca Barbon, University of Grenoble Alpes, France ------ WEB CHAIR ------ * Alejandro Perez Vereda, University of Malaga, Spain ------ STEERING COMMITTEE ------ * Farhad Arbab, CWI, The Netherlands * Antonio Brogi, University of Pisa, Italy * Carlos Canal, University of Malaga, Spain * Jean-Marie Jacquet, University of Namur, Belgium * Ernesto Pimentel, University of Malaga, Spain * Gwen Salaun, University of Grenoble Alpes, France ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info