Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
VPT 2015 - 3rd Verification and Program Transformation (VPT)
Topics/Call fo Papers
The aim of the workshop is to bring together researchers working in the fields of Program Verification and Program Transformation. There is a great potential for beneficial interactions between these two fields because:?
(i) methods and tools developed in the field of Program Transformation such as partial evaluation, fold/unfold transformations, and supercompilation, have all been applied with success in the field of the verification of infinite state systems and parameterized systems, and
(ii) model checking, abstract interpretation, SAT and SMT solving and automated theorem proving have been used to enhance program transformation techniques. Moreover, the formal certification of program transformation tools, such as refactoring tools and compilers, has recently attracted considerable interest and posed major challenges.
The workshop will provide a forum where researchers from the Verification and Transformation fields may exchange ideas and foster new developments.
Organisers:
Emanuele De Angelis, CNR Institute for Systems Analysis and Computer Science, Italy (deangelis-AT-sci.unich.it)
Alexei Lisitsa, The University of Liverpool, UK (a.lisitsa-AT-csc.liv.ac.uk)
Andrei P. Nemytykh, Program Systems Institute of RAS, Russia (nemytykh-AT-math.botik.ru)
Alberto Pettorossi, Università di Roma Tor Vergata, Italy (adp-AT-iasi.cnr.it)
Program Committee:
Santiago Escobar, 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, The University of Liverpool, UK
Andrei P. Nemytykh, Program Systems Institute of RAS, Russia (co-chair)
Alberto Pettorossi, Università di Roma Tor Vergata, Italy (co-chair)
German Vidal, University of València, Spain
(i) methods and tools developed in the field of Program Transformation such as partial evaluation, fold/unfold transformations, and supercompilation, have all been applied with success in the field of the verification of infinite state systems and parameterized systems, and
(ii) model checking, abstract interpretation, SAT and SMT solving and automated theorem proving have been used to enhance program transformation techniques. Moreover, the formal certification of program transformation tools, such as refactoring tools and compilers, has recently attracted considerable interest and posed major challenges.
The workshop will provide a forum where researchers from the Verification and Transformation fields may exchange ideas and foster new developments.
Organisers:
Emanuele De Angelis, CNR Institute for Systems Analysis and Computer Science, Italy (deangelis-AT-sci.unich.it)
Alexei Lisitsa, The University of Liverpool, UK (a.lisitsa-AT-csc.liv.ac.uk)
Andrei P. Nemytykh, Program Systems Institute of RAS, Russia (nemytykh-AT-math.botik.ru)
Alberto Pettorossi, Università di Roma Tor Vergata, Italy (adp-AT-iasi.cnr.it)
Program Committee:
Santiago Escobar, 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, The University of Liverpool, UK
Andrei P. Nemytykh, Program Systems Institute of RAS, Russia (co-chair)
Alberto Pettorossi, Università di Roma Tor Vergata, Italy (co-chair)
German Vidal, University of València, Spain
Other CFPs
Last modified: 2014-10-13 22:27:34