BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:iFM — deadlines and dates X-WR-CALDESC:Every recorded edition of iFM. https://www.conferences-compute r.science/ifm/ X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:ifm-2014-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20140417 DTEND;VALUE=DATE:20140418 SUMMARY:iFM 2014 — abstract deadline DESCRIPTION:11th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Bertinoro\, Italy.\nConf erence dates: 9–11 Sep 2014.\nhttps://www.conferences-computer.science/i fm/2014/ URL:https://www.conferences-computer.science/ifm/2014/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2014-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20140425 DTEND;VALUE=DATE:20140426 SUMMARY:iFM 2014 — paper deadline DESCRIPTION:11th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Bertinoro\, Italy.\nConf erence dates: 9–11 Sep 2014.\nhttps://www.conferences-computer.science/i fm/2014/ URL:https://www.conferences-computer.science/ifm/2014/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2014-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20140606 DTEND;VALUE=DATE:20140607 SUMMARY:iFM 2014 — notification DESCRIPTION:11th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Bertinoro\, Italy.\nConf erence dates: 9–11 Sep 2014.\nhttps://www.conferences-computer.science/i fm/2014/ URL:https://www.conferences-computer.science/ifm/2014/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2016-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160106 DTEND;VALUE=DATE:20160107 SUMMARY:iFM 2016 — abstract deadline DESCRIPTION:12th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Reykjavík\, Iceland.\nC onference dates: 1–4 Jun 2016.\nhttps://www.conferences-computer.science /ifm/2016/ URL:https://www.conferences-computer.science/ifm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2016-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160113 DTEND;VALUE=DATE:20160114 SUMMARY:iFM 2016 — paper deadline DESCRIPTION:12th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Reykjavík\, Iceland.\nC onference dates: 1–4 Jun 2016.\nhttps://www.conferences-computer.science /ifm/2016/ URL:https://www.conferences-computer.science/ifm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2016-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160229 DTEND;VALUE=DATE:20160301 SUMMARY:iFM 2016 — notification DESCRIPTION:12th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Reykjavík\, Iceland.\nC onference dates: 1–4 Jun 2016.\nhttps://www.conferences-computer.science /ifm/2016/ URL:https://www.conferences-computer.science/ifm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2017-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170420 DTEND;VALUE=DATE:20170421 SUMMARY:iFM 2017 — abstract deadline DESCRIPTION:13th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nExtended from 28 March 2017.\nHe ld in Turin\, Italy.\nConference dates: 20–22 Sep 2017.\nhttps://www.con ferences-computer.science/ifm/2017/ URL:https://www.conferences-computer.science/ifm/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2017-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170427 DTEND;VALUE=DATE:20170428 SUMMARY:iFM 2017 — paper deadline DESCRIPTION:13th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nExtended from 04 April 2017.\nHe ld in Turin\, Italy.\nConference dates: 20–22 Sep 2017.\nhttps://www.con ferences-computer.science/ifm/2017/ URL:https://www.conferences-computer.science/ifm/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2017-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170602 DTEND;VALUE=DATE:20170603 SUMMARY:iFM 2017 — notification DESCRIPTION:13th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nExtended from 26 May 2017.\nHeld in Turin\, Italy.\nConference dates: 20–22 Sep 2017.\nhttps://www.confe rences-computer.science/ifm/2017/ URL:https://www.conferences-computer.science/ifm/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2018-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180425 DTEND;VALUE=DATE:20180426 SUMMARY:iFM 2018 — abstract deadline DESCRIPTION:14th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nExtended from 16 April 2018.\nHe ld in Maynooth\, Ireland.\nConference dates: 5–7 Sep 2018.\nhttps://www. conferences-computer.science/ifm/2018/ URL:https://www.conferences-computer.science/ifm/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2018-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180502 DTEND;VALUE=DATE:20180503 SUMMARY:iFM 2018 — paper deadline DESCRIPTION:14th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nExtended from 20 April 2018.\nHe ld in Maynooth\, Ireland.\nConference dates: 5–7 Sep 2018.\nhttps://www. conferences-computer.science/ifm/2018/ URL:https://www.conferences-computer.science/ifm/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2018-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180614 DTEND;VALUE=DATE:20180615 SUMMARY:iFM 2018 — notification DESCRIPTION:14th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Maynooth\, Ireland.\nCon ference dates: 5–7 Sep 2018.\nhttps://www.conferences-computer.science/i fm/2018/ URL:https://www.conferences-computer.science/ifm/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2019-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190701 DTEND;VALUE=DATE:20190702 SUMMARY:iFM 2019 — abstract deadline DESCRIPTION:15th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 24 June 2019.\nHeld in Bergen\, Norway.\nConference dates: 4–6 Dec 20 19.\nhttps://www.conferences-computer.science/ifm/2019/ URL:https://www.conferences-computer.science/ifm/2019/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2019-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190705 DTEND;VALUE=DATE:20190706 SUMMARY:iFM 2019 — paper deadline DESCRIPTION:15th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 28 June 2019.\nHeld in Bergen\, Norway.\nConference dates: 4–6 Dec 20 19.\nhttps://www.conferences-computer.science/ifm/2019/ URL:https://www.conferences-computer.science/ifm/2019/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2019-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190916 DTEND;VALUE=DATE:20190917 SUMMARY:iFM 2019 — notification DESCRIPTION:15th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Bergen\, Norway.\nConfer ence dates: 4–6 Dec 2019.\nhttps://www.conferences-computer.science/ifm/ 2019/ URL:https://www.conferences-computer.science/ifm/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2020-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20200615 DTEND;VALUE=DATE:20200616 SUMMARY:iFM 2020 — abstract deadline DESCRIPTION:16th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nHeld in Vir tual (Lugano\, Switzerland).\nConference dates: 16–20 Nov 2020.\nhttps:/ /www.conferences-computer.science/ifm/2020/ URL:https://www.conferences-computer.science/ifm/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2020-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20200622 DTEND;VALUE=DATE:20200623 SUMMARY:iFM 2020 — paper deadline DESCRIPTION:16th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nHeld in Vir tual (Lugano\, Switzerland).\nConference dates: 16–20 Nov 2020.\nhttps:/ /www.conferences-computer.science/ifm/2020/ URL:https://www.conferences-computer.science/ifm/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2020-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20200814 DTEND;VALUE=DATE:20200815 SUMMARY:iFM 2020 — notification DESCRIPTION:16th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Virtual (Lugano\, Switze rland).\nConference dates: 16–20 Nov 2020.\nhttps://www.conferences-comp uter.science/ifm/2020/ URL:https://www.conferences-computer.science/ifm/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2022-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220121 DTEND;VALUE=DATE:20220122 SUMMARY:iFM 2022 — abstract deadline DESCRIPTION:17th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 14 January 2022.\nHeld in Lugano\, Switzerland.\nConference dates: 7– 10 Jun 2022.\nhttps://www.conferences-computer.science/ifm/2022/ URL:https://www.conferences-computer.science/ifm/2022/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2022-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220211 DTEND;VALUE=DATE:20220212 SUMMARY:iFM 2022 — paper deadline DESCRIPTION:17th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 21 January 2022.\nHeld in Lugano\, Switzerland.\nConference dates: 7– 10 Jun 2022.\nhttps://www.conferences-computer.science/ifm/2022/ URL:https://www.conferences-computer.science/ifm/2022/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2022-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220318 DTEND;VALUE=DATE:20220319 SUMMARY:iFM 2022 — notification DESCRIPTION:17th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Lugano\, Switzerland.\nC onference dates: 7–10 Jun 2022.\nhttps://www.conferences-computer.scienc e/ifm/2022/ URL:https://www.conferences-computer.science/ifm/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2023-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230610 DTEND;VALUE=DATE:20230611 SUMMARY:iFM 2023 — abstract deadline DESCRIPTION:18th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nHeld in Lei den\, the Netherlands.\nConference dates: 13–15 Nov 2023.\nhttps://www.c onferences-computer.science/ifm/2023/ URL:https://www.conferences-computer.science/ifm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2023-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230615 DTEND;VALUE=DATE:20230616 SUMMARY:iFM 2023 — paper deadline DESCRIPTION:18th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nHeld in Lei den\, the Netherlands.\nConference dates: 13–15 Nov 2023.\nhttps://www.c onferences-computer.science/ifm/2023/ URL:https://www.conferences-computer.science/ifm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2023-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230810 DTEND;VALUE=DATE:20230811 SUMMARY:iFM 2023 — notification DESCRIPTION:18th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Leiden\, the Netherlands .\nConference dates: 13–15 Nov 2023.\nhttps://www.conferences-computer.s cience/ifm/2023/ URL:https://www.conferences-computer.science/ifm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2024-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240613 DTEND;VALUE=DATE:20240614 SUMMARY:iFM 2024 — abstract deadline DESCRIPTION:19th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 03 June 2024.\nHeld in Manchester\, England.\nConference dates: 13–15 Nov 2024.\nhttps://www.conferences-computer.science/ifm/2024/ URL:https://www.conferences-computer.science/ifm/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2024-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240617 DTEND;VALUE=DATE:20240618 SUMMARY:iFM 2024 — paper deadline DESCRIPTION:19th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 10 June 2024.\nHeld in Manchester\, England.\nConference dates: 13–15 Nov 2024.\nhttps://www.conferences-computer.science/ifm/2024/ URL:https://www.conferences-computer.science/ifm/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2024-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240805 DTEND;VALUE=DATE:20240806 SUMMARY:iFM 2024 — notification DESCRIPTION:19th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Manchester\, England.\nC onference dates: 13–15 Nov 2024.\nhttps://www.conferences-computer.scien ce/ifm/2024/ URL:https://www.conferences-computer.science/ifm/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250613 DTEND;VALUE=DATE:20250614 SUMMARY:iFM 2025 — abstract deadline DESCRIPTION:20th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 30 May 2025.\nHeld in Paris\, France.\nConference dates: 19–21 Nov 20 25.\nhttps://www.conferences-computer.science/ifm/2025/ URL:https://www.conferences-computer.science/ifm/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250620 DTEND;VALUE=DATE:20250621 SUMMARY:iFM 2025 — paper deadline DESCRIPTION:20th International Conference on integrated Formal Methods\nDea dline stated in AoE.\nShown as an all-day event: the deadline is a moment\ , not a day\, so check the exact time on the conference site.\nExtended fr om 06 June 2025.\nHeld in Paris\, France.\nConference dates: 19–21 Nov 2 025.\nhttps://www.conferences-computer.science/ifm/2025/ URL:https://www.conferences-computer.science/ifm/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250808 DTEND;VALUE=DATE:20250809 SUMMARY:iFM 2025 — notification DESCRIPTION:20th International Conference on integrated Formal Methods\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 day\, so chec k the exact time on the conference site.\nHeld in Paris\, France.\nConfere nce dates: 19–21 Nov 2025.\nhttps://www.conferences-computer.science/ifm /2025/ URL:https://www.conferences-computer.science/ifm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2014-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20140909 DTEND;VALUE=DATE:20140912 SUMMARY:iFM 2014 — Bertinoro\, Italy DESCRIPTION:11th International Conference on integrated Formal Methods\nHel d in Bertinoro\, Italy.\nPaper deadline was 25 April 2014.\nhttps://www.co nferences-computer.science/ifm/2014/ URL:https://www.conferences-computer.science/ifm/2014/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2016-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160601 DTEND;VALUE=DATE:20160605 SUMMARY:iFM 2016 — Reykjavík\, Iceland DESCRIPTION:12th International Conference on integrated Formal Methods\nHel d in Reykjavík\, Iceland.\nPaper deadline was 13 January 2016.\nhttps://w ww.conferences-computer.science/ifm/2016/ URL:https://www.conferences-computer.science/ifm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2017-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170920 DTEND;VALUE=DATE:20170923 SUMMARY:iFM 2017 — Turin\, Italy DESCRIPTION:13th International Conference on integrated Formal Methods\nHel d in Turin\, Italy.\nPaper deadline was 27 April 2017.\nhttps://www.confer ences-computer.science/ifm/2017/ URL:https://www.conferences-computer.science/ifm/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2018-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180905 DTEND;VALUE=DATE:20180908 SUMMARY:iFM 2018 — Maynooth\, Ireland DESCRIPTION:14th International Conference on integrated Formal Methods\nHel d in Maynooth\, Ireland.\nPaper deadline was 02 May 2018.\nhttps://www.con ferences-computer.science/ifm/2018/ URL:https://www.conferences-computer.science/ifm/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2019-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20191204 DTEND;VALUE=DATE:20191207 SUMMARY:iFM 2019 — Bergen\, Norway DESCRIPTION:15th International Conference on integrated Formal Methods\nHel d in Bergen\, Norway.\nPaper deadline was 05 July 2019.\nhttps://www.confe rences-computer.science/ifm/2019/ URL:https://www.conferences-computer.science/ifm/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2020-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20201116 DTEND;VALUE=DATE:20201121 SUMMARY:iFM 2020 — Virtual (Lugano\, Switzerland) DESCRIPTION:16th International Conference on integrated Formal Methods\nHel d in Virtual (Lugano\, Switzerland).\nPaper deadline was 22 June 2020.\nht tps://www.conferences-computer.science/ifm/2020/ URL:https://www.conferences-computer.science/ifm/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2022-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220607 DTEND;VALUE=DATE:20220611 SUMMARY:iFM 2022 — Lugano\, Switzerland DESCRIPTION:17th International Conference on integrated Formal Methods\nHel d in Lugano\, Switzerland.\nPaper deadline was 11 February 2022.\nhttps:// www.conferences-computer.science/ifm/2022/ URL:https://www.conferences-computer.science/ifm/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2023-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20231113 DTEND;VALUE=DATE:20231116 SUMMARY:iFM 2023 — Leiden\, the Netherlands DESCRIPTION:18th International Conference on integrated Formal Methods\nHel d in Leiden\, the Netherlands.\nPaper deadline was 15 June 2023.\nhttps:// www.conferences-computer.science/ifm/2023/ URL:https://www.conferences-computer.science/ifm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2024-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20241113 DTEND;VALUE=DATE:20241116 SUMMARY:iFM 2024 — Manchester\, England DESCRIPTION:19th International Conference on integrated Formal Methods\nHel d in Manchester\, England.\nPaper deadline was 17 June 2024.\nhttps://www. conferences-computer.science/ifm/2024/ URL:https://www.conferences-computer.science/ifm/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT BEGIN:VEVENT UID:ifm-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251119 DTEND;VALUE=DATE:20251122 SUMMARY:iFM 2025 — Paris\, France DESCRIPTION:20th International Conference on integrated Formal Methods\nHel d in Paris\, France.\nPaper deadline was 20 June 2025.\nhttps://www.confer ences-computer.science/ifm/2025/ URL:https://www.conferences-computer.science/ifm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,iFM END:VEVENT END:VCALENDAR