BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AllConf//Events//RU
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:ae1e2a5d-d32a-4d8d-aa79-0aacd1fa12b7@world-conf
DTSTAMP:20261108T000538Z
LAST-MODIFIED:20261105T232935Z
SEQUENCE:0
DTSTART;VALUE=DATE:20270110
DTEND;VALUE=DATE:20270117
SUMMARY:CPP 2027 — Сертифицированные программы 
 и доказательства
LOCATION:Hilton Mexico City Reforma\, Mexico City\, Мексика
URL:http://localhost:8080/ru/events/cpp-2027-certified-programs-and-proofs-
 2027-01/
DESCRIPTION:Конференция ACM SIGPLAN по формальной в
 ерификации: подходы к сертификации прог
 рамм и автоматическому подтверждению ко
 рректности. Проводится очно в Мехико.\n\nО
 фициальный сайт: https://popl27.sigplan.org/home/CPP-2027\n\
 nИсточники:\n- popl27.sigplan.org: https://popl27.sigplan.org/\n\
 nhttp://localhost:8080/ru/events/cpp-2027-certified-programs-and-proofs-20
 27-01/
STATUS:CONFIRMED
CATEGORIES:science,ai
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:CPP 2027 — Сертифицированные програм
 мы и доказательства
TRIGGER:-PT1440M
END:VALARM
END:VEVENT
END:VCALENDAR