학회 정보
ATVA 2026: International Symposium on Automated Technology for Verification and Analysis
마감 카운트다운 배지 삽입
이 데이터를 API로 가져오기
회반 지수 (CP-I)
| 학술적 인정 (35%) |
|
78 |
| 투고 선별성 (20%) |
|
73 |
| 개최 횟수 (20%) |
|
87 |
| 커뮤니티 관심도 (10%) |
|
50 |
| 공개 자료 충실도 (15%) |
|
85 |
사용한 입력: 수록 등급: CCF C, ICORE B, QUALIS B1 · 게재율: 34%(기록이 있는 4개 회차의 평균) · 확인되는 개최 횟수: 24 · 회반에서 팔로우 중인 연구자: 43명 · 지난 24개월 동안 이 페이지를 연 연구자: 5명
공개 자료에서 빠진 항목:
최우수 논문 기록 (+2.3)
주최자는 학회를 인증 신청한 뒤 이 페이지에서 바로 추가할 수 있습니다. 점수는 매일 밤 다시 계산됩니다. 이 점수를 올리는 방법
신뢰도 100% — 점수 중 중립 기준값이 아니라 실제 관측된 데이터에 근거한 비율. 이 점수는 어떻게 계산되나 · 전체 순위 보기 · 알고리즘 버전 1.2 · 산출일 2026-10-19
다음 회차 논문 모집이 시작되면 알려드립니다
이번 회차는 종료되었습니다. 무료 계정을 만들면 다음 회차 논문 모집이 공개되는 즉시 이메일로 알려드립니다.
지난 회차를 기준으로 다음 마감일은 2027-05 무렵으로 예상됩니다.
논문 모집
ATVA 2026 (International Symposium on Automated Technology for Verification and Analysis) is a CCF C / ICORE B / QUALIS B1 conference held in Hong Kong, China on 2026-12-01. The paper submission deadline is 2026-05-19. Acceptance notifications are sent on 2026-07-23.
게재율
평균 게재율: 34% 4년간 (2004–2007).
| 연도 | 투고 수 | 게재 수 | 게재율(%) |
|---|---|---|---|
| 2007 | 88 | 36 | 40.9% |
| 2006 | 137 | 35 | 25.5% |
| 2005 | 95 | 33 | 34.7% |
| 2004 | 69 | 24 | 34.8% |
관련 학회
| CCF | ICORE | CP-I | 약칭 | 정식 명칭 | 투고 마감 | 개최일 |
|---|---|---|---|---|---|---|
| C | 87.5 | ICC | International Conference on Communications | 2026-10-02 | 2027-05-30 | |
| C | B | 62.9 | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-06-14 |
| C | B | 65.9 | TrustCom | International Conference on Trust, Security and Privacy in Computing and Communications | 2025-08-01 | 2025-11-14 |
| C | B | 79.9 | ICONIP | International Conference on Neural Information Processing | 2026-05-10 | 2026-11-23 |
| C | C | 80.9 | HPCC | International Conference on High Performance Computing and Communications | 2026-07-15 | 2026-10-29 |
| C | A | 87.9 | GECCO | Genetic and Evolutionary Computation Conference | 2027-07-12 | |
| C | B | 89.3 | Globecom | IEEE Global Communications Conference | 2026-04-01 | 2026-12-07 |
| C | B | 86.4 | ICPR | International Conference on Pattern Recognition | 2026-01-10 | 2026-08-17 |
| C | C | 64.9 | KSEM | International Conference on Knowledge Science, Engineering and Management | 2026-02-28 | 2026-07-17 |
| C | B | 84.8 | ICTAI | International Conference on Tools with Artificial Intelligence | 2026-06-30 | 2026-11-02 |
관련 저널
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
| B | Journal of Automated Reasoning | 0.8 | Springer | 0168-7433 |
| Software Testing Verification and Reliability | 1.2 | Wiley | 0960-0833 | |
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| C | Future Generation Computer Systems | 5.9 | Elsevier | 0167-739X |
| C | Neurocomputing | 6.5 | Elsevier | 0925-2312 |
| C | Pattern Recognition Letters | 3.9 | Elsevier | 0167-8655 |
| C | IEEE Transactions on Industrial Informatics | 11.7 | IEEE | 1551-3203 |
| C | IEEE Internet of Things Journal | 8.9 | IEEE | 2327-4662 |
| C | Engineering Applications of Artificial Intelligence | 9.0 | Elsevier | 0952-1976 |
| C | Expert Systems with Applications | 7.5 | Elsevier | 0957-4174 |
아직 댓글이 없습니다.