CCF B计算机科学理论2022 版:C 类出版方:ACM2026 由 C 升为 B

FMCADFormal Methods in Computer-Aided Design

FMCAD 是 CCF 第七版(2026)目录计算机科学理论领域的 B 类会议,2022 年第六版为 C 类。FMCAD 2027 截稿时间官方尚未公布,按近几届推算约在 5月中旬。FMCAD 2026 于 2026年9月14–18日在 Graz, Austria 举行。2026 年录用率 31.7%(71/224)。

数据更新于 2026-11-08 · 等级来自 CCF 第七版目录

2027 截稿(预计)5月中旬官方未公布
FMCAD 2026 会议时间2026年9月14–18日
举办地Graz, Austria
最近录用率31.7%2026 · 71/224
CCF 等级B 类第七版 · 计算机科学理论
dblp 收录(2025)33主会论文集

最近一届

FMCAD 2026 征稿时间线

  1. 北京时间 · 原文 2026-05-04 23:59 AoE
  2. 北京时间 · 原文 2026-05-11 23:59 AoE
  3. 2026年9月14–18日当地时间
    会议举行Graz, Austria

AoE 即 UTC−12,AoE 某日 23:59 为北京时间次日 19:59(时区换算说明)。以上时间来自 ccf-deadlines 社区数据,尚未与会议官网核对,投稿前请以官网为准。 会议官网 ↗

历届数据

历届时间、地点、截稿与录用率

届次全文截稿录用率dblp 论文数会议日期举办地
20262026-05-11AoE31.7%71/224 · 出处—2026年9月14–18日Graz, Austria
20252025-05-05AoE42.2%27/64 · 出处332025年10月8–10日Menlo Park, USA
20242024-05-12AoE51.8%29/56 · 出处352024年10月16–18日Prague, Czech Republic
20232023-05-22AoE42.5%31/73 · 出处392023年10月25–27日Ames, Iowa, USA
20222022-05-22AoE45.5%40/88 · 出处452022年10月19–21日Trento, Italy
20212021-05-21AoE41.7%30/72 · 出处382021年10月20–22日Online
2020——34——
2019——33——
2018——29——
2017——36——
2016——34——

FMCAD 2027 截稿预估:约 5月中旬(官方未公布)。依据:最近几届全文截稿分别为 2026 届 2026 年 5 月 12 日、2025 届 2025 年 5 月 6 日、2024 届 2024 年 5 月 13 日(北京时间)。以官方公布为准。

dblp 论文数只计主会论文集,不含 Workshop 论文集;录用率附数据出处。 dblp 历届论文集 ↗

CCF 目录

FMCAD 在 CCF 目录中的等级

第七版(2026)
CCF B 计算机科学理论 · 序号 10
第六版(2022)
CCF C 计算机科学理论
目录全称
Formal Methods in Computer-Aided Design
出版方
ACM

CCF 的说明:目录中的会议论文指正式发表的长文(Full paper 或 Regular paper),Short paper、Demo paper、Technical Brief、Summary、Findings 以及伴随会议的 Workshop 不在目录考虑范围内。CCF 也说明目录只是推荐列表,不建议简单地作为学术评价依据,具体以所在单位的规定为准。 哪些论文计入,逐类说明 →

常见问题

关于 FMCAD

FMCAD 是 CCF 几类会议?

FMCAD 是 CCF 第七版(2026)目录计算机科学理论领域的 B 类会议,2022 年第六版为 C 类。

FMCAD 2027 的截稿时间是什么时候?

官方尚未公布。最近几届全文截稿分别为 2026 届 2026 年 5 月 12 日、2025 届 2025 年 5 月 6 日、2024 届 2024 年 5 月 13 日(北京时间),预计在 5月中旬,以官方公布为准。

FMCAD 2026 在哪里举办?

FMCAD 2026 于 2026年9月14–18日在 Graz, Austria 举行。

FMCAD 的录用率是多少?

FMCAD 2026 收到 224 篇投稿,录用 71 篇,录用率 31.7%。2025 年为 42.2%(27/64)。每个数字的出处见“历届数据”表。

FMCAD 的 Workshop 和短文算 CCF B 吗?

CCF 的说明:目录中的会议论文指正式发表的长文(Full paper 或 Regular paper),Short paper、Demo paper、Technical Brief、Summary、Findings 以及伴随会议的 Workshop 不在目录考虑范围内。CCF 也说明目录只是推荐列表,不建议简单地作为学术评价依据,具体以所在单位的规定为准。

详细说明:CCF 推荐会议论文怎么算 · 会议截稿时间怎么换算

来源:CCF 推荐国际学术会议和期刊目录第七版(2026 年 3 月 31 日发布,4 月 9 日勘误)与第六版(2022);届次、截稿时间与录用率来自 ccf-deadlines 社区数据(MIT 许可),与会议官网核对前标注为“社区数据·待核验”,核对一致后标注“官网核验”并附官网原文;历届论文集与论文数来自 dblp(CC0)。