Rome, + 50 km
Rome, Lazio, Italië
ca.
Al toegevoegd + 50 km

afstand

Deze afstand geldt voor alle geselecteerde steden
0 50 100 150 200 250
Alle plaatsen in de buurt Rome, Lazio, Italië
hoofd- / Evenementen / ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification
ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification

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

others
Venice, Veneto, Italy
Venezia
Koop een kaartje
Datum en tijd
Beschrijving
Plaats

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

22
juni
maandag Ma - 00:00
juni, 2020
jun 22 Ma - 00:00
00:00
Ramo del Forner, 2367, 30125, Venezia, Veneto, Italia

Beschrijving

De International Research Conference Aims and Objectives De International Research Conference is een federatiegevoede organisatie die zich toelegt op het samenbrengen van een aanzienlijk aantal uiteenlopende wetenschappelijke evenementen voor presentatie binnen het conferentieprogramma. Evenementen zullen gedurende een tijdsspanne tijdens de conferentie duren, afhankelijk van het aantal en de lengte van de presentaties. Met zijn hoge kwaliteit, het biedt een uitzonderlijke waarde voor studenten, academici en onderzoekers uit de industrie. ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification heeft tot doel toonaangevende academische wetenschappers, onderzoekers en onderzoekers samen te brengen om hun ervaringen en onderzoeksresultaten over alle aspecten van Programmatransformatie voor programmaverificatie uit te wisselen en te delen. Het biedt ook een eersteklas interdisciplinaire platform voor onderzoekers, beoefenaars en opvoeders te presenteren en te bespreken de meest recente innovaties, trends en zorgen, evenals praktische uitdagingen ondervonden en oplossingen die op het gebied van Programma Transformatie voor Programma Verificatie