MEMOCODE 2023
MEMOCODE 2023
Latest edition: MEMOCODE 2023
Official Portals
Prestige Metrics & Badges
CORE Ranking2026
C
Software engineering
CCF RankingChina CF
N/A
China Computer Federation
Google Scholar H5-IndexScholar
N/A
Top 5-year cited metric
Submission Deadlines & Live Countdown
MEMOCODE 2023 • Hamburg Germany(21 – 22 Sep, 2023)
Main Track
(conference)Deadline: May 27, 2023
DEADLINE PASSED
Anywhere on Earth (UTC-12)
Submission Deadline Has Passed
Please check notifications or wait for the next conference edition.
Complete Track Deadlines
| Track / Round | Format | Abstract Due | Paper Submission | Rebuttal Period | Notification Date | Camera-Ready Due | Time Remaining |
|---|---|---|---|---|---|---|---|
Main Track | conference | TBA | May 27, 2023 | — | TBA | TBA | Passed |
Multi-Source Prestige Rankings
Comparative classification across international academic evaluation bodies
| Ranking System | Evaluation Body | Classification | Edition / Year | Field / Scope | Prestige Significance |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | C | Year 2026 | Software engineering | Indexed conference in CORE database |
| CCF Ranking | China Computer Federation (CCF) | N/A | CCF 2022 Catalog | Computer Science | Important international conference |
| TH-CPL | Tsinghua University | N/A | TH-CPL List | CS & Engineering | Tsinghua Recommended Conference Publishing List |
| Qualis CAPES | CAPES (Brazilian Ministry of Education) | N/A | Sucupira / Qualis | Ciência da Computação | South American academic evaluation standard |
| CORE | Academic Association | C | ICORE2026 | General | International prestige ranking |
Conference Editions Timeline
Locations, dates, proceedings, and historical tracks of past & future editions
2025
MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design
PastTaipei, Taiwan
2 – 3 Oct, 2025
2023
MEMOCODE 2023
PastHamburg, Germany
21 – 22 Sep, 2023
2022
20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
PastShanghai, China
13 – 14 Oct, 2022
2018
16th ACM-IEEE International Conference on Formal Methods and Models for System Design
PastBeijing, China
15 – 18 Oct, 2018
2017
15th ACM/IEEE International Conference on Formal Methods and Models for System Design
PastVienna, Austria
29 Sep – 2 Oct, 2017
2016
ACM-IEEE International Conference on Formal Methods and Models for System Design
PastIndian Institute of Technology, Kanpur
18 – 20 Nov, 2016
2015
Thirteenth ACM/IEEE International Conference on Formal Methods and Models for System Design
PastAustin, Texas
21 – 23 Sep, 2015
2014
12th ACM/IEEE International Conference on Formal Methods and Models for Codesign
PastLausanne, Switzerland
18 – 21 Oct, 2014
2013
Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign
PastPortland, Oregon
18 – 20 Oct, 2013
2012
ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign
PastArlington, Virginia
16 – 18 Jul, 2012
2011
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign
PastCambridge, United Kingdom
11 – 13 Jul, 2011
2009
Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign
PastCambridge, MA
12 – 15 Jul, 2009
2008
6th ACM/IEEE Conference on Formal Methods and Programming Models for Codesign
PastAnaheim, USA
5 – 5 Jun, 2008
Academic Resources & External Links
Access DBLP archives, Papers With Code, and official conference portals
DBLP Computer Science
Comprehensive open bibliographic database tracking full papers across editions.
dblp.org ↗
Papers With Code
Explore trending papers, open-source code repositories, and leaderboards.
paperswithcode.com ↗
CORE Ranking Portal
Official evaluation catalog from Computing Research and Education Association.
portal.core.edu.au ↗