BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AllConf//Events//RU
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:c53f0f03-241a-40e5-981b-def60ca79f02@world-conf
DTSTAMP:20261108T000538Z
LAST-MODIFIED:20261105T232942Z
SEQUENCE:0
DTSTART;VALUE=DATE:20270110
DTEND;VALUE=DATE:20270117
SUMMARY:FRIDA 2027 — Формальные рассуждения в ра
 спределённых алгоритмах
LOCATION:Hilton Mexico City Reforma\, Mexico City\, Мексика
URL:http://localhost:8080/ru/events/frida-2027-formal-reasoning-in-distribu
 ted-algorithms-2027-01/
DESCRIPTION:Офлайн-воркшоп\, посвящённый форма
 льным методам доказательства корректно
 сти распределённых алгоритмов. Организа
 тор — ACM SIGPLAN\, площадка — Мехико.\n\nОфици
 альный сайт: https://popl27.sigplan.org/home/frida-2027\n\nИс
 точники:\n- popl27.sigplan.org: https://popl27.sigplan.org/\n\nhttp
 ://localhost:8080/ru/events/frida-2027-formal-reasoning-in-distributed-alg
 orithms-2027-01/
STATUS:CONFIRMED
CATEGORIES:science,backend
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:FRIDA 2027 — Формальные рассуждения в 
 распределённых алгоритмах
TRIGGER:-PT1440M
END:VALARM
END:VEVENT
END:VCALENDAR