From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 25BBB7F787 for ; Mon, 7 Nov 2016 17:13:39 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=maurizio.proietti@iasi.cnr.it; spf=None smtp.mailfrom=maurizio.proietti@iasi.cnr.it; spf=None smtp.helo=postmaster@mail-wm0-f66.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of maurizio.proietti@iasi.cnr.it) identity=pra; client-ip=74.125.82.66; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="maurizio.proietti@iasi.cnr.it"; x-sender="maurizio.proietti@iasi.cnr.it"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of maurizio.proietti@iasi.cnr.it) identity=mailfrom; client-ip=74.125.82.66; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="maurizio.proietti@iasi.cnr.it"; x-sender="maurizio.proietti@iasi.cnr.it"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f66.google.com) identity=helo; client-ip=74.125.82.66; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="maurizio.proietti@iasi.cnr.it"; x-sender="postmaster@mail-wm0-f66.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AbTpSEx0G7Z4lYEA0smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segVI/ad9pjvdHbS+e9qxAeQG96KsbQV16GN6eigATVGusnR9ihaMdRlbFwst4?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?bsy8IIPZjty22uau4NWTJlwQ3HvuKY91eTizpAPMu80byadvYo83xRbNo2AAL+?= =?us-ascii?q?lTzGV1KFae2Rrx78G/8Zpi6AxNvfMq94hBTfOpUb4/SOl9BSk8MnI044XTrx7C?= =?us-ascii?q?QBeT5zNIV2wLiBtaAg+D9Av9X5rtrirSt+Nm2W+RO9ewTKxiCmfq1LtiVBK90H?= =?us-ascii?q?RPDDU+6myCz5Uo1K8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DTAACCpyBYf0JSfUpDGh0BBQELARgBB?= =?us-ascii?q?QELAYMDAQEBAQE9OnwHs2qHIimCRYMxAQIBAYIEB0MQAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?JCwsJGzKCMwQBFQEEgigLBh0BASYSGA0iDgcCJBIBBQEiEwkZiDYOLZNgj02BM?= =?us-ascii?q?j8yimhngg0zgxkBAQWILAEcCBCGLoYRgSeBNgoHAUkSgg0LLYJclEyFYIEFZoR?= =?us-ascii?q?Kig+Bbk6HXYV3hCWIUIJ4Ex6BEg8mdjaCZCwcJ4FGPTQBE4R6DxdIgU4BAQE?= X-IPAS-Result: =?us-ascii?q?A0DTAACCpyBYf0JSfUpDGh0BBQELARgBBQELAYMDAQEBAQE?= =?us-ascii?q?9OnwHs2qHIimCRYMxAQIBAYIEB0MQAQEBAQEBAQEBAQESAQEJCwsJGzKCMwQBF?= =?us-ascii?q?QEEgigLBh0BASYSGA0iDgcCJBIBBQEiEwkZiDYOLZNgj02BMj8yimhngg0zgxk?= =?us-ascii?q?BAQWILAEcCBCGLoYRgSeBNgoHAUkSgg0LLYJclEyFYIEFZoRKig+Bbk6HXYV3h?= =?us-ascii?q?CWIUIJ4Ex6BEg8mdjaCZCwcJ4FGPTQBE4R6DxdIgU4BAQE?= X-IronPort-AV: E=Sophos;i="5.31,606,1473112800"; d="scan'208,217";a="243945961" Received: from mail-wm0-f66.google.com ([74.125.82.66]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 Nov 2016 17:13:38 +0100 Received: by mail-wm0-f66.google.com with SMTP id a20so6473181wme.2 for ; Mon, 07 Nov 2016 08:13:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=iasi-cnr-it.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=vw5T5DtoivjToAitC3h0Eb3oeUEpUgEnav2tSXGKvJ0=; b=DEq7FD9s/Xof9UaEiu3b/yFM3HmaHR/ToCSZ5waiJqatP+jSingQSLb8gWsHNJ6UXi c9Aj7ZbBqCvTcwFiROMLBVd6uKCouF7eJV3vvfUtuEqWXFhZ5T/OZ253W1ApQ3Bc8J6o /NDDj7p70DRq49Us6/wEaJgrZsSNhkimVi4BggBBTPjdK6CwDUkWD0uvXXHvy/4Egzt9 WD/x26ZcCie7jKEdRry9QpikTsyFOMR/1WZVWzasF/z0IbumgEddJ6456YGTW8kuGAe/ jswMiYYqqfJNX0a420snvw43bYjDPNHNXgaVgnQFMOLVv44dyhxuuGYd/zR5hp9k0EyU uImQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=vw5T5DtoivjToAitC3h0Eb3oeUEpUgEnav2tSXGKvJ0=; b=i0Q+jq6GIsdHdBerqLf2ACDsl6ZX8j2kiwEk7f9itq+wr4T6YLDuWtPaeXNtyijEXT WGxGfEkKeSjrrgPry7yh2qGQy28s6NfLXlDbGXnbMc891/qcHRZ+/GWrcB9H8OH9yaEJ xFeRiGmXfX++Ma4U/OhiDqszdHrz88R3UdWtZA9GIxnm9O+Hkt9Om0pgypBezeV0OOS2 zAHXzSv8Fle6nhlrJd5x7C4eL5VFvAb6uY7lfDXHNKpV2eeeXLd7cfS08S8KzOgVWTpO 2Jy+/GtL4Jj4m2yGqLBOyxvE7U5NUgBjfeBapBcBwE9C11u9++xGB/QWBHmrFu6VeKiB Sf7g== X-Gm-Message-State: ABUngvdmoq7iqhSqgmIL6IRKK3fuotuE8F4XHaTrX9sqXEjLbRUwv8qt9ZY/eUT0k0qnSeu3KCGcy0s/x76GTg== X-Received: by 10.28.154.86 with SMTP id c83mr9576425wme.23.1478535217395; Mon, 07 Nov 2016 08:13:37 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.186.166 with HTTP; Mon, 7 Nov 2016 08:13:36 -0800 (PST) From: Maurizio Proietti Date: Mon, 7 Nov 2016 17:13:36 +0100 Message-ID: To: Emanuele De Angelis Content-Type: multipart/alternative; boundary=001a114b26de6bd6920540b84edf X-Validation-by: maurizio.proietti@iasi.cnr.it Subject: [Caml-list] First Call for Papers: VPT 2017 Fifth International Workshop on Verification and Program Transformation --001a114b26de6bd6920540b84edf Content-Type: text/plain; charset=UTF-8 *************************************************************** CALL FOR PAPERS Fifth International Workshop on Verification and Program Transformation April 29th, 2017, Uppsala, Sweden http://refal.botik.ru/vpt/vpt2017 Co-located with the 20th European Joint Conferences on Theory and Practice of Software (ETAPS 2017) http://www.etaps.org/index.php/2017/workshops *************************************************************** The Fifth International Workshop on Verification and Program Transformation (VPT 2017) aims to bring together researchers working in the areas of Program Verification and Program Transformation. The workshop solicits research, position, application, and system description papers with a special emphasis on case studies, demonstrating viability of the interactions between the research fields of program transformation and program verification in a broad sense. Also papers in related areas, such as program testing and program synthesis are welcomed. Topics of interest include, but are not limited to: * 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 * Verifiable Computing and Program Transformation * Case studies *Important Dates* * January 31st, 2017: Abstract submission deadline * February 6th, 2017: Paper submission deadline * March 8th, 2017: Acceptance notification * March 31st, 2017: Camera ready version (for the pre-proceedings) * April 29th, 2017: Workshop *Submission Guidelines* Authors should submit an electronic copy of the paper in PDF, formatted in the Electronic Proceedings in Theoretical Computer Science LaTeX Style (http://style.eptcs.org/), via the Easychair submission website for VPT 2017: https://easychair.org/conferences/?conf=vpt2017 Papers must describe original work that has not been published, or currently submitted, to a journal, conference, or workshop with refereed proceedings. Also papers that already appeared in unpublished or informally published workshop proceedings may be submitted. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords that will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report. Submissions should not exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. *Proceedings* Revised versions of all the accepted papers, taking into account the feedback received at the workshop, will be published in a volume of the Electronic Proceedings in Theoretical Computer (EPTCS) series after the workshop. If the workshop will attract sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered. The special issue will be open to high quality papers accepted for presentation in previous editions of the workshop. *Program Committee* * Emanuele De Angelis, University of Chieti-Pescara, Italy * John Gallagher, Roskilde University, Denmark * Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain * Nikos Gorogiannis, Middlesex University, UK * Geoff W. Hamilton, Dublin City University, Republic of Ireland * Alexei Lisitsa, The University of Liverpool, UK (co-chair) * David Monniaux, VERIMAG, CNRS - University of Grenoble, France * Jorge A. Navas, SRI International, USA * Andrei P. Nemytykh, Program Systems Institute of RAS, Russia (co-chair) * Maurizio Proietti, IASI-CNR, Rome, Italy (co-chair) * Philipp Ruemmer, Uppsala University, Sweden * Hirohisa Seki, Nagoya Institute of Technology, Japan * Harald Sondergaard, The University of Melbourne, Australia * Morten H. Sorensen, Formalit, Denmark *Organisers* Alexei Lisitsa (The University of Liverpool, UK) Andrei P. Nemytykh (Program Systems Institute of RAS, Russia) Maurizio Proietti (IASI-CNR, Rome, Italy) *Contacts* Alexei Lisitsa, a.lisitsa@csc.liv.ac.uk Andrei P. Nemytykh, nemytykh@math.botik.ru Maurizio Proietti, maurizio.proietti@iasi.cnr.it --001a114b26de6bd6920540b84edf Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
************************************************= ***************
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CALL FOR PAPERS

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 Fifth International Workshop on
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 Verification and Program Transformation

<= div>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 April 29th, 2017, Upps= ala, Sweden
=C2=A0=C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0http://refal.botik.ru/vpt/vpt2017


=C2=A0 =C2=A0 Co-located with the 20th European Joi= nt Conferences
=C2=A0 =C2=A0 =C2=A0 =C2=A0on Theory and Practice = of Software (ETAPS 2017)

*******= ********************************************************
The Fifth International Workshop on Verification and Program
Tr= ansformation (VPT 2017) aims to bring together researchers
workin= g in the areas of Program Verification and Program
Transformation= .

The workshop solicits research, position, applic= ation, and system
description papers with a special emphasis on c= ase studies, demonstrating
viability of the interactions between = the research fields of program
transformation and program verific= ation in a broad sense. Also papers
in related areas, such as pro= gram testing and program synthesis are
welcomed.

Topics of interest include, but are not limited to:

=
* Verification by Program Transformation
* Verificatio= n Techniques in Program Transformation and Synthesis
* Verificati= on and Certification of Programs Transformations
* Program Analys= is and Transformation
* Program Testing and Transformation
<= div>* Verifiable Computing and Program Transformation
* Case stud= ies


*Important Dates*
* January 31st, 2017: Abstract submission deadline
* = February 6th, 2017: Paper submission deadline
* March 8th, 2017: = Acceptance notification
* March 31st, 2017: Camera ready version = (for the pre-proceedings)
* April 29th, 2017: Workshop
=

