BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AllConf//Events//RU
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:bad530d5-cc2e-40e1-8553-29cf4d1efd7f@world-conf
DTSTAMP:20261108T000538Z
LAST-MODIFIED:20261105T232936Z
SEQUENCE:0
DTSTART;VALUE=DATE:20270110
DTEND;VALUE=DATE:20270117
SUMMARY:VMCAI 2027 — Верификация\, проверка модел
 ей и абстрактная интерпретация
LOCATION:Hilton Mexico City Reforma\, Mexico City\, Мексика
URL:http://localhost:8080/ru/events/vmcai-2027-verification-model-checking-
 abstract-interpretati-2027-01/
DESCRIPTION:Конференция\, проводимая совместн
 о с ACM SIGPLAN\, по формальным методам анализ
 а программ: доказательство корректности
 \, проверка моделей и абстрактная интерп
 ретация. Формат — очный\, площадка — Мех
 ико.\n\nОфициальный сайт: https://conf.researchr.org/hom
 e/VMCAI-2027\n\nИсточники:\n- popl27.sigplan.org: https://popl27.
 sigplan.org/\n\nhttp://localhost:8080/ru/events/vmcai-2027-verification-mo
 del-checking-abstract-interpretati-2027-01/
STATUS:CONFIRMED
CATEGORIES:science,qa
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:VMCAI 2027 — Верификация\, проверка мод
 елей и абстрактная интерпретация
TRIGGER:-PT1440M
END:VALARM
END:VEVENT
END:VCALENDAR