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
[email protected]
https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=67cb35be91&e=b3baf62b1e
Jacopo Soldani
University of Pisa, Italy
[email protected]
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
_______________________________________________
Om-announce mailing list
[email protected]
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
