Rome, + 50 km
Home / Events / ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification
ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification

Tickets to ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification

OTHERS
Venice, Veneto, Italy
Venezia
Find a ticket
Date and time
Description
Location

«ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification»

22
Jun
Monday Mo-12:00am
Jun, 2020
Jun 22 Mo-12:00am
12:00 AM
Ramo del Forner, 2367, 30125, Venezia, Veneto, Italia

Description

The International Research Conference Aims and Objectives The International Research Conference is a federated organization dedicated to bringing together a significant number of diverse scholarly events for presentation within the conference program. Events will run over a span of time during the conference depending on the number and length of the presentations. With its high quality, it provides an exceptional value for students, academics and industry researchers. ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Program Transformation for Program Verification. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Program Transformation for Program Verification