BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AllConf//Events//RU
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:5e925742-5aaa-4be2-860d-dbf9ccfa5bef@world-conf
DTSTAMP:20261108T000538Z
LAST-MODIFIED:20261105T232936Z
SEQUENCE:0
DTSTART;VALUE=DATE:20270110
DTEND;VALUE=DATE:20270117
SUMMARY:WAVE 2027 — Мастерская по автоматическо
 й активной верификации
LOCATION:Hilton Mexico City Reforma\, Mexico City\, Мексика
URL:http://localhost:8080/ru/events/wave-2027-workshop-on-auto-active-verif
 ication-2027-01/
DESCRIPTION:Мастерская ACM SIGPLAN о методах и инст
 рументах автоматической активной вериф
 икации. Проводится очно в Мехико паралле
 льно с POPL 2027.\n\nОфициальный сайт: https://popl27.
 sigplan.org/home/wave-2027\n\nИсточники:\n- popl27.sigplan.org: h
 ttps://popl27.sigplan.org/\n\nhttp://localhost:8080/ru/events/wave-2027-wo
 rkshop-on-auto-active-verification-2027-01/
STATUS:CONFIRMED
CATEGORIES:science,qa
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:WAVE 2027 — Мастерская по автоматичес
 кой активной верификации
TRIGGER:-PT1440M
END:VALARM
END:VEVENT
END:VCALENDAR