BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:iFS — deadlines and dates
X-WR-CALDESC:Every recorded edition of iFS. https://www.conferences-compute
 r.science/ifs/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:ifs-2027-abstract@conferences-computer.science
DTSTAMP:20260817T153826Z
DTSTART;VALUE=DATE:20261015
DTEND;VALUE=DATE:20261016
SUMMARY:iFS 2027 — abstract deadline
DESCRIPTION:First International Conference on Foundations and Formal Method
 s for Software and Systems\nDeadline stated in AoE.\nShown as an all-day e
 vent: the deadline is a moment\, not a day\, so check the exact time on th
 e conference site.\nHeld in Copenhagen\, Denmark.\nConference dates: 10–
 15 Apr 2027.\nhttps://www.conferences-computer.science/ifs/2027/
URL:https://www.conferences-computer.science/ifs/2027/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,iFS
END:VEVENT
BEGIN:VEVENT
UID:ifs-2027-paper@conferences-computer.science
DTSTAMP:20260817T153826Z
DTSTART;VALUE=DATE:20261015
DTEND;VALUE=DATE:20261016
SUMMARY:iFS 2027 — paper deadline
DESCRIPTION:First International Conference on Foundations and Formal Method
 s for Software and Systems\nDeadline stated in AoE.\nShown as an all-day e
 vent: the deadline is a moment\, not a day\, so check the exact time on th
 e conference site.\nHeld in Copenhagen\, Denmark.\nConference dates: 10–
 15 Apr 2027.\nhttps://www.conferences-computer.science/ifs/2027/
URL:https://www.conferences-computer.science/ifs/2027/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,iFS
END:VEVENT
BEGIN:VEVENT
UID:ifs-2027-notification@conferences-computer.science
DTSTAMP:20260817T153826Z
DTSTART;VALUE=DATE:20261222
DTEND;VALUE=DATE:20261223
SUMMARY:iFS 2027 — notification
DESCRIPTION:First International Conference on Foundations and Formal Method
 s for Software and Systems\nNo time zone stated by the organisers\; this s
 ite assumes Anywhere on Earth.\nShown as an all-day event: the deadline is
  a moment\, not a day\, so check the exact time on the conference site.\nH
 eld in Copenhagen\, Denmark.\nConference dates: 10–15 Apr 2027.\nhttps:/
 /www.conferences-computer.science/ifs/2027/
URL:https://www.conferences-computer.science/ifs/2027/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,iFS
END:VEVENT
BEGIN:VEVENT
UID:ifs-2027-event@conferences-computer.science
DTSTAMP:20260817T153826Z
DTSTART;VALUE=DATE:20270410
DTEND;VALUE=DATE:20270416
SUMMARY:iFS 2027 — Copenhagen\, Denmark
DESCRIPTION:First International Conference on Foundations and Formal Method
 s for Software and Systems\nHeld in Copenhagen\, Denmark.\nPaper deadline 
 was 15 October 2026.\nhttps://www.conferences-computer.science/ifs/2027/
URL:https://www.conferences-computer.science/ifs/2027/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,iFS
END:VEVENT
END:VCALENDAR