Información de la conferencia

IJCAR 2026: International Joint Conference on Automated Reasoning

Por favor Iniciar sesión para ver el sitio web de la conferencia
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Día de Entrega:
2026-02-06
Fecha de Notificación:
2026-04-14
Fecha de conferencia:
2026-07-26
Ubicación:
Lisbon, Portugal
Ediciones:
15
ICORE: A   QUALIS: B1   Vistas: 64458   Seguidores: 19   Asistentes: 6
Insertar insignia de cuenta atrás
IJCAR
Obtener estos datos por API
Las búsquedas y las listas de rankings no necesitan credenciales; el detalle completo de esta página requiere una clave de API gratuita. Consulta la guía para desarrolladores.

Índice Conference Partner (CP-I)

74,5 / 100
Puesto n.º 272 de 5.697 congresos · 5% superior
Reconocimiento académico (35%)
88
Selectividad en la revisión (20%)
63
Ediciones celebradas (20%)
87
Atención de la comunidad (10%)
41
Integridad del registro público (15%)
65

Datos utilizados: Categorías: ICORE A, QUALIS B1 · Tasa de aceptación: 42.9% (media de 5 ediciones registradas) · Ediciones documentadas: 24 · Investigadores que lo siguen aquí: 19 · Investigadores que abrieron esta página en los últimos 24 meses: 4

Falta en el registro público: Ediciones anteriores (+3,0) · Premios al mejor artículo (+2,3)
Los organizadores pueden añadirlo desde esta página tras reclamar el congreso; las puntuaciones se recalculan cada noche. Cómo subir esta puntuación

Confianza 100 %: la parte de la puntuación respaldada por datos observados y no por la línea base neutra. Cómo se calcula esta puntuación · Ver la clasificación · Versión del algoritmo 1.1 · Calculado el 2026-10-12

Solicitud de Artículos

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.
Última actualización por Dou Sun el

Tasa de aceptación

Tasa de aceptación media: 41.7% en 12 años (2001–2024).

AñoEnviadosAceptadosAceptados(%)
20241154539.1%
2022854148.2%
20201967940.3%
20181084642.6%
2016793544.3%
2014833744.6%
20121154236.5%
2010894044.9%
2008983939.8%
20061514932.5%
2004863237.2%
20011125650%

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
44,6IJCLRInternational Joint Conference on Learning & Reasoning2026-05-312026-09-16
AA*95,6SIGIRInternational 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,5CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
BA*89,7ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*94,2IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*92,7STOCACM Symposium on Theory of Computing2026-11-022027-06-06
C87,5ICCInternational Conference on Communications2026-10-022027-05-30
CB62,8IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91,2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
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

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario