PROLE
XXV Jornadas de PROgramación y LEnguajes
Alicante, del 16 al 18 de Junio de 2026
SOLICITUD DE CONTRIBUCIONES
Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen un marco propicio de reunión, debate y divulgación para los grupos españoles que
investigan en temas relacionados con la programación y sus lenguajes.
Con la organización de este evento se pretende fomentar el intercambio de
experiencias y resultados, así como la comunicación y cooperación entre dichos grupos.
| Envío de contribuciones | 27 de febrero de 2026 |
| Notificación a los autores | 27 de marzo de 2026 |
| Envío de versiones definitivas | 11 de abril de 2026 |
| Registro temprano | 1 de enero al 26 de abril de 2026 |
| Registro general | 27 de abril al 1 de Junio de 2026 |
| Celebración de las Jornadas | 16 al 18 de junio de 2026 |
TEMAS DE INTERÉS
En el ámbito de PROLE son bienvenidos tanto los trabajos teóricos como los que desarrollan aspectos prácticos, que pueden ser relativos a la
especificación, diseño, implementación, análisis y verificación de programas y lenguajes de programación, incluyendo el uso de métodos formales en los procesos de desarrollo del software.
Son especialmente relevantes aquellos trabajos que abordan el desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de herramientas y sistemas en este contexto. Una lista no exhaustiva de los temas abordados en PROLE incluye:
- Paradigmas de programación (concurrente, funcional, imperativa, lógica, etc.)
- Integración de paradigmas de programación.
- Especificación y lenguajes de especificación:
- Sistemas de tipos
- Lenguajes y técnicas para nuevos modelos de programación (computación cuántica y DNA, programación genética, etc.).
- Arquitecturas, herramientas y técnicas de apoyo al desarrollo e interconexión de programas (modularidad, programación genérica, lenguajes de marcado, WWW, etc.).
- Técnicas y herramientas de implementación de lenguajes de programación:
- Evaluación de técnicas de implementación.
- Semántica de lenguajes de programación.
- Análisis de programas:
- Verificación y certificación de programas
- Transformación y optimización de programas.
- Depuración y prueba de programas.
- Terminación de programas.
- Lógicas para el diseño y desarrollo de software.
- Métodos formales en los procesos de desarrollo de software:
- Aplicación de métodos formales en la industria.
- Casos de estudio.
- Desarrollo de aplicaciones con lenguajes y herramientas existentes.
- Aplicación de la IA subsimbólica en los temas anteriores.
TIPOS DE CONTRIBUCIONES
Se solicitan contribuciones, en castellano o inglés, en alguna de las siguientes categorías:
- Trabajos originales: no publicados ni en proceso de revisión en revistas, conferencias con actas formales, etc.
- Tutoriales.
- Demostraciones de herramientas y sistemas software: se deberá aportar una URL donde esté disponible la herramienta
- Trabajos emergentes o en progreso.
- Trabajos relevantes(*): ya publicados en revistas o actas de congreso de relevancia durante los años 2025 o 2026, o aceptados pero pendientes de publicación (es suficiente con disponer de la versión electrónica inicial).
(*) Siguiendo los principios de CoARA se considerará que los trabajos relevantes de calidad son aquellos publicados en revistas o congresos de primer nivel. Ejemplos de trabajos relevantes de calidad siguiendo este criterio serían: trabajos publicados en revistas o congresos indexados en las primeras categorías de las principales clasificaciones, contar con un elevado número de citas, o cualquier otro indicador que permita contrastar la calidad del trabajo
ENVÍO DE CONTRIBUCIONES
Los trabajos en las categorías 1-4 deberán seguir las instrucciones y el formato como plantilla LaTeX disponible en GitHub (https://github.com/sistedes/sistedes.template) para las publicaciones en Sistedes Digital Library (la plantilla está basada en la de LLNCS). Los trabajos deben tener una longitud de 4-15 páginas, de forma que se puede enviar un resumen en lugar de un trabajo completo.
Los trabajos de la categoría 5 se enviarán en el formato y extensión original de la publicación. En el apartado de resumen del formulario de envío se incluirá el nombre de la conferencia o revista donde se ha publicado el trabajo y el año de publicación. En cualquier caso, el envío de las contribuciones se realizará a través del sistema EasyChair en https://easychair.org/conferences/?conf=prole2026
SELECCIÓN Y PUBLICACIÓN DE CONTRIBUCIONES
Los trabajos de las categorías 1-4 serán revisados por al menos 3 revisores. En el caso de los trabajos de categoría 5, la revisión consistirá en comprobar su adecuación a los temas de interés de las Jornadas PROLE.
Los trabajos que resulten finalmente aceptados se publicarán en las actas de las Jornadas PROLE 2026, dentro de la biblioteca digital de SISTEDES (https://biblioteca.sistedes.es).
Para que un trabajo sea presentado, tiene que publicar al menos un resumen en la biblioteca SISTEDES. Si se trata de un trabajo ya publicado, se puede subir el abstract y el DOI de la publicación original.
Para los trabajos de la categoría 5, se solicitará a los autores un resumen en formato LNCS en el que se indique se trata de un trabajo ya publicado con la referencia a la publicación original).Entre los trabajos presentados en todas las categorías se realizará una selección para un número especial de la revista Journal of Logical and Algebraic Methods in Programming (JLAMP) de la editorial Elsevier (https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming).
COMITÉ DE PROGRAMA
Fernando Sáenz Pérez (Universidad Complutense de Madrid, fernan@sip.ucm.es )
