Archived — This conference has already taken place.
HomeAboutSchedulePapersCommitteePartners

About us

The XXV Jornadas de PROgramación y LEnguajes (PROLE) provides a framework for meetings, debate, and dissemination for Spanish groups researching programming and its languages. PROLE 2026 aims to foster the exchange of experiences, results, communication, and cooperation. Held within the framework of Jornadas SISTEDES 2026, it welcomes both theoretical and practical work related to specification, design, implementation, analysis, and verification of programs and programming languages.

Important Dates

Fri, Feb 27, 2026
Fecha límite envío de contribuciones
Fri, Mar 27, 2026
Notificación a los autores
Sat, Apr 11, 2026
Fecha límite versión para actas
Sun, Apr 26, 2026
Fecha límite inscripción temprana

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.
Aplicación de la IA subsimbólica en los temas anteriores.

Call for Papers Description

Se solicitan contribuciones, en castellano o inglés, en alguna de las siguientes categorías: 1) Trabajos originales, 2) Tutoriales, 3) Demostraciones de herramientas y sistemas software, 4) Trabajos emergentes o en progreso, 5) Trabajos relevantes ya publicados.

Committee

Comité de Programa

Fernando Sáenz

Presidente, Universidad Complutense de Madrid

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

Pedro Cabalar

Universidade da Coruña

Francisco Durán

Universidad de Málaga

Santiago Escobar

Universitat Politècnica de Valencia

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

Pedro López García

Universidad Politécnica de Madrid

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

Elvira Pino

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