Archived — This conference has already taken place.
HomeAboutSchedulePapersCommitteePartners

About us

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 septiembre, en el marco de las Jornadas SISTEDES 2025.

Important Dates

Tue, Mar 11, 2025
Fecha límite envío de contribuciones
Tue, Apr 15, 2025
Notificación a los autores
Tue, Apr 29, 2025
Fecha límite versión para actas
Fri, May 9, 2025
Fecha límite inscripción temprana
Tue, Sep 9, 2025
Jornadas

Paper Submission

Research Paper Submission Tracks

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

Call for Papers Description

Se solicitan contribuciones, en castellano o inglés, en las categorías: Trabajos originales, Tutoriales, Demostraciones de herramientas y sistemas software, Trabajos emergentes o en progreso, y Trabajos relevantes publicados recientemente.

Committee

Comité de Programa

Elvira Pino

Presidenta

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