Formal Methods in Computer-Aided Design
Formal Methods in Computer-Aided Design
Kỳ tổ chức mới nhất: FMCAD 2026
Kênh Tra cứu Trực tiếp
Bộ Chỉ số & Xếp hạng Học thuật
Phân hạng CORE2026
B
Software engineering
Phân hạng CCFChina CF
CCF B
China Computer Federation
Chỉ số H5-IndexScholar
N/A
Google Scholar Metrics
Mốc Thời gian Nộp bài & Đếm ngược
FMCAD 2026 • Graz Austria(14 – 14 Tháng 9, 2018)
Main Track
(conference)Hạn chót: 12 thg 5, 2026
ĐÃ HẾT HẠN NỘP
Anywhere on Earth (UTC-12)
Hạn nộp bài của kỳ này đã kết thúc
Vui lòng theo dõi thông báo kết quả hoặc kỳ tổ chức tiếp theo.
Toàn bộ các mốc thời gian
| Hạng mục / Track | Loại nộp | Hạn tóm tắt | Hạn nộp bài | Phản biện (Rebuttal) | Thông báo kết quả | Bản in cuối (Camera-ready) | Thời gian còn lại |
|---|---|---|---|---|---|---|---|
Main Track | conference | 5 thg 5, 2026 | 12 thg 5, 2026 | — | Chưa công bố | Chưa công bố | Đã hết hạn |
Bảng Xếp hạng Học thuật Đa nguồn
Đối chiếu phân hạng từ các tổ chức thẩm định uy tín trên thế giới
| Hệ thống Xếp hạng | Cơ quan Thẩm định | Phân hạng | Phiên bản / Năm | Chuyên ngành | Ý nghĩa Phân hạng |
|---|---|---|---|---|---|
| CORE Ranking | Computing Research and Education Association of Australasia | B | Năm 2026 | Software engineering | Good Conference — Top 35%–40% toàn cầu |
| CCF Ranking | China Computer Federation (CCF) | Hạng B | CCF 2022 Catalog | Computer Science | Hội nghị Quốc tế Chất lượng cao |
| TH-CPL | Đại học Thanh Hoa (Tsinghua University) | N/A | TH-CPL List | CS & Engineering | Danh mục khuyến nghị bài báo & hội nghị Thanh Hoa |
| Qualis CAPES | CAPES (Bộ Giáo dục Brazil) | N/A | Sucupira / Qualis | Ciência da Computação | Phân hạng học thuật tiêu chuẩn Nam Mỹ |
| CCF | Academic Association | B | N/A | General | International prestige ranking |
| CORE | Academic Association | B | N/A | General | International prestige ranking |
| THCPL | Academic Association | B | N/A | General | International prestige ranking |
Lịch sử Các kỳ Tổ chức (Editions Timeline)
Thông tin địa điểm, thời gian và kỷ yếu các kỳ hội nghị đã và sắp diễn ra
2025
FMCAD 2025
Sắp diễn raMenlo Park, United States
8 – 1 Tháng 10, 2025
2024
FMCAD 2024
Sắp diễn raPrague, Czech Republic
16 – 16 Tháng 10, 2018
2023
FMCAD 2023
Sắp diễn raAmes, United States
25 – 25 Tháng 10, 2027
2022
FMCAD 2022
Sắp diễn raTrento, Italy
19 – 19 Tháng 10, 2021
2021
FMCAD 2021
Sắp diễn raVirtual
20 – 20 Tháng 10, 2022
2018
International Conference on Formal Methods in Computer-Aided Design
Đã kết thúcAustin, USA
30 Tháng 10 – 2 Tháng 11, 2018
2017
Formal Methods in Computer-Aided Design
Đã kết thúcVienna, Austria
2 – 6 Tháng 10, 2017
2016
Formal Methods in Computer-Aided Design
Đã kết thúcMountain View, USA
4 – 6 Tháng 10, 2016
2015
Formal Methods in Computer-Aided Design
Đã kết thúcAustin, Texas
27 – 30 Tháng 9, 2015
2014
Formal Methods in Computer-Aided Design
Đã kết thúcLausanne, Switzerland
21 – 24 Tháng 10, 2014
2013
Formal Methods in Computer-Aided Design
Đã kết thúcPortland, Oregon
20 – 23 Tháng 10, 2013
2012
Formal Methods in Computer-Aided Design
Đã kết thúcMicrosoft Research Cambridge, UK
22 – 25 Tháng 10, 2012
2011
International Conference on Formal Methods in Computer-Aided Design
Đã kết thúcAustin, USA
30 Tháng 10 – 2 Tháng 11, 2011
2010
International Conference on Formal Methods in Computer-Aided Design
Đã kết thúcLugano, Switzerland
20 – 23 Tháng 10, 2010
2009
Formal Methods in Computer-Aided Design
Đã kết thúcAustin, TX
15 – 18 Tháng 11, 2009
2008
Formal Methods in Computer-Aided Design
Đã kết thúcPortland, USA
17 – 20 Tháng 11, 2008
Cổng Tư liệu & Liên kết Ngoài
Truy cập nguồn học thuật DBLP, Papers With Code và cổng thông tin chính thức
DBLP Computer Science
Thư viện trích dẫn và lưu trữ toàn bộ các bài báo khoa học qua các năm.
dblp.org ↗
Papers With Code
Khám phá các bài báo, mã nguồn đính kèm (code implementation) và bộ dữ liệu benchmarks.
paperswithcode.com ↗
CORE Ranking Portal
Hồ sơ thẩm định phân hạng chính thức từ Hội đồng Nghiên cứu Australasia.
portal.core.edu.au ↗