학회 정보

IJCAR 2026: International Joint Conference on Automated Reasoning

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
투고 마감일:
2026-02-06
통보일:
2026-04-14
개최일:
2026-07-26
개최지:
Lisbon, Portugal
개최 횟수:
15
ICORE: A   QUALIS: B1   조회: 64457   팔로우: 19   참가: 6
마감 카운트다운 배지 삽입
IJCAR
이 데이터를 API로 가져오기
검색과 순위 목록은 자격 증명이 전혀 필요 없습니다. 이 페이지의 상세 데이터에는 무료 API 키가 필요합니다. 자세한 내용은 개발자 안내 페이지를 참고하세요.

회반 지수 (CP-I)

74.5 / 100
전체 5,697개 중 272위 · 상위 5%
학술적 인정 (35%)
88
투고 선별성 (20%)
63
개최 횟수 (20%)
87
커뮤니티 관심도 (10%)
41
공개 자료 충실도 (15%)
65

사용한 입력: 수록 등급: ICORE A, QUALIS B1 · 게재율: 42.9%(기록이 있는 5개 회차의 평균) · 확인되는 개최 횟수: 24 · 회반에서 팔로우 중인 연구자: 19명 · 지난 24개월 동안 이 페이지를 연 연구자: 4명

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

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

논문 모집

IJCAR 2026 (International Joint Conference on Automated Reasoning) is a ICORE A / QUALIS B1 conference held in Lisbon, Portugal on 2026-07-26. The paper submission deadline is 2026-02-06. Acceptance notifications are sent on 2026-04-14.

IJCAR topics Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory. Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, machine learning and theorem proving, integration of automated provers/proof assistants in automated test generators, program synthesisers, verified compilers, intelligent systems, agent based systems, knowledge processing systems, formal methods tools and other symbolic tools, etc. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation and processing/engineering, education, formalization of mathematics, trusted AI, etc.
최종 수정: Dou Sun ()

게재율

평균 게재율: 41.7% 12년간 (2001–2024).

연도투고 수게재 수게재율(%)
20241154539.1%
2022854148.2%
20201967940.3%
20181084642.6%
2016793544.3%
2014833744.6%
20121154236.5%
2010894044.9%
2008983939.8%
20061514932.5%
2004863237.2%
20011125650%

관련 학회

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
BJournal of Automated Reasoning0.8Springer0168-7433
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

아직 댓글이 없습니다.

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