From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1C9A07FB13 for ; Wed, 3 Dec 2014 13:38:02 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of maurice.terbeek@isti.cnr.it) identity=pra; client-ip=194.119.192.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="maurice.terbeek@isti.cnr.it"; x-sender="maurice.terbeek@isti.cnr.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of maurice.terbeek@isti.cnr.it designates 194.119.192.19 as permitted sender) identity=mailfrom; client-ip=194.119.192.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="maurice.terbeek@isti.cnr.it"; x-sender="maurice.terbeek@isti.cnr.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@blade3.isti.cnr.it) identity=helo; client-ip=194.119.192.19; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="maurice.terbeek@isti.cnr.it"; x-sender="postmaster@blade3.isti.cnr.it"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQCAGgBf1TCd8ATnGdsb2JhbABag1hYAcZKhhUCgRUWAQEBAQERAQEBAQEGDQkJFC6EAwEFHRYFBAEwCxEZExMDDwkDAgECAUUGDQgBAYg6BAnVfwELIJAOX4RCBYVplHCYD2+BAoFCAQEB X-IPAS-Result: AuQCAGgBf1TCd8ATnGdsb2JhbABag1hYAcZKhhUCgRUWAQEBAQERAQEBAQEGDQkJFC6EAwEFHRYFBAEwCxEZExMDDwkDAgECAUUGDQgBAYg6BAnVfwELIJAOX4RCBYVplHCYD2+BAoFCAQEB X-IronPort-AV: E=Sophos;i="5.07,507,1413237600"; d="scan'208";a="91509932" Received: from blade3.isti.cnr.it ([194.119.192.19]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 03 Dec 2014 13:37:59 +0100 Received: from macbeek.isti.cnr.it ([146.48.84.229]) by mx.isti.cnr.it (PMDF V6.5-x6 #32097) with ESMTPSA id <01PFOHO9EOEO9GV7X9@mx.isti.cnr.it> for caml-list@inria.fr; Wed, 03 Dec 2014 13:37:48 +0100 (MET) Date: Wed, 03 Dec 2014 13:38:23 +0100 From: Maurice ter Beek In-reply-to: <530EFF4B.50207@isti.cnr.it> To: Antonio Ravara Message-id: <547F043F.1020900@isti.cnr.it> MIME-version: 1.0 Content-type: text/plain; charset=ISO-8859-1; format=flowed Content-transfer-encoding: 8BIT User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 X-INSM-ip-source: 146.48.84.229 Auth Done References: <530EFF4B.50207@isti.cnr.it> X-Validation-by: maurice.terbeek@isti.cnr.it Subject: [Caml-list] CfP special issue JLAMP on automated verification of programs and web systems --------------------------------------------------------------------- Call for papers JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING Special Issue on Automated Verification of Programs and Web Systems --------------------------------------------------------------------- This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is devoted to the themes of the WWV and VPT workshop series on Automated Specification and Verification of Web Systems (WWV) and on Verification and Program Transformation (VPT). This is however an open call for papers. Both participants of the most recent editions of the WWV and VPT workshop series and others working on the themes of this special issue are hereby invited to submit a paper. IMPORTANT DATES Abstract submission: 25 February 2015 Full paper submission: 15 March 2015 Acceptance notification: 30 June 2015 Final manuscript due: 25 July 2015 Expected publication: Fall 2015 AIMS AND SCOPE This special issue provides a forum for researchers working in the areas of verification, program transformation, software engineering, rule-based programming, formal methods, and Web-oriented research, to submit their papers on the Automated Verification of Programs and Web Systems. Recent research in automated verification and program transformation has shown a great potential for beneficial interactions. The methods, techniques and tools developed in program transformations have been successfully applied for the verification of programs, (Web) systems and protocols specified by programs. Examples are partial evaluation, partial deduction, fold/unfold transformations, supercompilation and distillation, in particular for the verification of infinite-state, parameterized systems. Furthermore, verification by model checking, automated and interactive theorem proving, and SAT/SMT-based methods have been used to strengthen and optimize program transformations. Finally, since many Web systems have become interactive, completely automated, Web-based applications to be used in areas like e-health, e-business, e-learning, and e-government, their increased complexity has made their design and implementation a challenging task. Hence the use of systematic, formal approaches for their specification and verification allows to address the problems of this specific domain by means of automated and effective techniques and tools. TOPICS OF INTEREST We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to: - Rule-based approaches to Web system analysis, certification, specification, verification and optimization - Languages and models for programming and designing Web systems - Formal methods for describing and reasoning about Web systems - Model-checking, synthesis and debugging of Web systems - Analysis and verification of linked data - Abstract interpretation and program transformation applied to the semantic Web - Middleware and frameworks for composition and orchestration of Web services - Software Product Line Engineering for Web systems - Feature-oriented modeling and variability analysis of Web systems - Verification by Program Transformation - Verification Techniques in Program Transformation and Synthesis - Verification and Certification of Programs Transformations - Program Analysis and Transformation - Program Testing and Transformation SUBMISSION We expect original articles (typically 20-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions, which have not previously been published and that are also not simultaneously submitted for publication elsewhere. Each paper will undergo a thorough evaluation by at least three reviewers. All contributions must be written in English, must be submitted in PDF format and must comply with JLAMP's author instructions (the manuscripts should be prepared using Elsevier's elsart.cls LaTeX article class) which can be retrieved from the journal's homepage: http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/ Submissions are handled using the Elsevier Editorial System and can be uploaded via the aforementioned JLAMP homepage. In the submission process, the authors must select article type "WWVPT". GUEST EDITORS Maurice H. ter Beek, ISTI-CNR, Pisa, Italy Alexei Lisitsa, University of Liverpool, UK Andrei P. Nemytykh, Russian Academy of Sciences, Russia António Ravara, Universidade Nova de Lisboa, Portugal