[TYPES/announce] WS-FM/BEAT 2015 2nd CfP: deadline in two weeks!

[Antonio Ravara]

Dear Colleagues,

For those working on (behavioural) types and/or (web) services: 
submission deadline is June, 19.

Highlights:
- WS-FM (http://wsfm2014.haifa.ac.il/) and BEAT 
(http://beat2014.behavioural-types.eu/) combine forces this year
- Event of the MADRID MEET 2015 (http://mafalda.fdi.ucm.es/madrid2015/), 
a scientific week on formal and quantitative analysis of systems, 
performance engineering, computer safety, and industrial critical 
applications.
- Submission deadline just after CONCUR's notification 
(http://mafalda.fdi.ucm.es/concur2015/).
- Double submissions with the workshop FOCLASA 
(http://foclasa.lcc.uma.es/) encouraged.

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  


IMPORTANT DATES 

Abstract submission: June 17 (Wednesday)
Paper submission: June 19 (Friday)
Notification: July 20 (Monday)
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 (Imperial College London, 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

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