[TYPES/announce] WS-FM/BEAT 2015 last CfP

Antonio Ravara aravara at fct.unl.pt
Thu Jun 25 03:14:25 EDT 2015


Dear Colleagues,

Due to a technical problem, we needed to postpone the deadlines by one week.

Please contribute!
António and Jan Martijn


*************************************************************
* *
* 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 *
* *
* Last 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: July 1 (Wednesday)
Paper submission: July 3 (Friday)
Notification: July 31 (Friday)
Camera Ready version: August 14 (Friday)


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 sending and email to the
PC_Chairs of WS-FM/BEAT and FOCLASA). 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


More information about the Types-announce mailing list