BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:MEMOCODE — deadlines and dates X-WR-CALDESC:Every recorded edition of MEMOCODE. https://www.conferences-co mputer.science/memocode/ X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:memocode-2017-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170519 DTEND;VALUE=DATE:20170520 SUMMARY:MEMOCODE 2017 — abstract deadline DESCRIPTION:15th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 12 May 2017.\nHeld in Vienna\, Austria.\nConference dates: 29 Sep – 2 Oct 2017.\nhttps://www.conferences-computer.science/memocode/2017/ URL:https://www.conferences-computer.science/memocode/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2017-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170526 DTEND;VALUE=DATE:20170527 SUMMARY:MEMOCODE 2017 — paper deadline DESCRIPTION:15th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 19 May 2017.\nHeld in Vienna\, Austria.\nConference dates: 29 Sep – 2 Oct 2017.\nhttps://www.conferences-computer.science/memocode/2017/ URL:https://www.conferences-computer.science/memocode/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2017-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170710 DTEND;VALUE=DATE:20170711 SUMMARY:MEMOCODE 2017 — notification DESCRIPTION:15th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Vienna\, Austria.\nConference dates: 29 Sep – 2 Oct 2017.\nhttps://ww w.conferences-computer.science/memocode/2017/ URL:https://www.conferences-computer.science/memocode/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2018-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180601 DTEND;VALUE=DATE:20180602 SUMMARY:MEMOCODE 2018 — abstract deadline DESCRIPTION:16th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 25 May 2018.\nHeld in Beijing\, China.\nConference dates: 15–18 Oct 2018.\nhttps://www.conferences-computer.science/memocode/2018/ URL:https://www.conferences-computer.science/memocode/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2018-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180608 DTEND;VALUE=DATE:20180609 SUMMARY:MEMOCODE 2018 — paper deadline DESCRIPTION:16th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 01 June 2018.\nHeld in Beijing\, China.\nConference dates: 15–1 8 Oct 2018.\nhttps://www.conferences-computer.science/memocode/2018/ URL:https://www.conferences-computer.science/memocode/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2018-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20180723 DTEND;VALUE=DATE:20180724 SUMMARY:MEMOCODE 2018 — notification DESCRIPTION:16th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Beijing\, China.\nConference dates: 15–18 Oct 2018.\nhttps://www.conf erences-computer.science/memocode/2018/ URL:https://www.conferences-computer.science/memocode/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2019-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190614 DTEND;VALUE=DATE:20190615 SUMMARY:MEMOCODE 2019 — abstract deadline DESCRIPTION:17th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 31 May 2019.\nHeld in San Diego\, USA.\nConference dates: 9–11 Oct 2019.\nhttps://www.conferences-computer.science/memocode/2019/ URL:https://www.conferences-computer.science/memocode/2019/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2019-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190621 DTEND;VALUE=DATE:20190622 SUMMARY:MEMOCODE 2019 — paper deadline DESCRIPTION:17th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 07 June 2019.\nHeld in San Diego\, USA.\nConference dates: 9–11 Oct 2019.\nhttps://www.conferences-computer.science/memocode/2019/ URL:https://www.conferences-computer.science/memocode/2019/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2019-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190726 DTEND;VALUE=DATE:20190727 SUMMARY:MEMOCODE 2019 — notification DESCRIPTION:17th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in San Diego\, USA.\nConference dates: 9–11 Oct 2019.\nhttps://www.confe rences-computer.science/memocode/2019/ URL:https://www.conferences-computer.science/memocode/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2020-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200717 DTEND;VALUE=DATE:20200718 SUMMARY:MEMOCODE 2020 — abstract deadline DESCRIPTION:18th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 03 July 2020.\nHeld in Jaipur\, India.\nConference dates: 2–4 D ec 2020.\nhttps://www.conferences-computer.science/memocode/2020/ URL:https://www.conferences-computer.science/memocode/2020/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2020-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200724 DTEND;VALUE=DATE:20200725 SUMMARY:MEMOCODE 2020 — paper deadline DESCRIPTION:18th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 10 July 2020.\nHeld in Jaipur\, India.\nConference dates: 2–4 D ec 2020.\nhttps://www.conferences-computer.science/memocode/2020/ URL:https://www.conferences-computer.science/memocode/2020/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2020-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200904 DTEND;VALUE=DATE:20200905 SUMMARY:MEMOCODE 2020 — notification DESCRIPTION:18th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Jaipur\, India.\nConference dates: 2–4 Dec 2020.\nhttps://www.confere nces-computer.science/memocode/2020/ URL:https://www.conferences-computer.science/memocode/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2022-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220527 DTEND;VALUE=DATE:20220528 SUMMARY:MEMOCODE 2022 — abstract deadline DESCRIPTION:20th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Shanghai\, China (hybrid).\nConference dates: 13–14 Oct 2022.\nhttps: //www.conferences-computer.science/memocode/2022/ URL:https://www.conferences-computer.science/memocode/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2022-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220603 DTEND;VALUE=DATE:20220604 SUMMARY:MEMOCODE 2022 — paper deadline DESCRIPTION:20th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Shanghai\, China (hybrid).\nConference dates: 13–14 Oct 2022.\nhttps: //www.conferences-computer.science/memocode/2022/ URL:https://www.conferences-computer.science/memocode/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2022-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220729 DTEND;VALUE=DATE:20220730 SUMMARY:MEMOCODE 2022 — notification DESCRIPTION:20th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Shanghai\, China (hybrid).\nConference dates: 13–14 Oct 2022.\nhttps: //www.conferences-computer.science/memocode/2022/ URL:https://www.conferences-computer.science/memocode/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2024-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240527 DTEND;VALUE=DATE:20240528 SUMMARY:MEMOCODE 2024 — abstract deadline DESCRIPTION:22nd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 06 May 2024.\nHeld in Raleigh\, North Carolina\, USA.\nConference dates: 3–4 Oct 2024.\nhttps://www.conferences-computer.science/memocode /2024/ URL:https://www.conferences-computer.science/memocode/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2024-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240527 DTEND;VALUE=DATE:20240528 SUMMARY:MEMOCODE 2024 — paper deadline DESCRIPTION:22nd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nExten ded from 20 May 2024.\nHeld in Raleigh\, North Carolina\, USA.\nConference dates: 3–4 Oct 2024.\nhttps://www.conferences-computer.science/memocode /2024/ URL:https://www.conferences-computer.science/memocode/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2024-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240708 DTEND;VALUE=DATE:20240709 SUMMARY:MEMOCODE 2024 — notification DESCRIPTION:22nd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Raleigh\, North Carolina\, USA.\nConference dates: 3–4 Oct 2024.\nhtt ps://www.conferences-computer.science/memocode/2024/ URL:https://www.conferences-computer.science/memocode/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250523 DTEND;VALUE=DATE:20250524 SUMMARY:MEMOCODE 2025 — abstract deadline DESCRIPTION:23rd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nDeadline stated in AoE.\nShown as an all-day event : the deadline is a moment\, not a day\, so check the exact time on the co nference site.\nExtended from 28 April 2025.\nHeld in Taipei\, Taiwan.\nCo nference dates: 2–3 Oct 2025.\nhttps://www.conferences-computer.science/ memocode/2025/ URL:https://www.conferences-computer.science/memocode/2025/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250523 DTEND;VALUE=DATE:20250524 SUMMARY:MEMOCODE 2025 — paper deadline DESCRIPTION:23rd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nDeadline stated in AoE.\nShown as an all-day event : the deadline is a moment\, not a day\, so check the exact time on the co nference site.\nExtended from 03 May 2025.\nHeld in Taipei\, Taiwan.\nConf erence dates: 2–3 Oct 2025.\nhttps://www.conferences-computer.science/me mocode/2025/ URL:https://www.conferences-computer.science/memocode/2025/ SEQUENCE:2 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250708 DTEND;VALUE=DATE:20250709 SUMMARY:MEMOCODE 2025 — notification DESCRIPTION:23rd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a m oment\, not a day\, so check the exact time on the conference site.\nHeld in Taipei\, Taiwan.\nConference dates: 2–3 Oct 2025.\nhttps://www.confer ences-computer.science/memocode/2025/ URL:https://www.conferences-computer.science/memocode/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260525 DTEND;VALUE=DATE:20260526 SUMMARY:MEMOCODE 2026 — paper deadline DESCRIPTION:24th ACM-IEEE International Symposium on Formal Methods and Mod els for System Design\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nExtended from 11 May 2026.\nHeld in Barcelona\, Spain.\nCon ference dates: 8–9 Oct 2026.\nhttps://www.conferences-computer.science/m emocode/2026/ URL:https://www.conferences-computer.science/memocode/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260710 DTEND;VALUE=DATE:20260711 SUMMARY:MEMOCODE 2026 — notification DESCRIPTION:24th ACM-IEEE International Symposium on Formal Methods and Mod els for System Design\nNo time zone stated by the organisers\; this site a ssumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mo ment\, not a day\, so check the exact time on the conference site.\nHeld i n Barcelona\, Spain.\nConference dates: 8–9 Oct 2026.\nhttps://www.confe rences-computer.science/memocode/2026/ URL:https://www.conferences-computer.science/memocode/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2017-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170929 DTEND;VALUE=DATE:20171003 SUMMARY:MEMOCODE 2017 — Vienna\, Austria DESCRIPTION:15th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nHeld in Vienna\, Austria.\nPaper deadline was 26 M ay 2017.\nhttps://www.conferences-computer.science/memocode/2017/ URL:https://www.conferences-computer.science/memocode/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2018-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20181015 DTEND;VALUE=DATE:20181019 SUMMARY:MEMOCODE 2018 — Beijing\, China DESCRIPTION:16th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nHeld in Beijing\, China.\nPaper deadline was 08 Ju ne 2018.\nhttps://www.conferences-computer.science/memocode/2018/ URL:https://www.conferences-computer.science/memocode/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2019-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20191009 DTEND;VALUE=DATE:20191012 SUMMARY:MEMOCODE 2019 — San Diego\, USA DESCRIPTION:17th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nHeld in San Diego\, USA.\nPaper deadline was 21 Ju ne 2019.\nhttps://www.conferences-computer.science/memocode/2019/ URL:https://www.conferences-computer.science/memocode/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2020-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20201202 DTEND;VALUE=DATE:20201205 SUMMARY:MEMOCODE 2020 — Jaipur\, India DESCRIPTION:18th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nHeld in Jaipur\, India.\nPaper deadline was 24 Jul y 2020.\nhttps://www.conferences-computer.science/memocode/2020/ URL:https://www.conferences-computer.science/memocode/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2022-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20221013 DTEND;VALUE=DATE:20221015 SUMMARY:MEMOCODE 2022 — Shanghai\, China (hybrid) DESCRIPTION:20th ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nHeld in Shanghai\, China (hybrid).\nPaper deadline was 03 June 2022.\nhttps://www.conferences-computer.science/memocode/2022 / URL:https://www.conferences-computer.science/memocode/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2024-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20241003 DTEND;VALUE=DATE:20241005 SUMMARY:MEMOCODE 2024 — Raleigh\, North Carolina\, USA DESCRIPTION:22nd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nHeld in Raleigh\, North Carolina\, USA.\nPaper dea dline was 27 May 2024.\nhttps://www.conferences-computer.science/memocode/ 2024/ URL:https://www.conferences-computer.science/memocode/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251002 DTEND;VALUE=DATE:20251004 SUMMARY:MEMOCODE 2025 — Taipei\, Taiwan DESCRIPTION:23rd ACM/IEEE International Conference on Formal Methods and Mo dels for System Design\nHeld in Taipei\, Taiwan.\nPaper deadline was 23 Ma y 2025.\nhttps://www.conferences-computer.science/memocode/2025/ URL:https://www.conferences-computer.science/memocode/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT BEGIN:VEVENT UID:memocode-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20261008 DTEND;VALUE=DATE:20261010 SUMMARY:MEMOCODE 2026 — Barcelona\, Spain DESCRIPTION:24th ACM-IEEE International Symposium on Formal Methods and Mod els for System Design\nHeld in Barcelona\, Spain.\nPaper deadline was 25 M ay 2026.\nhttps://www.conferences-computer.science/memocode/2026/ URL:https://www.conferences-computer.science/memocode/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,MEMOCODE END:VEVENT END:VCALENDAR