*Submission Guidelines*

<= div>Authors should submit an electronic copy of the paper in PDF, formatted= in=C2=A0
the Electronic Proceedings in Theoretical Computer Scie= nce LaTeX Style
via the Easychair submi= ssion website for VPT 2017:


<= div>Papers must describe original work that has not been published,=C2=A0
or currently submitted, to a journal, conference, or workshop=C2= =A0
with refereed proceedings. Also papers that already appeared = in=C2=A0
unpublished or informally published workshop proceedings= may be=C2=A0
submitted.=C2=A0

Each subm= ission must include on its first page the paper title;=C2=A0
auth= ors and their affiliations; contact author's email; abstract;=C2=A0
and three to four keywords that will be used to assist the PC in=C2= =A0
selecting appropriate reviewers for the paper. Page numbers= =C2=A0
should appear on the manuscript to help the reviewers in w= riting=C2=A0
their report.=C2=A0

Submiss= ions should not exceed 15 pages including references but=C2=A0
ex= cluding well-marked appendices not intended for publication.=C2=A0
Reviewers are not required to read the appendices, and thus papers=C2=A0<= /div>
should be intelligible without them.

*Proceedings*

Revised versions of all = the accepted papers, taking into account the
feedback received at= the workshop, will be published in a volume of
the Electronic Pr= oceedings in Theoretical Computer (EPTCS) series
after the worksh= op.

If the workshop will attract sufficiently many= high quality papers,
a special issue of a journal on the topic o= f the workshop will be
considered. The special issue will be open= to high quality papers
accepted for presentation in previous edi= tions of the workshop.


*Program Com= mittee*

* Emanuele De Angelis, University of Chiet= i-Pescara, Italy
* John Gallagher, Roskilde University, Denmark
* Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
* Nikos Gorogiannis, Middlesex University, UK
* Geoff W.= Hamilton, Dublin City University, Republic of Ireland
* Alexei L= isitsa, The University of Liverpool, UK (co-chair)=C2=A0
* David = Monniaux, VERIMAG, CNRS - University of Grenoble, France
* Jorge = A. Navas, SRI International, USA
* Andrei P. Nemytykh, Program Sy= stems Institute of RAS, Russia (co-chair)
* Maurizio Proietti, IA= SI-CNR, Rome, Italy =C2=A0(co-chair)
* Philipp Ruemmer, Uppsala U= niversity, Sweden
* Hirohisa Seki, Nagoya Institute of Technology= , Japan
* Harald Sondergaard, The University of Melbourne, Austra= lia
* Morten H. Sorensen, Formalit, Denmark

<= div>
*Organisers*

Alexei Lisitsa (Th= e University of Liverpool, UK)
Andrei P. Nemytykh (Program System= s Institute of RAS, Russia)
Maurizio Proietti (IASI-CNR, Rome, It= aly)


*Contacts*

Alexei Lisitsa, a.lisitsa@csc.liv.ac.uk
Andrei P. Nemytykh, nemytykh@math.botik.ru=
--001a114b26de6bd6920540b84edf--