Sept 4-5, 2015, Madrid

Call for Papers

Important Dates

Abstract submission: Wednesday June 17, 2015 July 1, 2015
Paper submission: Friday June 19, 2015 July 3, 2015
Notification: Monday July 20, 2015 July 31, 2015
Camera Ready version: Monday August 3, 2015 August 14, 2015
Symposium: September 4 - 5, 2015


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.

Topics of either theoretical or applied interest include, but are not limited to:

  • Foundational aspects of large behavioural software systems
  • Specification, verification, analysis, and testing of large behavioural software systems
  • Language-based approaches to large behavioural software systems
  • Security, trust, QoS, dependability, and privacy in large behavioural software systems
  • Ontologies, standards and technologies for large behavioural software systems
  • Case-studies on formal methods in large behavioural software systems
  • Innovative application scenarios of large behavioural software systems


We solicit the submission of original and unpublished contributions not under review for publication elsewhere. Concurrent submissions to WS-FM/BEAT and FOCLASA (a CONCUR workshop) are however, not only allowed, but in fact encouraged, for those papers that may potentially enhance both venues. Authors of such double submissions should identify them to the Program Chairs at the time of submission (by choosing the "Regular paper submitted also to FOCLASA" category in the EasyChair site). Reviews may be shared between WS-FM/BEAT and FOCLASA. Submissions accepted by WS-FM/BEAT will be considered automatically withdrawn from FOCLASA.

Submissions may take two forms: full papers and short papers.

  • Full (regular) papers must be prepared in LaTeX using the LNCS-style format and they should not exceed 20 pages (typeset 11 points). All accepted papers will be included in the proceedings.
  • Short papers are concerned with work-in-progress or tool papers and they should not exceed 6 pages. Short papers might not be included in the proceedings (a selection is invited for the proceedings).

All contributions will be evaluated by at least three reviewers, chosen by the Program Committee. Contributions should be submitted through the EasyChair online submission system in PDF format. Submission of a paper involves a firm commitment that at least one of the authors will attend and participate in the workshop in case the paper is accepted.


All accepted regular papers will be included in the proceedings, which will be published after the symposium as a volume of the LNCS series. Selected short papers will be invited to the proceedings.

An open call for a special issue of a high-quality journal on the topics of the symposium is envisaged.

Workshop Co-chairs

Program Committee

  • Robin Bergenthum (FernUni Hagen, Germany)
  • Laura Bocchi (University of Kent, UK)
  • Sara Capecchi (Università degli Studi di Torino, Italy)
  • Marlon Dumas (University of Tartu, Estonia)
  • Adrian Francalanza (University of Malta, Malta)
  • Thomas Hildebrandt (IT University of Copenhagen, Denmark)
  • Jeroen Keiren (Open University Netherlands)
  • Natallia Kokash (Leiden Institute of Advanced Computer Science, the Netherlands)
  • Hernán Melgratti (Departamento Computación, Universidad de Buenos Aires, Argentina)
  • Dimitris Mostrous (University of Lisbon, Portugal)
  • vJovanka Pantovic (University of Novi Sad, Serbia)
  • Artem Polyvyanyy (Queensland University of Technology, Australia)
  • Antonio Ravara (Universidade Nova de Lisboa, Portugal)
  • Natalia Sidorova (Eindhoven University of Technology, The Netherlands)
  • Jan Martijn van der Werf (Universiteit Utrecht, the Netherlands), co-chair

Steering Committee

Invited speakers

To be announced later

Past Editions

Past editions of WS-FM

  • WS-FM 2014 in Eindhoven, co-chaired by Thomas Hildebrandt and Matthias Weidlich
  • WS-FM 2013 in Beijing, co-chaired by Chun Ouyang and Emilio Tuosto
  • WS-FM 2012 in Talin, co-chaired by Maurice ter Beek and Niels Lohmann
  • WS-FM 2011 in Clermont-Ferrand, co-chaired by Marco Carbone and Jean-Marc Petit
  • WS-FM 2010 in Hoboken, co-chaired by Mario Bravetti and Tevfik Bultan
  • WS-FM 2009 in Bologna, co-chaired by Cosimo Laneve and Jianwen Su
  • WS-FM 2008 in Milan, co-chaired by Roberto Bruni and Karsten Wolf
  • WS-FM 2007 in Brisbane, co-chaired by Marlon Dumas and Reiko Heckel
  • WS-FM 2006 in Wien, co-chaired by Mario Bravetti and Gianluigi Zavattaro
  • WS-FM 2005 in Versailles, co-chaired by Mario Bravetti and Gianluigi Zavattaro
  • WS-FM 2004 in Pisa, co-chaired by Mario Bravetti and Gianluigi Zavattaro

Past editions of BEAT

  • BEAT 2014 in Roma, co-chaired by Marco Carbone and Adrian Francalanza
  • BEAT2: 2nd International Workshop on Behavioural Types, co-located with SEFM, September 2013
  • BEAT: 1st International Workshop on Behavioural Types, co-located with POPL, January 2013
  • Behavioural Types Workshop, Lisbon, April 2011


Symposium dinner
The dinner starts at 20:30. The location is "Sazadon", Calle de Gaztambide, 44, 28015 Madrid, closeby Moncloa.
Programme known
The Programme of the symposium has been posted on this website!
Invited speakers known
We are happy to anounce that Cosimo Laneve and Javier Esparza will give an invited talk.
Deadline extension
The deadlines have been extended to July 1 and 3.
February, 2015
Website of WSFM/BEAT 2015 is online.