罗马, 拉齐奥, 意大利, + 50 公里
罗马, 拉齐奥, 意大利
确认
已添加 + 50 公里

距离

此距离适用于所有选定城市
0 50 100 150 200 250
所有附近的地点 罗马, 拉齐奥, 意大利
首页 / 活动 / ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification
ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification

ICPTPV 2020: 14. International Conference on Program Transformation for Program Verification门票

others
Venice, Veneto, Italy
Venezia
买票
日期和时间
描述
地点位置

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

22
六月
星期一 周一 - 0nan:00
六月, 2020
六月 22 周一 - 0nan:00
0NaN:00
Ramo del Forner, 2367, 30125, Venezia, Veneto, Italia

描述

国际研究会议的目标和目标 国际研究会议是一个联合组织,致力于汇集大量不同的学术活动,在会议计划内介绍。活动期间,活动将在会议期间运行一段时间,具体取决于演示文稿的数量和长度。凭借其高品质,它为学生、学者和行业研究人员提供卓越的价值。ICPTPV 2020: 14.计划验证方案转型国际会议旨在汇集顶尖的学术科学家、研究人员和研究学者,就项目验证方案转型的各个方面交流和分享经验和研究成果。它还为研究人员、从业人员和教育工作者提供了一个领先的跨学科平台,以介绍和讨论最新的创新、趋势和关注,以及在计划转型领域遇到的实际挑战和解决方案。