BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:INFINITY — deadlines and dates
X-WR-CALDESC:Every recorded edition of INFINITY. https://www.conferences-co
 mputer.science/infinity/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:infinity-2013-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20130712
DTEND;VALUE=DATE:20130713
SUMMARY:INFINITY 2013 — paper deadline
DESCRIPTION:15th International Workshop on Verification of Infinite-State S
 ystems\nNo time zone stated by the organisers\; this site assumes Anywhere
  on Earth.\nShown as an all-day event: the deadline is a moment\, not a da
 y\, so check the exact time on the conference site.\nHeld in Hà Nội\, V
 iệt Nam.\nConference dates: 15 Oct 2013.\nhttps://www.conferences-comput
 er.science/infinity/2013/
URL:https://www.conferences-computer.science/infinity/2013/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,INFINITY
END:VEVENT
BEGIN:VEVENT
UID:infinity-2013-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20130816
DTEND;VALUE=DATE:20130817
SUMMARY:INFINITY 2013 — notification
DESCRIPTION:15th International Workshop on Verification of Infinite-State S
 ystems\nNo time zone stated by the organisers\; this site assumes Anywhere
  on Earth.\nShown as an all-day event: the deadline is a moment\, not a da
 y\, so check the exact time on the conference site.\nHeld in Hà Nội\, V
 iệt Nam.\nConference dates: 15 Oct 2013.\nhttps://www.conferences-comput
 er.science/infinity/2013/
URL:https://www.conferences-computer.science/infinity/2013/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,INFINITY
END:VEVENT
BEGIN:VEVENT
UID:infinity-2013-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20131015
DTEND;VALUE=DATE:20131016
SUMMARY:INFINITY 2013 — Hà Nội\, Việt Nam
DESCRIPTION:15th International Workshop on Verification of Infinite-State S
 ystems\nHeld in Hà Nội\, Việt Nam.\nPaper deadline was 12 July 2013.\
 nhttps://www.conferences-computer.science/infinity/2013/
URL:https://www.conferences-computer.science/infinity/2013/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,INFINITY
END:VEVENT
END:VCALENDAR
