posted by organizer: edeangelis || 2205 views || tracked by 7 users: [display]

VPT 2015 : 3rd International Workshop on Verification and Program Transformation

FacebookTwitterLinkedInGoogle

Link: http://refal.botik.ru/vpt/vpt2015/
 
When Apr 11, 2015 - Apr 11, 2015
Where London, UK
Abstract Registration Due Jan 16, 2015
Submission Deadline Feb 6, 2015
Notification Due Mar 3, 2015
Final Version Due Mar 11, 2015
Categories    verification   program transformation   software model checking
 

Call For Papers

The Third International Workshop on Verification and Program
Transformation (VPT 2015) aims to bring together researchers
working in the areas of Program Verification and Program
Transformation.

The workshop solicits research and application papers on the
following topics:

- Verification by Program Transformation
- Software Model Checking and Program Transformation
- Verification and Certification of Program Transformations
- Program Analysis and Transformation

The papers dealing with neighboring topics, such as program
testing and synthesis are also welcomed.

VPT 2015 is co-located with the 18th European Joint Conferences
on Theory and Practice of Software (ETAPS 2015)
http://www.etaps.org/index.php/2015/workshops?id=218#VPT


*Important Dates*

January 16th, 2015: Abstract submission deadline
February 6th, 2015: Paper submission deadline
March 3rd, 2015: Acceptance notification
March 11th, 2015: Camera ready version
April 11th, 2015: 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 2015

https://easychair.org/conferences/?conf=vpt2015

Papers must describe original work that has not been published,
nor is presently 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.

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*

Original accepted papers will be published in a volume of the
Electronic Proceedings in Theoretical Computer (EPTCS) series.

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.


*Invited Speakers*

Arie Gurfinkel
Software Engineering Institute, Carnegie Mellon University, USA

David Monniaux
VERIMAG, CNRS - University of Grenoble, France


*Program Committee*

Santiago Escobar (Technical University of Valéncia, Spain)
Fabio Fioravanti (University of Chieti-Pescara, Italy)
John Gallagher (Roskilde University, Denmark)
Silvio Ghilardi (University of Milano, Italy)
Geoff W. Hamilton (Dublin City University, Republic of Ireland)
Michael Hanus (University of Kiel, Germany)
Andy King (University of Kent, UK)
Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, Germany)
Alexei Lisitsa, Co-Chair (University of Liverpool, UK)
Andrei P. Nemytykh, Co-Chair (Program Systems Institute of RAS, Russia)
Alberto Pettorossi, Co-Chair (University of Roma Tor Vergata, Italy)
Germán Vidal (Technical University of Valéncia, Spain)


*Organisers*

Emanuele De Angelis (CNR Institute for Systems Analysis and Computer Science, Italy)
Alexei Lisitsa (University of Liverpool, UK)
Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)
Alberto Pettorossi (University of Roma Tor Vergata, Italy)


*Contacts*

Emanuele De Angelis, deangelis@sci.unich.it
Alexei Lisitsa, a.lisitsa@csc.liv.ac.uk
Andrei P. Nemytykh, nemytykh@math.botik.ru
Alberto Pettorossi, adp@iasi.cnr.it

Related Resources

ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
IJCSEA 2020   International Journal of Computer Science, Engineering and Applications
VPT 2020   Eighth International Workshop on Verification and Program Transformation
VTS 2021   39th IEEE VLSI Test Symposium
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
4th Rome ICSSH 2021   4th Rome – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
ISSTA 2021   International Symposium on Software Testing and Analysis
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
3rd Athens ICSSH Sept 2021   3rd Athens – International Conference on Social Science & Humanities (ICSSH), 15-16 September 2021