학회 정보
ISoLA 2026: International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation
마감 카운트다운 배지 삽입
이 데이터를 API로 가져오기
회반 지수 (CP-I)
| 학술적 인정 (35%) |
|
58 |
| 투고 선별성 (20%) | 데이터 없음 — 중립 기준값 50점으로 계산 | — |
| 개최 횟수 (20%) |
|
82 |
| 커뮤니티 관심도 (10%) |
|
5 |
| 공개 자료 충실도 (15%) |
|
35 |
사용한 입력: 수록 등급: ICORE C · 확인되는 개최 횟수: 20 · 지난 24개월 동안 이 페이지를 연 연구자: 1명
공개 자료에서 빠진 항목:
역대 게재율 (+4.5) · 역대 회차 (+3.0) · 최우수 논문 기록 (+2.3)
주최자는 학회를 인증 신청한 뒤 이 페이지에서 바로 추가할 수 있습니다. 점수는 매일 밤 다시 계산됩니다. 이 점수를 올리는 방법
신뢰도 80% — 점수 중 중립 기준값이 아니라 실제 관측된 데이터에 근거한 비율. 이 점수는 어떻게 계산되나 · 전체 순위 보기 · 알고리즘 버전 1.1 · 산출일 2026-09-30
다음 회차 논문 모집이 시작되면 알려드립니다
이번 회차는 종료되었습니다. 무료 계정을 만들면 다음 회차 논문 모집이 공개되는 즉시 이메일로 알려드립니다.
지난 회차를 기준으로 다음 마감일은 2027-03 무렵으로 예상됩니다.
논문 모집
ISoLA 2026 (International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation) is a ICORE C conference held in Kos, Greece on 2026-10-24. The paper submission deadline is 2026-03-31. Acceptance notifications are sent on 2026-06-15.
관련 학회
| CCF | ICORE | CP-I | 약칭 | 정식 명칭 | 투고 마감 | 개최일 |
|---|---|---|---|---|---|---|
| C | A | 81.0 | ICST | International Conference on Software Testing, Verification and Validation | 2026-11-02 | 2027-05-17 |
| A | A* | 92.5 | SIGIR | International Conference on Research and Development in Information Retrieval | 2026-01-15 | 2026-07-20 |
| A | A* | 97.7 | AAAI | AAAI Conference on Artificial Intelligence | 2026-07-21 | 2027-02-16 |
| A | A* | 94.3 | CVPR | IEEE Conference on Computer Vision and Pattern Recognition | 2026-11-10 | 2027-06-20 |
| B | A* | 89.7 | ICRA | International Conference on Robotics and Automation | 2026-09-15 | 2027-05-24 |
| B | A* | 94.1 | IJCAI | International Joint Conference on Artificial Intelligence | 2026-01-31 | 2026-08-15 |
| A | A* | 92.5 | STOC | ACM Symposium on Theory of Computing | 2026-11-02 | 2027-06-06 |
| C | 87.4 | ICC | International Conference on Communications | 2026-10-02 | 2027-05-30 | |
| C | B | 62.7 | IJCNN | International Joint Conference on Neural Networks | 2027-01-31 | 2027-06-14 |
| B | 91.2 | ICASSP | International Conference on Acoustics, Speech and Signal Processing | 2026-09-16 | 2027-05-16 |
관련 저널
| CCF | 정식 명칭 | 영향력 지수 | 출판사 | ISSN |
|---|---|---|---|---|
| A | IEEE Transactions on Multimedia | 9.7 | IEEE | 1520-9210 |
| C | Knowledge-Based Systems | 7.2 | Elsevier | 0950-7051 |
| B | Software & Systems Modeling | 3.2 | Springer | 1619-1366 |
| A | IEEE Transactions on Computers | 3.8 | IEEE | 0018-9340 |
| 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 |
| B | Pattern Recognition | 7.6 | Elsevier | 0031-3203 |
| IEEE Access | 3.6 | IEEE | 2169-3536 | |
| A | IEEE Transactions on Dependable and Secure Computing | 7.5 | IEEE | 1545-5971 |
아직 댓글이 없습니다.