CFP: WWV 2016 - 12th International Workshop on Automated Specification and Verification of Web Systems

[Vigano, Luca]

******************************************************************
WWV 2016
Automated Specification and Verification of Web Systems
12th International Workshop

affiliated with Formal Structures for
Computation and Deduction (FSCD) 2016
June 26 - Porto (Portugal)

Call for Papers
******************************************************************

Homepage: http://www.lucavigano.com/WWV2016/


IMPORTANT DATES

Paper submission: April 16
Notification of acceptance: May 13
Camera ready version: May 31


SCOPE

Digitization of the human activities have reached an unprecedented
level, transforming economy and the society globally, thanks to
widespread use of web-based systems. Our increasing dependency
on these systems demands for high quality standards in all
aspects: security, privacy, accessibility, performance, and
usability to cite a few. The 12th edition of the Workshop on
Automated Specification and Verification of Web Systems (WWV) will
bring together researchers for academia and industry with
expertise in different areas, including declarative, rule-based
programming, formal methods, software engineering and web-based
systems, to discuss how the address the challenging complexity of
interconnected, ubiquitous web-based systems and applications.

During WWV 2016 we will encourage friendly exchange such
that the participants can identify how their research can progress
towards new methods and tools to push the limits of the
verification of web systems, maintaining the tradition of the
previous eleven editions.


WWV welcomes papers of either theoretical or applied interest,
including case studies or experience reports, in all areas of
web-based systems (web services, cloud platforms,
Internet-of-Things, social networks, big data), including but
not limited to:
- Formal methods and rigorous software and system engineering
- Declarative, rule-based approaches
- Product line and feature-oriented engineering
- Programming and design languages and models
- Specification, certification, transformation, and synthesis
- Analysis, verification, model checking, and debugging
- Semi-structured data, linked data, and semantic web
- Security, trust, privacy, reputation, confidentiality, and
  integrity
- Quality, metrics, usability, and accessibility
- Testing, evaluation, and optimisation
- Middleware, platforms, and frameworks


INVITED SPEAKERS

TBA.

SUBMISSION

We solicit the submission of original, unpublished contributions
not under review for publication elsewhere. Contributions are
expected to comprise research papers (with novel, previously
unpublished results), experience reports of real-world
applications, tool descriptions, and short papers (e.g. describing
work-in-progress or exploratory ideas). All papers must be
prepared in LaTeX using the EPTCS style

  - Full papers should not exceed 16 pages (typeset 11 points).
  - Short papers should not exceed 8 pages.

Additional details omitted due to space limitations may be
included in a clearly marked appendix. Submissions must describe
work unpublished in refereed venues, not submitted elsewhere.
Contributions should be submitted in PDF format through the
EasyChair online submission system.
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 contributions will be evaluated by at least three reviewers,
chosen by the Program Committee. The PC will select the best
papers based on their quality, relevance to the workshop, and
potential to instigate discussion.
All accepted papers will be included in the post-proceedings,
which will be published as a volume of the EPTCS series (WWV
publication is indexed in DBLP and Microsoft Academic Research,
among other important repositories).
An open call for a special issue in a highly-reputed journal on
the topic of the WWV workshop is envisaged. This has been common
practice for WWV since 2009.


PROGRAM CHAIRS

Anderson Santana de Oliveira (SAP Labs France, Mougins, France)
Luca Viganò (King’s College London, UK)


PROGRAM COMMITTEE

María Alpuente (UPV, Spain)
Massimo Bartoletti (University of Cagliari, Italy)
Saddek Bensalem (Verimag, Grenoble, France)
Gabriele Costa (University of Genova, Italy)
Erik de Vink (Eindhoven University of Technology, The Netherlands)
José Luiz Fiadeiro (Royal Holloway University, London, UK)
Laura Kovács (Vienna University of Technology, Austria)
Axel Legay (INRIA, Rennes, France)
Zhiming Liu (Birmingham City University, UK)
Alberto Lluch Lafuente (Technical University of Denmark)
Hernán Melgratti (University of Buenos Aires, Argentina)
Fabrizio Montesi (University of South Odense, Denmark)
Peter Ölveczky (University of Oslo, Norway)
António Ravara (New University of Lisbon, Portugal)
Alejandro Russo (Chalmers University of Technology, Sweden)
Gwen Salaün (Inria Rhône-Alpes, Grenoble, France)
Emilio Tuosto (University of Leicester, United Kingdom)


STEERING COMMITTEE

Demis Ballis (University of Udine, Italy)
Maurice ter Beek (Consiglio Nazionale delle Ricerche, Pisa, Italy)
Santiago Escobar (Technical University of Valencia, Spain; co-chair)
Moreno Falaschi (University of Siena, Italy; co-chair)
Laura Kovács (Vienna University of Technology, Austria)
Temur Kutsia (Johannes Kepler University Linz, Austria)
Alberto Lluch Lafuente (Technical University of Denmark)
Massimo Marchiori (University of Padova, Italy)
Rosario Pugliese (University of Florence, Italy)
António Ravara (New University of Lisbon, Portugal)
Josep Silva (Technical University of Valencia, Spain)
Francesco Tiezzi (IMT Institute for Advanced Studies Lucca, Italy)


PAST EDITIONS

Initiated in 2005, the WWV workshop series has by now established
itself as a lively, friendly event with many interactions and
discussions.
The previous 11 editions of WWV attracted high-quality papers that
were published in ENTCS (WWV'05, WWV'07 and WWV'08), by IEEE (WWV'06)
and in EPTCS (WWV'11, WWV'12, WWV'13, WWV'14, WWV'15).
After WWV'09, a special issue of the Journal of Symbolic Computation
on the topics of the WWV was organized. Similarly, a special issue
of the Journal of Applied Logic was organized after WWV'10 and
special issues of the Journal of Logic and Algebraic Programming were
organized after WWV'11, WWV'12 and WWV'13. A special issue of the
Journal of Logical and Algebraic Methods in Programming dedicated to
WWV'14 and the CAV workshop VPT'14 is forthcoming.

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20160305/429ea4af/attachment.html>