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 — Formal Reasoning in Distributed Algorithms
LOCATION:Hilton Mexico City Reforma\, Mexico City\, Mexico
URL:http://localhost:8080/en/events/frida-2027-formal-reasoning-in-distribu
 ted-algorithms-2027-01/
DESCRIPTION:An offline workshop focused on formal methods for proving the c
 orrectness of distributed algorithms. Organized by ACM SIGPLAN and held in
  Mexico City.\n\nOfficial website: https://popl27.sigplan.org/home/frida-2
 027\n\nSources:\n- popl27.sigplan.org: https://popl27.sigplan.org/\n\nhttp
 ://localhost:8080/en/events/frida-2027-formal-reasoning-in-distributed-alg
 orithms-2027-01/
STATUS:CONFIRMED
CATEGORIES:science,backend
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:FRIDA 2027 — Formal Reasoning in Distributed Algorithms
TRIGGER:-PT1440M
END:VALARM
END:VEVENT
END:VCALENDAR