Rome, + 50 kilomètre
L'essentiel... / Événements / ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification
ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification

Billets pour ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification

OTHERS
Venice, Veneto, Italy
Venezia
Trouver un ticket
Date et l'heure
Description
Lieu

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

22
jui
lundi Lu-00:00
jui, 2020
jui 22 Lu-00:00
00:00
Ramo del Forner, 2367, 30125, Venezia, Veneto, Italia

Description

La Conférence internationale de recherche Vise et objectifs La Conférence internationale de la recherche est une organisation fédérée qui se consacre à réunir un nombre important d’événements savants divers pour la présentation dans le cadre du programme de la conférence. Les événements s’échelonneront sur une période de temps pendant la conférence en fonction du nombre et de la durée des présentations. Avec sa haute qualité, il offre une valeur exceptionnelle pour les étudiants, les universitaires et les chercheurs de l’industrie. ICPTPV 2020: 14. La Conférence internationale sur la transformation des programmes pour la vérification des programmes vise à réunir des scientifiques universitaires, des chercheurs et des chercheurs de premier plan afin d’échanger et de partager leurs expériences et leurs résultats de recherche sur tous les aspects de la transformation des programmes pour la vérification des programmes. Il fournit également une plate-forme interdisciplinaire de premier plan pour les chercheurs, les praticiens et les éducateurs de présenter et de discuter des innovations, des tendances et des préoccupations les plus récentes ainsi que des défis pratiques rencontrés et des solutions adoptées dans les domaines de la transformation des programmes pour la vérification des programmes