[Om-announce] FOCLASA 2019: Call For Participation

[Alejandro Perez Vereda]

We would like to kindly invite you to participate in this workshop Foclasa 2019


** FOCLASA 2019
------------------------------------------------------------

17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems

Oslo, Norway

September 17, 2019

https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=aa37f9ed81&e=b3baf62b1e

The organizers of the 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptative Systems (FOCLASA 2019) held in conjunction with SEFM 2019, in Oslo, Norway, would like to kindly invite you to participate in this workshop, which will occur on September 17th.
------------------------------------------------------------

REGISTRATION

Registration is now open. The early registration deadline is September 1, 2019
https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=2128561d1f&e=b3baf62b1e

------------------------------------------------------------


**
PROGRAM
------------------------------------------------------------
Lunch 🍔 🍟 + Registration 🎟

Session 1 (Chair: Ernesto Pimentel)
14.00-14.05: Opening
14.05-14.40: Formal Verification of Smart Contract with the KeY Tool
Bernhard Beckert
14.40-15.05: Quantifying the Similarity of Non-bisimilar LTSs
Gwen Salaün
15.05-15.30: Identifying failure causalities in multi-component applications
Antonio Brogi and Jacopo Soldani

Coffee break ☕

Session 2 (Chair: Jacopo Soldani)
16.00-16.25: A Formal Programming Framework for Digital Avatars
Alejandro Pérez Vereda, Carlos Canal and Ernesto Pimentel
16.25-16.50: Modeling Self-Adaptive Fog Systems Using Bigraphs
Hamza Sahli, Thomas Ledoux and Éric Rutten
16.50-17.25: TBA
Einar-Broch Johnsen
17.25-17.30: Closing

------------------------------------------------------------


**
INVITED TALKS
------------------------------------------------------------

Formal Verification of Smart Contract with the KeY Tool by Bernhard Beckert.
Abstract. Smart contracts are programs building on blockchain technology. They implement functionality that has been agreed on between the concerned parties on a network. However, their immutability and exposed position make them vulnerable to programming errors, leading to faulty behavior and possible exploits. Therefore, smart contracts demand a particularly thorough analysis, ideally using formal program verification. In this talk, I will give a short overview of the program verification tool KeY for Java programs, including latest work estimating the coverage of partial proofs. And I will present an approach for the deductive verification of Hyperledger Fabric smart contracts using the KeY prover.

TBA by Einar-Broch Johnsen.
Abstract. TBA.

------------------------------------------------------------

PUBLICATIONS
* Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2019
* Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA


------------------------------------------------------------


WORKSHOP GOALS

Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions.
------------------------------------------------------------


Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows:
* Coordination, orchestration, composition and adaptation of components, services or microservices.
* Business processes and concurrent system modelling.
* Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis.
* Cloud/fog/edge computing, and large-scale distributed systems.
* Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems.
* Peer-to-peer and multi-agent systems, and blockchains.
* QoS observation, storage, history-based analysis in self-adaptive systems.

------------------------------------------------------------


PROCEEDINGS

The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series.

Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA.

------------------------------------------------------------

PROGRAM COMMITTEE

Co-Chairs

Ernesto Pimentel

University of Malaga, Spain

epimentel at uma.es

https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=67cb35be91&e=b3baf62b1e

Jacopo Soldani

University of Pisa, Italy

soldani at di.unipi.it

https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=2ef83e8b14&e=b3baf62b1e

Members
* Farhad Arbab, CWI, The Netherlands
* Simon Bliudze, INRIA Lille - Nord Europe, France
* Uwe Breitenbücher, University of Stuttgart, Germany
* Antonio Brogi, University of Pisa, Italy
* Javier Cámara, Carnegie Mellon University, USA
* Flavio De Paoli, University of Milano Bicocca, Italy
* Francisco J. Durán, Universidad de Malaga, Spain
* Erik de Vink, Eindhoven University of Technology, The Netherlands
* Schahram Dustdar, TU Wien, Austria
* Nahla El-Araby, Vienna University of Technology, Austria (TBC)
* Jean-Marie Jacquet, University of Namur, Belgium
* Einar Broch Johnsen, University of Oslo, Norway
* Alberto Lluch Lafuente, Technical University of Denmark, Denmark
* Sun Meng, Peking University, China
* Fabrizio Montesi, University of Southern Denmark, Denmark (TBC)
* Hernan C. Melgratti, University of Buenos Aires, Argentina
* Cesare Pautasso, University of Lugano, Switzerland (TBC)
* Pascal Poizat, Universite Paris Ouest, France
* Jose Proenca, INESC TEC & Universidade do Minho, Portugal
* Gwen Salaün, University of Grenoble, France
* Marjan Sirjani, Reykjavik University, Iceland
* Emilio Tuosto, University of Leicester, UK - Gran Sasso Science Institute, Italy
* Mirko Viroli, University of Bologna, Italy
* Lina Ye, CentraleSupelec, France

============================================================
Copyright © 2019 FOCLASA Workshop, All rights reserved.
If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=b3baf62b1e&c=08d5fa58b8)
.
 Email Marketing Powered by Mailchimp
http://www.mailchimp.com/monkey-rewards/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=monkey_rewards&aid=9b6934846f06d860c185471e4&afl=1
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20190830/efc3dc78/attachment-0001.html>