[TYPES/announce] WS-FM/BEAT 2015 3rd CfP: extended deadlines

[Antonio Ravara]

Dear Colleagues,

For those working on (behavioural) types and/or (web) services: Abstract 
submission: June 24 (Wednesday)
Paper submission: June 26 (Friday)

Submission link: https://easychair.org/conferences/?conf=wsfmbeat2015

Please contribute!
António and Jan Martijn

-------------- next part --------------
      *************************************************************
      *                                                           *
      *                        WSFM-BEAT 2015                     *
      *                International Symposium on                 *
      *     Web Services, Formal Methods and Behavioural Types    *
      *                     (WS-FM/BEAT 2015)                     *
      *	                                                          *
      *           September 4th and 5th, Madrid (Spain)		  *
      *              an event @ the MADRID MEET 2015		  *
      *                                                           *
      *                      Call for Papers	                  *
      *                                                           *
      *                                                           *
      *************************************************************

Homepage: http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php
Submission link: https://easychair.org/conferences/?conf=wsfmbeat2015


IMPORTANT DATES 

Abstract submission: June 24 (Wednesday)
Paper submission: June 26 (Friday)
Notification: July 24 (Friday)
Camera Ready version: August 3 (Monday) 	


SCOPE

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


SUBMISSION 

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 -
http://foclasa.lcc.uma.es/) 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.


PUBLICATION 

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

Antonio Ravara, Universidade Nova de Lisboa, Portugal
Jan Martijn van der Werf, Universiteit Utrecht, Netherlands 


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, The Netherlands)
Natalia Kokash (LIACS, Leiden University, The Netherlands)
Hernán Melgratti (Departamento Computación, Universidad de Buenos Aires, Argentina)
Dimitris Mostrous (University of Lisbon, Portugal)
Jovanka Pantovic (University of Novi Sad, Serbia)
Artem Polyvyanyy (Queensland University of Technology, Australia)
Antonio Ravara (Universidade Nova de Lisboa, Portugal), co-chair
Natalia Sidorova (Eindhoven University of Technology, The Netherlands)
Jan Martijn van der Werf (Universiteit Utrecht, the Netherlands), co-chair


STEERING COMMITTEE

Wil van der Aalst, Eindhoven University of Technology, Netherlands
Mario Bravetti, University of Bologna, Italy
Marlon Dumas, University of Tartu, Estonia
José Luiz Fiadeiro, Royal Holloway, University of London, United Kingdom
Gianluigi Zavattaro, University of Bologna, Italy


INVITED SPEAKERS

Cosimo Laneve, University of Bologna, Italy
One more TBA 

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