BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:FormaliSE — deadlines and dates
X-WR-CALDESC:Every recorded edition of FormaliSE. https://www.conferences-c
 omputer.science/formalise/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:formalise-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150123
DTEND;VALUE=DATE:20150124
SUMMARY:FormaliSE 2015 — paper deadline
DESCRIPTION:3rd FME Workshop on Formal Methods in Software Engineering\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 Florence\, Italy.\nConfe
 rence dates: 18 May 2015.\nhttps://www.conferences-computer.science/formal
 ise/2015/
URL:https://www.conferences-computer.science/formalise/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150218
DTEND;VALUE=DATE:20150219
SUMMARY:FormaliSE 2015 — notification
DESCRIPTION:3rd FME Workshop on Formal Methods in Software Engineering\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 Florence\, Italy.\nConfe
 rence dates: 18 May 2015.\nhttps://www.conferences-computer.science/formal
 ise/2015/
URL:https://www.conferences-computer.science/formalise/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160129
DTEND;VALUE=DATE:20160130
SUMMARY:FormaliSE 2016 — paper deadline
DESCRIPTION:4th FME Workshop on Formal Methods in Software Engineering\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 22 January 2016.\n
 Held in Austin\, Texas\, USA.\nConference dates: 15 May 2016.\nhttps://www
 .conferences-computer.science/formalise/2016/
URL:https://www.conferences-computer.science/formalise/2016/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160219
DTEND;VALUE=DATE:20160220
SUMMARY:FormaliSE 2016 — notification
DESCRIPTION:4th FME Workshop on Formal Methods in Software Engineering\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 Austin\, Texas\, USA.\nC
 onference dates: 15 May 2016.\nhttps://www.conferences-computer.science/fo
 rmalise/2016/
URL:https://www.conferences-computer.science/formalise/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2017-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170127
DTEND;VALUE=DATE:20170128
SUMMARY:FormaliSE 2017 — paper deadline
DESCRIPTION:5th FME Workshop on Formal Methods in Software Engineering\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 January 2017.\n
 Held in Buenos Aires\, Argentina.\nConference dates: 27 May 2017.\nhttps:/
 /www.conferences-computer.science/formalise/2017/
URL:https://www.conferences-computer.science/formalise/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2017-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170217
DTEND;VALUE=DATE:20170218
SUMMARY:FormaliSE 2017 — notification
DESCRIPTION:5th FME Workshop on Formal Methods in Software Engineering\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 Buenos Aires\, Argentina
 .\nConference dates: 27 May 2017.\nhttps://www.conferences-computer.scienc
 e/formalise/2017/
URL:https://www.conferences-computer.science/formalise/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2018-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20180124
DTEND;VALUE=DATE:20180125
SUMMARY:FormaliSE 2018 — abstract deadline
DESCRIPTION:6th FME Workshop on Formal Methods in Software Engineering\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 Gothenburg\, Sweden.\nCo
 nference dates: 2 Jun 2018.\nhttps://www.conferences-computer.science/form
 alise/2018/
URL:https://www.conferences-computer.science/formalise/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2018-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20180129
DTEND;VALUE=DATE:20180130
SUMMARY:FormaliSE 2018 — paper deadline
DESCRIPTION:6th FME Workshop on Formal Methods in Software Engineering\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 Gothenburg\, Sweden.\nCo
 nference dates: 2 Jun 2018.\nhttps://www.conferences-computer.science/form
 alise/2018/
URL:https://www.conferences-computer.science/formalise/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2018-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20180304
DTEND;VALUE=DATE:20180305
SUMMARY:FormaliSE 2018 — notification
DESCRIPTION:6th FME Workshop on Formal Methods in Software Engineering\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 Gothenburg\, Sweden.\nCo
 nference dates: 2 Jun 2018.\nhttps://www.conferences-computer.science/form
 alise/2018/
URL:https://www.conferences-computer.science/formalise/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2019-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190118
DTEND;VALUE=DATE:20190119
SUMMARY:FormaliSE 2019 — abstract deadline
DESCRIPTION:7th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nExtended from 11 Jan
 uary 2019.\nHeld in Montréal\, Québec\, Canada.\nConference dates: 27 Ma
 y 2019.\nhttps://www.conferences-computer.science/formalise/2019/
URL:https://www.conferences-computer.science/formalise/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2019-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190125
DTEND;VALUE=DATE:20190126
SUMMARY:FormaliSE 2019 — paper deadline
DESCRIPTION:7th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nExtended from 18 Jan
 uary 2019.\nHeld in Montréal\, Québec\, Canada.\nConference dates: 27 Ma
 y 2019.\nhttps://www.conferences-computer.science/formalise/2019/
