BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AllConf//Events//RU
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:0440c348-a6f3-4425-8662-78cc45fa19a6@world-conf
DTSTAMP:20261108T000538Z
LAST-MODIFIED:20261105T232944Z
SEQUENCE:0
DTSTART;VALUE=DATE:20270110
DTEND;VALUE=DATE:20270117
SUMMARY:LAFI 2027 — Языки для инференции
LOCATION:Hilton Mexico City Reforma\, Mexico City\, Мексика
URL:http://localhost:8080/ru/events/lafi-2027-languages-for-inference-2027-
 01/
DESCRIPTION:Офлайн-воркшоп в Мехико\, посвящён
 ный языкам программирования для логичес
 кого вывода и систем доказательств. Орга
 низатор — ACM SIGPLAN.\n\nОфициальный сайт: https:
 //popl27.sigplan.org/home/lafi-2027\n\nИсточники:\n- popl27.sigpl
 an.org: https://popl27.sigplan.org/\n\nhttp://localhost:8080/ru/events/laf
 i-2027-languages-for-inference-2027-01/
STATUS:CONFIRMED
CATEGORIES:design
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:LAFI 2027 — Языки для инференции
TRIGGER:-PT1440M
END:VALARM
END:VEVENT
END:VCALENDAR