BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//AllConf//Events//RU
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:acc75a0a-59e6-4636-8d5d-ed7c83d38e03@world-conf
DTSTAMP:20261108T030133Z
LAST-MODIFIED:20261105T232936Z
SEQUENCE:0
DTSTART;VALUE=DATE:20270110
DTEND;VALUE=DATE:20270117
SUMMARY:RocqPL 2027 — Rocq for Programming Languages
LOCATION:Hilton Mexico City Reforma\, Mexico City\, Mexico
URL:http://localhost:8080/en/events/popl-2027-44th-acm-sigplan-symposium-on
 -principles-of-progra-2027-01/
DESCRIPTION:An annual academic symposium focused on the fundamental princip
 les of programming languages. The program includes talks on type systems\,
  program synthesis\, static analysis\, and software verification methods. 
 The event is held in person.\n\nRegistration: https://cvent.me/2vomwn\nOff
 icial website: https://popl27.sigplan.org/home/rocqpl-2027\nCFP deadline 2
 026-10-31: https://popl27.sigplan.org/dates\n\nSources:\n- popl27.sigplan.
 org: https://popl27.sigplan.org/\n\nhttp://localhost:8080/en/events/popl-2
 027-44th-acm-sigplan-symposium-on-principles-of-progra-2027-01/
STATUS:CONFIRMED
CATEGORIES:science
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:RocqPL 2027 — Rocq for Programming Languages
TRIGGER:-PT1440M
END:VALARM
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:Registration deadline: RocqPL 2027 — Rocq for Programming Lan
 guages
TRIGGER;VALUE=DATE-TIME:20261210T055959Z
END:VALARM
END:VEVENT
END:VCALENDAR