The Symposium on International Symposium on Web Services, Formal Methods and Behavioural Types (WS-FM/BEAT 2015) results from joining the Workshop on Web Services and Formal Methods (WS-FM) and the Workshop on Behavioural Types. The former was mainly devoted to formal aspects of service-oriented and cloud computing. The latter addressed type languages and systems to specify, characterise, and reason about dynamic aspects of program execution. In both cases, the main working setting of the research area covered is that of component-based distributed and concurrent software systems, services and clouds, simply referable as large software systems. Behavioural systems may also refer to enterprise and business process modelling and management systems. These kind of systems share characteristics: they are distributed, collaborative, and communication-centred. Moreover, the compatibility of their components is crucial to ensure overall correctness and reliability.
The aim of this event is to bring together researchers and practitioners in all aspects of large scale behavioural software systems and its applications, in order to share results, consolidate the community, and discover opportunities for new collaborations and future directions.
This year, the symposium is held as an event of the "MADRID MEET 2015 Meeting", which comprises a one-week scientific event with conferences and workshops in the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications.
Contributions should be submitted through the EasyChair online submission system in PDF format