PROLE2025: XXIV Jornadas de PROgramación y LEnguajes Universidad de Córdoba Córdoba, Spain, September 9-11, 2025 |
Conference website | https://www.uco.es/sistedes2025/MPROLE.php |
Submission link | https://easychair.org/conferences/?conf=prole2025 |
Submission deadline | March 4, 2025 |
PROLE 2025: https://www.uco.es/sistedes2025/MPROLE.php#
SOLICITUD DE CONTRIBUCIONES
Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen un marcopropicio de reunión, debate y divulgación para los grupos españolesque investigan en temas relacionados con la programación y suslenguajes. Con la organización de este evento se pretende fomentar elintercambio de experiencias y resultados, así como la comunicación ycooperació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.
TEMAS DE INTERÉS
En el ámbito de PROLE son bienvenidos tanto los trabajos teóricos comolos que desarrollan aspectos prácticos, que pueden ser relativos a laespecificación, diseño, implementación, análisis y verificación deprogramas y lenguajes de programación, incluyendo el uso de métodosformales en los procesos de desarrollo del software. Son especialmenterelevantes aquellos trabajos que abordan el desarrollo de aplicacionescon herramientas y sistemas software existentes, así comodemostraciones de herramientas y sistemas en este contexto. Una listano 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.
FECHAS IMPORTANTES:Fecha límite envío de contribuciones: 04/03/2025Notificación a los autores: 15/04/2025Fecha límite versión para actas: 29/04/2025Fecha límite inscripción temprana: 09/05/2025
Jornadas: 9-11 de septiembre 2025
TIPOS DE CONTRIBUCIONES
Se solicitan contribuciones, en castellano o inglés, en alguna de lassiguientes categorías:
1) Trabajos originales: no publicados ni en proceso de revisión enrevistas, conferencias con actas formales, etc.
2) Tutoriales.
3) Demostraciones de herramientas y sistemas software: se deberáaportar una URL donde esté disponible la herramienta.
4) Trabajos emergentes o en progreso.
5) Trabajos relevantes(*): ya publicados en revistas o actas decongreso de relevancia durante los años 2024 o 2025, o aceptados peropendientes de publicación (es suficiente con disponer de la versiónelectrónica inicial).
(*) Siguiendo los principios de CoARA se considerará que los trabajosrelevantes de calidad son aquellos publicados en revistas o congresos de primer nivel. Ejemplos de trabajos relevantes de calidad siguiendoeste 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 yel formato disponible en GitHub - sistedes/sistedes.template(https://github.com/sistedes/sistedes.template) --se trata de unarchivo LaTeX class file para las publicaciones en Sistedes DigitalLibrary (la plantilla esta basada en la de LLNCS). Los trabajos debentener una longitud de 4-15 páginas, de forma que se puede enviar unresumen en lugar de un trabajo completo.
Los trabajos de la categoría 5 se enviarán en el formato y extensiónoriginal de la publicación. En el formulario de envío, en el apartadode resumen, se incluirá el nombre de la conferencia o revista donde seha 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
SELECCIÓN Y PUBLICACIÓN DE CONTRIBUCIONES
Los trabajos de las categorías 1-4 serán revisados por al menos 3revisores. En el caso de los trabajos de categoría 5, la revisiónconsistirá en comprobar su adecuación a los temas de interés de lasJornadas PROLE.
Los trabajos que resulten finalmente aceptados se publicarán en lasactas de las Jornadas PROLE 2025, dentro de la biblioteca digital deSISTEDES (https://biblioteca.sistedes.es).
Para los trabajos de la categoría 5, se solicitará a los autores unresumen en formato LNCS en el que se indique se trata de un trabajo yapublicado 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 Logicaland 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
Presidenta: Elvira Pino (Universitat Politècnica de Catalunya)
* Jesús Almendros (Universidad de Almería)
* Joaquín Arias (Universidad Rey Juan Carlos)
* Clara Benac (Universidad Politécnica de Madrid)
* María Luisa Bonet (Universitat Politècnica de Catalunya)
* Manuel Carro (Universidad Politécnica de Madrid)
* Francisco Durán (Universidad de Málaga)
* Santiago Escobar (Universitat Politècnica de Valencia)
* Gerard Escudero Bakx (Universitat Politècnica de Catalunya)
* María del Mar Gallardo (Universidad de Málaga)
* Montserrat Hermo (Euskal Herriko Unibertsitatea)
* Pascual Julián Iranzo (Universidad de Castilla-La Mancha)
* Alberto Lluch Lafuente (Technical University of Denmark)
* Salvador Lucas (Universitat Politècnica de Valencia)
* José Francisco Morales (Universidad Politécnica de Madrid)
* Ginés Moreno (Universidad de Castilla-La Mancha)
* Fernando Orejas (Universitat Politècnica de Catalunya)
* Laura Panizo (Universidad de Málaga)
* Edelmira Pasarella (Universitat Politècnica de Catalunya)
* Adrián Riesco (Universidad Complutense de Madrid)
* Rubén Rubio (Universidad Complutense de Madrid)
* César Sánchez (IMDEA Software Institute)
* Julia Sapiña (Universitat Politècnica de Valencia)
* Josep Silva (Universitat Politècnica de Valencia)
* Alicia Villanueva (Universitat Politècnica de Valencia)