****************************************************************** 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.
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
