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. La XXIV edición de estas Jornadas (PROLE 2025) se celebrará en Córdoba del 9 al 11 de septimebre, en el marco de las Jornadas SISTEDES 2025.
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:
| Evento | Deadline |
|---|---|
| Envío de contribuciones | 4 de marzo de 2025 |
| Notificación a los autores | 15 de abril de 2025 |
| Envío de versiones definitivas | 29 de abril de 2025 |
| Registro temprano | 9 de mayo de 2025 |
| Celebración de las Jornadas | 9 – 11 de septiembre de 2025 |
Se solicitan contribuciones, en castellano o inglés, en alguna de las siguientes categorías:
Los trabajos en las categorías 1- 4 deberán seguir las instrucciones y el formato que se detalla en GitHub. Se trata de un archivo LaTeX class file para las publicaciones en Sistedes Digital Library (la plantilla está basada en la de LNCS). 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 formulario de envío, en el apartado de resumen, 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=prole2025
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 2025, dentro de la biblioteca digital de SISTEDES (https://biblioteca.sistedes.es).
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).