Información de la conferencia

LICS 2026: IEEE Symposium on Logic in Computer Science

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.
Registrarse Iniciar sesión
Día de Entrega:
2026-01-15
Fecha de Notificación:
2026-04-16
Fecha de conferencia:
2026-07-20
Ubicación:
Lisbon, Portugal
Ediciones:
41
CCF: A   ICORE: A*   QUALIS: A2   Vistas: 72505   Seguidores: 41   Asistentes: 6
¿Algo está mal en esta página? Avísanos
Insertar insignia de cuenta atrás
LICS
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)

85,5 / 100
Puesto n.º 125 de 5.694 congresos · 3% superior

N.º 8 de 142 en Teoría y algoritmos

Reconocimiento académico (35%)
100
Selectividad en la revisión (20%)
79
Ediciones celebradas (20%)
100
Atención de la comunidad (10%)
49
Integridad del registro público (15%)
65

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

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-07

Solicitud de Artículos

LICS 2026 (IEEE Symposium on Logic in Computer Science) is a CCF A / ICORE A* / QUALIS A2 conference held in Lisbon, Portugal on 2026-07-20. The paper submission deadline is 2026-01-15. Acceptance notifications are sent on 2026-04-16.

The 41st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2026) will be held in Lisbon, from 20 – 23 July 2026, as part of the Federated Logic Conference FLOC'26. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification.
Última actualización por Dou Sun el

Tasa de aceptación

Tasa de aceptación media: 30.9% en 9 años (1995–2005).

AñoEnviadosAceptadosAceptados(%)
20051274434.6%
20041684023.8%
20031223427.9%
20021353626.7%
20011043634.6%
19981204235%
19971083936.1%
19961754726.9%
19951374432.1%

Conferencias Relacionadas

CCFICORECP-IAbreviaciónNombre CompletoEntregaFecha de conferencia
AA*92,6SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97,8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94,4CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
AA*92,6STOCACM Symposium on Theory of Computing2026-11-022027-06-06
AA*95,3OSDIUSENIX Symposium on Operating Systems Design and Implementation2026-12-012027-07-07
AA*95,1ICMLInternational Conference on Machine Learning2026-01-232026-07-06
AA*97,3INFOCOMInternational Conference on Computer Communications2026-07-242027-05-24
AA*89,4ICCVInternational Conference on Computer Vision2025-03-072025-10-19
AA*94,2CHIACM Conference on Human Factors in Computing Systems2026-09-102027-05-10
AA92,7ISSTAInternational Symposium on Software Testing and Analysis2027-01-082027-09-07

Revistas Relacionadas

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario