{
 "generated": "2026-08-13T11:47:39.404685+00:00",
 "source": "https://www.conferences-computer.science/memocode/",
 "licence": "CC BY-SA 4.0",
 "acronym": "MEMOCODE",
 "name": "ACM-IEEE International Symposium on Formal Methods and Models for System Design",
 "count": 11,
 "editions": [
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2014",
   "edition": null,
   "title": "ACM-IEEE International Symposium on Formal Methods and Models for System Design",
   "url": null,
   "page": "https://www.conferences-computer.science/memocode/2014/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": null,
   "submitted": 47,
   "accepted": 20,
   "acceptance_rate": 42.6,
   "format": null,
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2015",
   "edition": null,
   "title": "ACM-IEEE International Symposium on Formal Methods and Models for System Design",
   "url": null,
   "page": "https://www.conferences-computer.science/memocode/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": null,
   "submitted": 47,
   "accepted": 27,
   "acceptance_rate": 57.4,
   "format": null,
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2016",
   "edition": null,
   "title": "ACM-IEEE International Symposium on Formal Methods and Models for System Design",
   "url": null,
   "page": "https://www.conferences-computer.science/memocode/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": null,
   "submitted": 80,
   "accepted": 21,
   "acceptance_rate": 26.2,
   "format": null,
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2017",
   "edition": 15,
   "title": "15th ACM/IEEE International Conference on Formal Methods and Models for System Design",
   "url": "http://memocode.irisa.fr/2017",
   "page": "https://www.conferences-computer.science/memocode/2017/",
   "status": null,
   "abstract_deadline": "2017-05-19",
   "paper_deadline": "2017-05-26",
   "paper_deadline_announced": "2017-05-19",
   "paper_extended_days": 7,
   "notification": "2017-07-10",
   "timezone": null,
   "event_start": "2017-09-29",
   "event_end": "2017-10-02",
   "city": "Vienna, Austria",
   "country": "AT",
   "continent": "EU",
   "lat": 48.2082,
   "lon": 16.3738,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE (regular) / 4 pages (work in progress) / 8 pages (tool)",
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2018",
   "edition": 16,
   "title": "16th ACM/IEEE International Conference on Formal Methods and Models for System Design",
   "url": "http://memocode.irisa.fr/2018",
   "page": "https://www.conferences-computer.science/memocode/2018/",
   "status": null,
   "abstract_deadline": "2018-06-01",
   "paper_deadline": "2018-06-08",
   "paper_deadline_announced": "2018-06-01",
   "paper_extended_days": 7,
   "notification": "2018-07-23",
   "timezone": null,
   "event_start": "2018-10-15",
   "event_end": "2018-10-18",
   "city": "Beijing, China",
   "country": "CN",
   "continent": "AS",
   "lat": 39.9042,
   "lon": 116.4074,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE (regular) / 4 pages (work in progress) / 8 pages (tool)",
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2019",
   "edition": 17,
   "title": "17th ACM/IEEE International Conference on Formal Methods and Models for System Design",
   "url": "https://memocode.github.io/2019",
   "page": "https://www.conferences-computer.science/memocode/2019/",
   "status": null,
   "abstract_deadline": "2019-06-14",
   "paper_deadline": "2019-06-21",
   "paper_deadline_announced": "2019-06-07",
   "paper_extended_days": 14,
   "notification": "2019-07-26",
   "timezone": null,
   "event_start": "2019-10-09",
   "event_end": "2019-10-11",
   "city": "San Diego, USA",
   "country": "US",
   "continent": "NA",
   "lat": 32.7157,
   "lon": -117.1611,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE (regular) / 4 pages (work in progress) / 8 pages (tool)",
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2020",
   "edition": 18,
   "title": "18th ACM/IEEE International Conference on Formal Methods and Models for System Design",
   "url": "https://iitjammu.ac.in/conferences/memocode2020/",
   "page": "https://www.conferences-computer.science/memocode/2020/",
   "status": null,
   "abstract_deadline": "2020-07-17",
   "paper_deadline": "2020-07-24",
   "paper_deadline_announced": "2020-07-10",
   "paper_extended_days": 14,
   "notification": "2020-09-04",
   "timezone": null,
   "event_start": "2020-12-02",
   "event_end": "2020-12-04",
   "city": "Jaipur, India",
   "country": "IN",
   "continent": "AS",
   "lat": 26.9124,
   "lon": 75.7873,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE (regular) + bibliography / 4 pages (work in progress) / 8 pages (tool)",
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2022",
   "edition": 20,
   "title": "20th ACM/IEEE International Conference on Formal Methods and Models for System Design",
   "url": "https://esweek.org/memocode/",
   "page": "https://www.conferences-computer.science/memocode/2022/",
   "status": null,
   "abstract_deadline": "2022-05-27",
   "paper_deadline": "2022-06-03",
   "paper_deadline_announced": "2022-06-03",
   "paper_extended_days": 0,
   "notification": "2022-07-29",
   "timezone": null,
   "event_start": "2022-10-13",
   "event_end": "2022-10-14",
   "city": "Shanghai, China (hybrid)",
   "country": "CN",
   "continent": "AS",
   "lat": 31.2304,
   "lon": 121.4737,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE (regular) + bibliography / 4 pages (work in progress) / 8 pages (tool)",
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2024",
   "edition": 22,
   "title": "22nd ACM/IEEE International Conference on Formal Methods and Models for System Design",
   "url": "https://esweek.org/memocode/",
   "page": "https://www.conferences-computer.science/memocode/2024/",
   "status": null,
   "abstract_deadline": "2024-05-27",
   "paper_deadline": "2024-05-27",
   "paper_deadline_announced": "2024-05-20",
   "paper_extended_days": 7,
   "notification": "2024-07-08",
   "timezone": null,
   "event_start": "2024-10-03",
   "event_end": "2024-10-04",
   "city": "Raleigh, North Carolina, USA",
   "country": "US",
   "continent": "NA",
   "lat": 35.7796,
   "lon": -78.6382,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE (regular) + bibliography / 4 pages (work in progress) / 8 pages (tool)",
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2025",
   "edition": 23,
   "title": "23rd ACM/IEEE International Conference on Formal Methods and Models for System Design",
   "url": "https://memocode2025.github.io/",
   "page": "https://www.conferences-computer.science/memocode/2025/",
   "status": null,
   "abstract_deadline": "2025-05-23",
   "paper_deadline": "2025-05-23",
   "paper_deadline_announced": "2025-05-03",
   "paper_extended_days": 20,
   "notification": "2025-07-08",
   "timezone": "AoE",
   "event_start": "2025-10-02",
   "event_end": "2025-10-03",
   "city": "Taipei, Taiwan",
   "country": "TW",
   "continent": "AS",
   "lat": 25.033,
   "lon": 121.5654,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE (regular) + bibliography / 4 pages (work in progress) / 8 pages (tool)",
   "dblp": "memocode"
  },
  {
   "slug": "memocode",
   "acronym": "MEMOCODE",
   "year": "2026",
   "edition": 24,
   "title": "24th ACM-IEEE International Symposium on Formal Methods and Models for System Design",
   "url": "https://memocode2026.github.io/",
   "page": "https://www.conferences-computer.science/memocode/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2026-05-25",
   "paper_deadline_announced": "2026-05-11",
   "paper_extended_days": 14,
   "notification": "2026-07-10",
   "timezone": "AoE",
   "event_start": "2026-10-08",
   "event_end": "2026-10-09",
   "city": "Barcelona, Spain",
   "country": "ES",
   "continent": "EU",
   "lat": 41.3851,
   "lon": 2.1734,
   "online": false,
   "publisher": "IEEE",
   "license": "pay",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "10 pages IEEE (regular) + bibliography / 8 pages (tool) / 4 pages (late-breaking)",
   "dblp": "memocode"
  }
 ]
}