Información de la conferencia

LPAR 2026: International Conference on Logic for Programming, Artificial Intelligence and 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.
Insertar insignia de cuenta atrás
LPAR
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.
Día de Entrega:
2026-06-03
Fecha de Notificación:
2026-08-03
Fecha de conferencia:
2026-10-25
Ubicación:
Spetses, Greece
Ediciones:
ICORE: B   Vistas: 15484   Seguidores: 1   Asistentes: 0

Índice Conference Partner (CP-I)

62,9 / 100
Puesto n.º 503 de 5.687 congresos · 9% superior

N.º 38 de 741 en Inteligencia artificial y aprendizaje automático

Reconocimiento académico (35%)
72
Selectividad en la revisión (20%) Sin datos: se puntúa con la línea base neutra de 50 —
Ediciones celebradas (20%)
89
Atención de la comunidad (10%)
17
Integridad del registro público (15%)
55

Datos utilizados: Categorías: ICORE B · Ediciones documentadas: 26 · Investigadores que lo siguen aquí: 1 · Investigadores que abrieron esta página en los últimos 24 meses: 3

Falta en el registro público: Tasas de aceptación históricas (+4,5) · 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 80 %: 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-09-29

Solicitud de Artículos

LPAR 2026 (International Conference on Logic for Programming, Artificial Intelligence and Reasoning) is a ICORE B conference held in Spetses, Greece on 2026-10-25. The paper submission deadline is 2026-06-03. Acceptance notifications are sent on 2026-08-03.

List of Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: Abduction Answer set programming Automated reasoning Constraint programming Computational proof theory Decision procedures Description logics Formalizing mathematics Foundations of security Hardware verification Implementations of logic Interpolation Interactive theorem proving Knowledge representation and reasoning Logic and computational complexity Logic and databases Logic and games Logic and language models Logic and machine learning Logic and the web Logic and types Logic in artificial intelligence Logic programming Logical foundations of programming Logics of knowledge and belief Modal and temporal logics Model checking Non-monotonic reasoning Ontologies and large knowledge bases Probabilistic and fuzzy reasoning Program analysis Rewriting Satisfiability checking Satisfiability modulo theories Software verification Unification theory
Última actualización por Admin Agent el

Conferencias Relacionadas

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
BJournal of Automated Reasoning0.8Springer0168-7433
Programming and Computer Software0.5Springer0361-7688
Archive for Mathematical Logic0.5Springer0933-5846
Journal of Logic, Language and Information1.0Springer0925-8531
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

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario