BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:SEFM — deadlines and dates X-WR-CALDESC:Every recorded edition of SEFM. https://www.conferences-comput er.science/sefm/ X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:sefm-2015-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150313 DTEND;VALUE=DATE:20150314 SUMMARY:SEFM 2015 — abstract deadline DESCRIPTION:13th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in York\, Eng land.\nConference dates: 7–11 Sep 2015.\nhttps://www.conferences-compute r.science/sefm/2015/ URL:https://www.conferences-computer.science/sefm/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2015-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150320 DTEND;VALUE=DATE:20150321 SUMMARY:SEFM 2015 — paper deadline DESCRIPTION:13th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in York\, Eng land.\nConference dates: 7–11 Sep 2015.\nhttps://www.conferences-compute r.science/sefm/2015/ URL:https://www.conferences-computer.science/sefm/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2015-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150515 DTEND;VALUE=DATE:20150516 SUMMARY:SEFM 2015 — notification DESCRIPTION:13th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in York\, Eng land.\nConference dates: 7–11 Sep 2015.\nhttps://www.conferences-compute r.science/sefm/2015/ URL:https://www.conferences-computer.science/sefm/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2016-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160222 DTEND;VALUE=DATE:20160223 SUMMARY:SEFM 2016 — abstract deadline DESCRIPTION:14th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Vienna\, A ustria.\nConference dates: 4–8 Jul 2016.\nhttps://www.conferences-comput er.science/sefm/2016/ URL:https://www.conferences-computer.science/sefm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2016-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160229 DTEND;VALUE=DATE:20160301 SUMMARY:SEFM 2016 — paper deadline DESCRIPTION:14th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Vienna\, A ustria.\nConference dates: 4–8 Jul 2016.\nhttps://www.conferences-comput er.science/sefm/2016/ URL:https://www.conferences-computer.science/sefm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2016-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160413 DTEND;VALUE=DATE:20160414 SUMMARY:SEFM 2016 — notification DESCRIPTION:14th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Vienna\, A ustria.\nConference dates: 4–8 Jul 2016.\nhttps://www.conferences-comput er.science/sefm/2016/ URL:https://www.conferences-computer.science/sefm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2017-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170406 DTEND;VALUE=DATE:20170407 SUMMARY:SEFM 2017 — abstract deadline DESCRIPTION:15th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nExtended from 13 M arch 2017.\nHeld in Trento\, Italy.\nConference dates: 6–10 Sep 2017.\nh ttps://www.conferences-computer.science/sefm/2017/ URL:https://www.conferences-computer.science/sefm/2017/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2017-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170413 DTEND;VALUE=DATE:20170414 SUMMARY:SEFM 2017 — paper deadline DESCRIPTION:15th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nExtended from 31 M arch 2017.\nHeld in Trento\, Italy.\nConference dates: 6–10 Sep 2017.\nh ttps://www.conferences-computer.science/sefm/2017/ URL:https://www.conferences-computer.science/sefm/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2017-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170529 DTEND;VALUE=DATE:20170530 SUMMARY:SEFM 2017 — notification DESCRIPTION:15th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Trento\, I taly.\nConference dates: 6–10 Sep 2017.\nhttps://www.conferences-compute r.science/sefm/2017/ URL:https://www.conferences-computer.science/sefm/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2018-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180302 DTEND;VALUE=DATE:20180303 SUMMARY:SEFM 2018 — abstract deadline DESCRIPTION:16th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nExtended from 23 F ebruary 2018.\nHeld in Toulouse\, France.\nConference dates: 27–29 Jun 2 018.\nhttps://www.conferences-computer.science/sefm/2018/ URL:https://www.conferences-computer.science/sefm/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2018-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180309 DTEND;VALUE=DATE:20180310 SUMMARY:SEFM 2018 — paper deadline DESCRIPTION:16th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nExtended from 02 M arch 2018.\nHeld in Toulouse\, France.\nConference dates: 27–29 Jun 2018 .\nhttps://www.conferences-computer.science/sefm/2018/ URL:https://www.conferences-computer.science/sefm/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2018-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180409 DTEND;VALUE=DATE:20180410 SUMMARY:SEFM 2018 — notification DESCRIPTION:16th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Toulouse\, France.\nConference dates: 27–29 Jun 2018.\nhttps://www.conferences-com puter.science/sefm/2018/ URL:https://www.conferences-computer.science/sefm/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2019-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190513 DTEND;VALUE=DATE:20190514 SUMMARY:SEFM 2019 — abstract deadline DESCRIPTION:17th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 03 May 2019.\nHeld in Oslo\, Norway.\nConference dates: 1 6–20 Sep 2019.\nhttps://www.conferences-computer.science/sefm/2019/ URL:https://www.conferences-computer.science/sefm/2019/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2019-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190520 DTEND;VALUE=DATE:20190521 SUMMARY:SEFM 2019 — paper deadline DESCRIPTION:17th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 10 May 2019.\nHeld in Oslo\, Norway.\nConference dates: 1 6–20 Sep 2019.\nhttps://www.conferences-computer.science/sefm/2019/ URL:https://www.conferences-computer.science/sefm/2019/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2019-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190625 DTEND;VALUE=DATE:20190626 SUMMARY:SEFM 2019 — notification DESCRIPTION:17th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Oslo\, Nor way.\nConference dates: 16–20 Sep 2019.\nhttps://www.conferences-compute r.science/sefm/2019/ URL:https://www.conferences-computer.science/sefm/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2020-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200524 DTEND;VALUE=DATE:20200525 SUMMARY:SEFM 2020 — abstract deadline DESCRIPTION:18th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 27 April 2020.\nHeld in Online.\nConference dates: 14–1 8 Sep 2020.\nhttps://www.conferences-computer.science/sefm/2020/ URL:https://www.conferences-computer.science/sefm/2020/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2020-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200531 DTEND;VALUE=DATE:20200601 SUMMARY:SEFM 2020 — paper deadline DESCRIPTION:18th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 04 May 2020.\nHeld in Online.\nConference dates: 14–18 Sep 2020.\nhttps://www.conferences-computer.science/sefm/2020/ URL:https://www.conferences-computer.science/sefm/2020/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2020-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200626 DTEND;VALUE=DATE:20200627 SUMMARY:SEFM 2020 — notification DESCRIPTION:18th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Online.\nC onference dates: 14–18 Sep 2020.\nhttps://www.conferences-computer.scien ce/sefm/2020/ URL:https://www.conferences-computer.science/sefm/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2021-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20210719 DTEND;VALUE=DATE:20210720 SUMMARY:SEFM 2021 — abstract deadline DESCRIPTION:19th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nHeld in Online.\nConference dates: 6–10 Dec 2021.\nhttps://www.confer ences-computer.science/sefm/2021/ URL:https://www.conferences-computer.science/sefm/2021/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2021-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20210723 DTEND;VALUE=DATE:20210724 SUMMARY:SEFM 2021 — paper deadline DESCRIPTION:19th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nHeld in Online.\nConference dates: 6–10 Dec 2021.\nhttps://www.confer ences-computer.science/sefm/2021/ URL:https://www.conferences-computer.science/sefm/2021/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2021-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20210924 DTEND;VALUE=DATE:20210925 SUMMARY:SEFM 2021 — notification DESCRIPTION:19th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Online.\nC onference dates: 6–10 Dec 2021.\nhttps://www.conferences-computer.scienc e/sefm/2021/ URL:https://www.conferences-computer.science/sefm/2021/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2022-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220620 DTEND;VALUE=DATE:20220621 SUMMARY:SEFM 2022 — abstract deadline DESCRIPTION:20th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nHeld in Berlin\, Germany (or online).\nConference dates: 28–30 Sep 20 22.\nhttps://www.conferences-computer.science/sefm/2022/ URL:https://www.conferences-computer.science/sefm/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2022-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220626 DTEND;VALUE=DATE:20220627 SUMMARY:SEFM 2022 — paper deadline DESCRIPTION:20th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nHeld in Berlin\, Germany (or online).\nConference dates: 28–30 Sep 20 22.\nhttps://www.conferences-computer.science/sefm/2022/ URL:https://www.conferences-computer.science/sefm/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2022-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220807 DTEND;VALUE=DATE:20220808 SUMMARY:SEFM 2022 — notification DESCRIPTION:20th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Berlin\, G ermany (or online).\nConference dates: 28–30 Sep 2022.\nhttps://www.conf erences-computer.science/sefm/2022/ URL:https://www.conferences-computer.science/sefm/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2023-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230602 DTEND;VALUE=DATE:20230603 SUMMARY:SEFM 2023 — abstract deadline DESCRIPTION:21st International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nHeld in Eindhoven\, The Netherlands.\nConference dates: 8–10 Nov 2023 .\nhttps://www.conferences-computer.science/sefm/2023/ URL:https://www.conferences-computer.science/sefm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2023-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230609 DTEND;VALUE=DATE:20230610 SUMMARY:SEFM 2023 — paper deadline DESCRIPTION:21st International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nHeld in Eindhoven\, The Netherlands.\nConference dates: 8–10 Nov 2023 .\nhttps://www.conferences-computer.science/sefm/2023/ URL:https://www.conferences-computer.science/sefm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2023-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230818 DTEND;VALUE=DATE:20230819 SUMMARY:SEFM 2023 — notification DESCRIPTION:21st International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Eindhoven\ , The Netherlands.\nConference dates: 8–10 Nov 2023.\nhttps://www.confer ences-computer.science/sefm/2023/ URL:https://www.conferences-computer.science/sefm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2024-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240628 DTEND;VALUE=DATE:20240629 SUMMARY:SEFM 2024 — abstract deadline DESCRIPTION:22nd International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 07 June 2024.\nHeld in Aveiro\, Portugal.\nConference dat es: 4–8 Nov 2024.\nhttps://www.conferences-computer.science/sefm/2024/ URL:https://www.conferences-computer.science/sefm/2024/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2024-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240628 DTEND;VALUE=DATE:20240629 SUMMARY:SEFM 2024 — paper deadline DESCRIPTION:22nd International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 14 June 2024.\nHeld in Aveiro\, Portugal.\nConference dat es: 4–8 Nov 2024.\nhttps://www.conferences-computer.science/sefm/2024/ URL:https://www.conferences-computer.science/sefm/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2024-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240822 DTEND;VALUE=DATE:20240823 SUMMARY:SEFM 2024 — notification DESCRIPTION:22nd International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nExtended from 15 A ugust 2024.\nHeld in Aveiro\, Portugal.\nConference dates: 4–8 Nov 2024. \nhttps://www.conferences-computer.science/sefm/2024/ URL:https://www.conferences-computer.science/sefm/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250616 DTEND;VALUE=DATE:20250617 SUMMARY:SEFM 2025 — abstract deadline DESCRIPTION:23rd International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 06 June 2025.\nHeld in Toledo\, Spain.\nConference dates: 10–14 Nov 2025.\nhttps://www.conferences-computer.science/sefm/2025/ URL:https://www.conferences-computer.science/sefm/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250623 DTEND;VALUE=DATE:20250624 SUMMARY:SEFM 2025 — paper deadline DESCRIPTION:23rd International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 20 June 2025.\nHeld in Toledo\, Spain.\nConference dates: 10–14 Nov 2025.\nhttps://www.conferences-computer.science/sefm/2025/ URL:https://www.conferences-computer.science/sefm/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250811 DTEND;VALUE=DATE:20250812 SUMMARY:SEFM 2025 — notification DESCRIPTION:23rd International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Toledo\, S pain.\nConference dates: 10–14 Nov 2025.\nhttps://www.conferences-comput er.science/sefm/2025/ URL:https://www.conferences-computer.science/sefm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260623 DTEND;VALUE=DATE:20260624 SUMMARY:SEFM 2026 — abstract deadline DESCRIPTION:24th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 16 June 2026.\nHeld in Malta.\nConference dates: 23–27 Nov 2026.\nhttps://www.conferences-computer.science/sefm/2026/ URL:https://www.conferences-computer.science/sefm/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260630 DTEND;VALUE=DATE:20260701 SUMMARY:SEFM 2026 — paper deadline DESCRIPTION:24th International Conference on Software Engineering and Forma l Methods\nDeadline stated in AoE.\nShown as an all-day event: the deadlin e is a moment\, not a day\, so check the exact time on the conference site .\nExtended from 23 June 2026.\nHeld in Malta.\nConference dates: 23–27 Nov 2026.\nhttps://www.conferences-computer.science/sefm/2026/ URL:https://www.conferences-computer.science/sefm/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260830 DTEND;VALUE=DATE:20260831 SUMMARY:SEFM 2026 — notification DESCRIPTION:24th International Conference on Software Engineering and Forma l Methods\nNo time zone stated by the organisers\; this site assumes Anywh ere 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.\nHeld in Malta.\nCo nference dates: 23–27 Nov 2026.\nhttps://www.conferences-computer.scienc e/sefm/2026/ URL:https://www.conferences-computer.science/sefm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2015-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150907 DTEND;VALUE=DATE:20150912 SUMMARY:SEFM 2015 — York\, England DESCRIPTION:13th International Conference on Software Engineering and Forma l Methods\nHeld in York\, England.\nPaper deadline was 20 March 2015.\nhtt ps://www.conferences-computer.science/sefm/2015/ URL:https://www.conferences-computer.science/sefm/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2016-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160704 DTEND;VALUE=DATE:20160709 SUMMARY:SEFM 2016 — Vienna\, Austria DESCRIPTION:14th International Conference on Software Engineering and Forma l Methods\nHeld in Vienna\, Austria.\nPaper deadline was 29 February 2016. \nhttps://www.conferences-computer.science/sefm/2016/ URL:https://www.conferences-computer.science/sefm/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2017-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20170906 DTEND;VALUE=DATE:20170911 SUMMARY:SEFM 2017 — Trento\, Italy DESCRIPTION:15th International Conference on Software Engineering and Forma l Methods\nHeld in Trento\, Italy.\nPaper deadline was 13 April 2017.\nhtt ps://www.conferences-computer.science/sefm/2017/ URL:https://www.conferences-computer.science/sefm/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2018-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180627 DTEND;VALUE=DATE:20180630 SUMMARY:SEFM 2018 — Toulouse\, France DESCRIPTION:16th International Conference on Software Engineering and Forma l Methods\nHeld in Toulouse\, France.\nPaper deadline was 09 March 2018.\n https://www.conferences-computer.science/sefm/2018/ URL:https://www.conferences-computer.science/sefm/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2019-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190916 DTEND;VALUE=DATE:20190921 SUMMARY:SEFM 2019 — Oslo\, Norway DESCRIPTION:17th International Conference on Software Engineering and Forma l Methods\nHeld in Oslo\, Norway.\nPaper deadline was 20 May 2019.\nhttps: //www.conferences-computer.science/sefm/2019/ URL:https://www.conferences-computer.science/sefm/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2020-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200914 DTEND;VALUE=DATE:20200919 SUMMARY:SEFM 2020 — Online DESCRIPTION:18th International Conference on Software Engineering and Forma l Methods\nHeld in Online.\nPaper deadline was 31 May 2020.\nhttps://www.c onferences-computer.science/sefm/2020/ URL:https://www.conferences-computer.science/sefm/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2021-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20211206 DTEND;VALUE=DATE:20211211 SUMMARY:SEFM 2021 — Online DESCRIPTION:19th International Conference on Software Engineering and Forma l Methods\nHeld in Online.\nPaper deadline was 23 July 2021.\nhttps://www. conferences-computer.science/sefm/2021/ URL:https://www.conferences-computer.science/sefm/2021/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2022-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220928 DTEND;VALUE=DATE:20221001 SUMMARY:SEFM 2022 — Berlin\, Germany (or online) DESCRIPTION:20th International Conference on Software Engineering and Forma l Methods\nHeld in Berlin\, Germany (or online).\nPaper deadline was 26 Ju ne 2022.\nhttps://www.conferences-computer.science/sefm/2022/ URL:https://www.conferences-computer.science/sefm/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2023-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20231108 DTEND;VALUE=DATE:20231111 SUMMARY:SEFM 2023 — Eindhoven\, The Netherlands DESCRIPTION:21st International Conference on Software Engineering and Forma l Methods\nHeld in Eindhoven\, The Netherlands.\nPaper deadline was 09 Jun e 2023.\nhttps://www.conferences-computer.science/sefm/2023/ URL:https://www.conferences-computer.science/sefm/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2024-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20241104 DTEND;VALUE=DATE:20241109 SUMMARY:SEFM 2024 — Aveiro\, Portugal DESCRIPTION:22nd International Conference on Software Engineering and Forma l Methods\nHeld in Aveiro\, Portugal.\nPaper deadline was 28 June 2024.\nh ttps://www.conferences-computer.science/sefm/2024/ URL:https://www.conferences-computer.science/sefm/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251110 DTEND;VALUE=DATE:20251115 SUMMARY:SEFM 2025 — Toledo\, Spain DESCRIPTION:23rd International Conference on Software Engineering and Forma l Methods\nHeld in Toledo\, Spain.\nPaper deadline was 23 June 2025.\nhttp s://www.conferences-computer.science/sefm/2025/ URL:https://www.conferences-computer.science/sefm/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT BEGIN:VEVENT UID:sefm-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261123 DTEND;VALUE=DATE:20261128 SUMMARY:SEFM 2026 — Malta DESCRIPTION:24th International Conference on Software Engineering and Forma l Methods\nHeld in Malta.\nPaper deadline was 30 June 2026.\nhttps://www.c onferences-computer.science/sefm/2026/ URL:https://www.conferences-computer.science/sefm/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,SEFM END:VEVENT END:VCALENDAR