Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

Modern software systems are distributed, concurrent, mobile, and often involve composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Coordination languages and formal approaches to modelling and reasoning about self-adaptive behaviour help to simplify the development of complex distributed service-based systems, enable functional correctness proofs and improve reusability and maintainability of such systems. 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.

Call for paper

Important date

2017-06-02
Draft paper submission deadline
2017-06-09
Draft paper acceptance notification
2017-07-07
Final paper submission deadline

Submission Topics

  • 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 

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Sep 04

    2017

    Conference Date

  • Jun 02 2017

    Draft paper submission deadline

  • Jun 09 2017

    Draft Paper Acceptance Notification

  • Jul 07 2017

    Final Paper Deadline

  • Sep 04 2017

    Registration deadline