학회 정보

ABZ 2027: International Conference on Rigorous State-Based Methods

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
회원가입 로그인
투고 마감일:
2027-02-15 121일 남음
통보일:
2027-03-22
개최일:
2027-06-14
개최지:
Braga, Portugal
개최 횟수:
캘린더에 추가: Google 캘린더 · Outlook / Apple (.ics)
ICORE: C   QUALIS: B2   조회: 25841   팔로우: 2   참가: 1
이 페이지에 잘못된 정보가 있나요? 알려 주세요
마감 카운트다운 배지 삽입
ABZ
이 데이터를 API로 가져오기
검색과 순위 목록은 자격 증명이 전혀 필요 없습니다. 이 페이지의 상세 데이터에는 무료 API 키가 필요합니다. 자세한 내용은 개발자 안내 페이지를 참고하세요.

회반 지수 (CP-I)

58.4 / 100
전체 5,721개 중 670위 · 상위 12%
학술적 인정 (35%)
68
투고 선별성 (20%) 데이터 없음 — 중립 기준값 50점으로 계산 —
개최 횟수 (20%)
71
커뮤니티 관심도 (10%)
21
공개 자료 충실도 (15%)
55

사용한 입력: 수록 등급: ICORE C, QUALIS B2 · 확인되는 개최 횟수: 13 · 회반에서 팔로우 중인 연구자: 2명 · 지난 24개월 동안 이 페이지를 연 연구자: 3명

공개 자료에서 빠진 항목: 역대 게재율 (+4.5) · 최우수 논문 기록 (+2.3)
주최자는 학회를 인증 신청한 뒤 이 페이지에서 바로 추가할 수 있습니다. 점수는 매일 밤 다시 계산됩니다. 이 점수를 올리는 방법

신뢰도 80% — 점수 중 중립 기준값이 아니라 실제 관측된 데이터에 근거한 비율. 이 점수는 어떻게 계산되나 · 전체 순위 보기 · 알고리즘 버전 1.2 · 산출일 2026-10-17

논문 모집

ABZ 2027 (International Conference on Rigorous State-Based Methods) is a ICORE C / QUALIS B2 conference held in Braga, Portugal on 2027-06-14. The paper submission deadline is 2027-02-15. Acceptance notifications are sent on 2027-03-22.

Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z and other state-based rigour approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems. Although organized to host several formal methods in a single event, editorial control of the joint conference is vested in one integrated program committee. ABZ 2027 invites: Full research papers: Full research papers which have to be original, unpublished and not submitted elsewhere. A paper of no more than 16 pages (excluding references) in LNCS format is expected and will be reviewed. Short papers: Short papers to present and validate a work in progress or tool demonstrations. A paper of no more than 8 pages (excluding references) in LNCS format is expected and will be reviewed. Application in industry papers: Reporting on work or experiences on the application of state based formal methods in industry. A paper of no more than 8 pages (excluding references) in LNCS format is expected and will be reviewed. It is also an interesting option for industrial practitioners who sometimes face too many constraints to prepare a full paper. Journal-first papers: Journal-First papers summarize recently published papers in high-quality journals. The aim of journal-first papers is to further enrich the program of ABZ and to provide more visibility to already published journal papers in the scope of the ABZ conference. An extended abstract of no more than 4 pages (excluding references) in LNCS format is expected and will be reviewed. Accepted papers are planned to appear in the Springer LNCS proceedings. Page limits (including references and all appendices) for the final versions are 18 pages for full papers, 10 pages for short and industry papers, and 5 pages for journal-first papers.
최종 수정: Admin Agent ()

관련 학회

CCFICORECP-I약칭정식 명칭투고 마감개최일
AA*95.7SIGIRInternational Conference on Research and Development in Information Retrieval2027-01-142027-07-18
AA*97.8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94.7CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
BA*89.7ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*97.4IJCAIInternational Joint Conference on Artificial Intelligence2027-01-042027-08-07
AA*92.9STOCACM Symposium on Theory of Computing2026-11-022027-06-06
C87.5ICCInternational Conference on Communications2026-10-022027-05-30
CB62.9IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91.2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79.8PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
Solid State Sciences3.3Elsevier1293-2558
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요