URL:https://www.conferences-computer.science/formalise/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2019-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190301
DTEND;VALUE=DATE:20190302
SUMMARY:FormaliSE 2019 — notification
DESCRIPTION:7th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nHeld in Montréal\, 
 Québec\, Canada.\nConference dates: 27 May 2019.\nhttps://www.conferences
 -computer.science/formalise/2019/
URL:https://www.conferences-computer.science/formalise/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2020-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200116
DTEND;VALUE=DATE:20200117
SUMMARY:FormaliSE 2020 — abstract deadline
DESCRIPTION:8th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nExtended from 09 Jan
 uary 2020.\nHeld in Seoul\, South Korea.\nConference dates: 25–26 May 20
 20.\nhttps://www.conferences-computer.science/formalise/2020/
URL:https://www.conferences-computer.science/formalise/2020/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2020-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200123
DTEND;VALUE=DATE:20200124
SUMMARY:FormaliSE 2020 — paper deadline
DESCRIPTION:8th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nExtended from 16 Jan
 uary 2020.\nHeld in Seoul\, South Korea.\nConference dates: 25–26 May 20
 20.\nhttps://www.conferences-computer.science/formalise/2020/
URL:https://www.conferences-computer.science/formalise/2020/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2020-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200301
DTEND;VALUE=DATE:20200302
SUMMARY:FormaliSE 2020 — notification
DESCRIPTION:8th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nHeld in Seoul\, Sout
 h Korea.\nConference dates: 25–26 May 2020.\nhttps://www.conferences-com
 puter.science/formalise/2020/
URL:https://www.conferences-computer.science/formalise/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2021-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210105
DTEND;VALUE=DATE:20210106
SUMMARY:FormaliSE 2021 — abstract deadline
DESCRIPTION:9th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nHeld in Online.\nCon
 ference dates: 17–21 May 2021.\nhttps://www.conferences-computer.science
 /formalise/2021/
URL:https://www.conferences-computer.science/formalise/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2021-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210112
DTEND;VALUE=DATE:20210113
SUMMARY:FormaliSE 2021 — paper deadline
DESCRIPTION:9th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nHeld in Online.\nCon
 ference dates: 17–21 May 2021.\nhttps://www.conferences-computer.science
 /formalise/2021/
URL:https://www.conferences-computer.science/formalise/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2021-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210222
DTEND;VALUE=DATE:20210223
SUMMARY:FormaliSE 2021 — notification
DESCRIPTION:9th International Conference on Formal Methods in Software Engi
 neering\nNo time zone stated by the organisers\; this site assumes Anywher
 e on Earth.\nShown as an all-day event: the deadline is a moment\, not a d
 ay\, so check the exact time on the conference site.\nHeld in Online.\nCon
 ference dates: 17–21 May 2021.\nhttps://www.conferences-computer.science
 /formalise/2021/
URL:https://www.conferences-computer.science/formalise/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2022-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220113
DTEND;VALUE=DATE:20220114
SUMMARY:FormaliSE 2022 — abstract deadline
DESCRIPTION:10th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Pittsburgh\
 , PA\, USA.\nConference dates: 22–23 May 2022.\nhttps://www.conferences-
 computer.science/formalise/2022/
URL:https://www.conferences-computer.science/formalise/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220127
DTEND;VALUE=DATE:20220128
SUMMARY:FormaliSE 2022 — paper deadline
DESCRIPTION:10th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 20 Ja
 nuary 2022.\nHeld in Pittsburgh\, PA\, USA.\nConference dates: 22–23 May
  2022.\nhttps://www.conferences-computer.science/formalise/2022/
URL:https://www.conferences-computer.science/formalise/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220304
DTEND;VALUE=DATE:20220305
SUMMARY:FormaliSE 2022 — notification
DESCRIPTION:10th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Pittsburgh\
 , PA\, USA.\nConference dates: 22–23 May 2022.\nhttps://www.conferences-
 computer.science/formalise/2022/
URL:https://www.conferences-computer.science/formalise/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2023-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230116
DTEND;VALUE=DATE:20230117
SUMMARY:FormaliSE 2023 — abstract deadline
DESCRIPTION:11th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 09 Ja
 nuary 2023.\nHeld in Pittsburgh\, PA\, USA.\nConference dates: 14–15 May
  2023.\nhttps://www.conferences-computer.science/formalise/2023/
URL:https://www.conferences-computer.science/formalise/2023/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2023-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230127
DTEND;VALUE=DATE:20230128
SUMMARY:FormaliSE 2023 — paper deadline
DESCRIPTION:11th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 16 Ja
 nuary 2023.\nHeld in Pittsburgh\, PA\, USA.\nConference dates: 14–15 May
  2023.\nhttps://www.conferences-computer.science/formalise/2023/
URL:https://www.conferences-computer.science/formalise/2023/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2023-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230221
DTEND;VALUE=DATE:20230222
SUMMARY:FormaliSE 2023 — notification
DESCRIPTION:11th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Pittsburgh\
 , PA\, USA.\nConference dates: 14–15 May 2023.\nhttps://www.conferences-
 computer.science/formalise/2023/
URL:https://www.conferences-computer.science/formalise/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2024-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20231201
DTEND;VALUE=DATE:20231202
SUMMARY:FormaliSE 2024 — abstract deadline
DESCRIPTION:12th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Lisbon\, Po
 rtugal.\nConference dates: 14–15 Apr 2024.\nhttps://www.conferences-comp
 uter.science/formalise/2024/
URL:https://www.conferences-computer.science/formalise/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2024-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20231208
DTEND;VALUE=DATE:20231209
SUMMARY:FormaliSE 2024 — paper deadline
DESCRIPTION:12th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Lisbon\, Po
 rtugal.\nConference dates: 14–15 Apr 2024.\nhttps://www.conferences-comp
 uter.science/formalise/2024/
URL:https://www.conferences-computer.science/formalise/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2024-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240112
DTEND;VALUE=DATE:20240113
SUMMARY:FormaliSE 2024 — notification
DESCRIPTION:12th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Lisbon\, Po
 rtugal.\nConference dates: 14–15 Apr 2024.\nhttps://www.conferences-comp
 uter.science/formalise/2024/
URL:https://www.conferences-computer.science/formalise/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2025-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20241118
DTEND;VALUE=DATE:20241119
SUMMARY:FormaliSE 2025 — abstract deadline
DESCRIPTION:13th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 11 No
 vember 2024.\nHeld in Ottawa\, Ontario\, Canada.\nConference dates: 27–2
 8 Apr 2025.\nhttps://www.conferences-computer.science/formalise/2025/
URL:https://www.conferences-computer.science/formalise/2025/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2025-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20241125
DTEND;VALUE=DATE:20241126
SUMMARY:FormaliSE 2025 — paper deadline
DESCRIPTION:13th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 18 No
 vember 2024.\nHeld in Ottawa\, Ontario\, Canada.\nConference dates: 27–2
 8 Apr 2025.\nhttps://www.conferences-computer.science/formalise/2025/
URL:https://www.conferences-computer.science/formalise/2025/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2025-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250113
DTEND;VALUE=DATE:20250114
SUMMARY:FormaliSE 2025 — notification
DESCRIPTION:13th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Ottawa\, On
 tario\, Canada.\nConference dates: 27–28 Apr 2025.\nhttps://www.conferen
 ces-computer.science/formalise/2025/
URL:https://www.conferences-computer.science/formalise/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20251106
DTEND;VALUE=DATE:20251107
SUMMARY:FormaliSE 2026 — paper deadline
DESCRIPTION:14th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Oc
 tober 2025.\nHeld in Rio de Janeiro\, Brazil.\nConference dates: 12–13 A
 pr 2026.\nhttps://www.conferences-computer.science/formalise/2026/
URL:https://www.conferences-computer.science/formalise/2026/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260105
DTEND;VALUE=DATE:20260106
SUMMARY:FormaliSE 2026 — notification
DESCRIPTION:14th International Conference on Formal Methods in Software Eng
 ineering\nNo time zone stated by the organisers\; this site assumes Anywhe
 re 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 Rio de Jane
 iro\, Brazil.\nConference dates: 12–13 Apr 2026.\nhttps://www.conference
 s-computer.science/formalise/2026/
URL:https://www.conferences-computer.science/formalise/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150518
DTEND;VALUE=DATE:20150519
SUMMARY:FormaliSE 2015 — Florence\, Italy
DESCRIPTION:3rd FME Workshop on Formal Methods in Software Engineering\nHel
 d in Florence\, Italy.\nPaper deadline was 23 January 2015.\nhttps://www.c
 onferences-computer.science/formalise/2015/
URL:https://www.conferences-computer.science/formalise/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160515
DTEND;VALUE=DATE:20160516
SUMMARY:FormaliSE 2016 — Austin\, Texas\, USA
DESCRIPTION:4th FME Workshop on Formal Methods in Software Engineering\nHel
 d in Austin\, Texas\, USA.\nPaper deadline was 29 January 2016.\nhttps://w
 ww.conferences-computer.science/formalise/2016/
URL:https://www.conferences-computer.science/formalise/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2017-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170527
DTEND;VALUE=DATE:20170528
SUMMARY:FormaliSE 2017 — Buenos Aires\, Argentina
DESCRIPTION:5th FME Workshop on Formal Methods in Software Engineering\nHel
 d in Buenos Aires\, Argentina.\nPaper deadline was 27 January 2017.\nhttps
 ://www.conferences-computer.science/formalise/2017/
URL:https://www.conferences-computer.science/formalise/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2018-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20180602
DTEND;VALUE=DATE:20180603
SUMMARY:FormaliSE 2018 — Gothenburg\, Sweden
DESCRIPTION:6th FME Workshop on Formal Methods in Software Engineering\nHel
 d in Gothenburg\, Sweden.\nPaper deadline was 29 January 2018.\nhttps://ww
 w.conferences-computer.science/formalise/2018/
URL:https://www.conferences-computer.science/formalise/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2019-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190527
DTEND;VALUE=DATE:20190528
SUMMARY:FormaliSE 2019 — Montréal\, Québec\, Canada
DESCRIPTION:7th International Conference on Formal Methods in Software Engi
 neering\nHeld in Montréal\, Québec\, Canada.\nPaper deadline was 25 Janu
 ary 2019.\nhttps://www.conferences-computer.science/formalise/2019/
URL:https://www.conferences-computer.science/formalise/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2020-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200525
DTEND;VALUE=DATE:20200527
SUMMARY:FormaliSE 2020 — Seoul\, South Korea
DESCRIPTION:8th International Conference on Formal Methods in Software Engi
 neering\nHeld in Seoul\, South Korea.\nPaper deadline was 23 January 2020.
 \nhttps://www.conferences-computer.science/formalise/2020/
URL:https://www.conferences-computer.science/formalise/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2021-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210517
DTEND;VALUE=DATE:20210522
SUMMARY:FormaliSE 2021 — Online
DESCRIPTION:9th International Conference on Formal Methods in Software Engi
 neering\nHeld in Online.\nPaper deadline was 12 January 2021.\nhttps://www
 .conferences-computer.science/formalise/2021/
URL:https://www.conferences-computer.science/formalise/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220522
DTEND;VALUE=DATE:20220524
SUMMARY:FormaliSE 2022 — Pittsburgh\, PA\, USA
DESCRIPTION:10th International Conference on Formal Methods in Software Eng
 ineering\nHeld in Pittsburgh\, PA\, USA.\nPaper deadline was 27 January 20
 22.\nhttps://www.conferences-computer.science/formalise/2022/
URL:https://www.conferences-computer.science/formalise/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2023-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230514
DTEND;VALUE=DATE:20230516
SUMMARY:FormaliSE 2023 — Pittsburgh\, PA\, USA
DESCRIPTION:11th International Conference on Formal Methods in Software Eng
 ineering\nHeld in Pittsburgh\, PA\, USA.\nPaper deadline was 27 January 20
 23.\nhttps://www.conferences-computer.science/formalise/2023/
URL:https://www.conferences-computer.science/formalise/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2024-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240414
DTEND;VALUE=DATE:20240416
SUMMARY:FormaliSE 2024 — Lisbon\, Portugal
DESCRIPTION:12th International Conference on Formal Methods in Software Eng
 ineering\nHeld in Lisbon\, Portugal.\nPaper deadline was 08 December 2023.
 \nhttps://www.conferences-computer.science/formalise/2024/
URL:https://www.conferences-computer.science/formalise/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2025-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250427
DTEND;VALUE=DATE:20250429
SUMMARY:FormaliSE 2025 — Ottawa\, Ontario\, Canada
DESCRIPTION:13th International Conference on Formal Methods in Software Eng
 ineering\nHeld in Ottawa\, Ontario\, Canada.\nPaper deadline was 25 Novemb
 er 2024.\nhttps://www.conferences-computer.science/formalise/2025/
URL:https://www.conferences-computer.science/formalise/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
BEGIN:VEVENT
UID:formalise-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260412
DTEND;VALUE=DATE:20260414
SUMMARY:FormaliSE 2026 — Rio de Janeiro\, Brazil
DESCRIPTION:14th International Conference on Formal Methods in Software Eng
 ineering\nHeld in Rio de Janeiro\, Brazil.\nPaper deadline was 06 November
  2025.\nhttps://www.conferences-computer.science/formalise/2026/
URL:https://www.conferences-computer.science/formalise/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FormaliSE
END:VEVENT
END:VCALENDAR