Рим, + 50 км
Главная / События / 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
июн
понедельник По-00:00
июн, 2020
июн 22 По-00:00
00:00
Ramo del Forner, 2367, 30125, Venezia, Veneto, Italia

Описание

Международная исследовательская конференция Цели и цели Международная исследовательская конференция является федеративной организацией, посвященной объединению значительного числа разнообразных научных мероприятий для презентации в рамках программы конференции. События будут проходить в течение определенного периода времени во время конференции в зависимости от количества и продолжительности презентаций. Благодаря своему высокому качеству, он обеспечивает исключительную ценность для студентов, ученых и исследователей отрасли. ICPTPV 2020: 14. Международная конференция по трансформации программ для проверки программ направлена на объединение ведущих ученых, исследователей и ученых-исследователей для обмена и обмена опытом и результатами исследований по всем аспектам трансформации программы для проверки программы. Он также предоставляет главную междисциплинарную платформу для исследователей, практиков и преподавателей, чтобы представить и обсудить самые последние инновации, тенденции и проблемы, а также практические проблемы, возникающие и решения, принятые в области трансформации программы для проверки программы