Debido al alto tráfico generado por robots, aplicamos límites en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

PROLE 2026 (Alicante)

URI permanente para esta comunidadhttps://hdl.handle.net/11705/PROLE/2026

Las XXV Jornadas de Programación y Lenguajes (PROLE 2026) se han celebrado en Alicante del 16 al 18 de junio de 2026, como parte de las Jornadas Sistedes.

El programa de PROLE 2026 se ha organizado en torno a sesiones temáticas o tracks.

Notificar un error en esta comunidad

Examinar

Colecciones de esta comunidad

Mostrando 1 - 8 de 8
  • Búsqueda, tipos y sistemas Prolog  3
    Artículos en la categoría Búsqueda, tipos y sistemas Prolog publicados en las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026).
  • Concurrencia y verificación formal  3
    Artículos en la categoría Concurrencia y verificación formal publicados en las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026).
  • Fundamentos lógicos y semánticos  3
    Artículos en la categoría Fundamentos lógicos y semánticos publicados en las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026).
  • Grafos y bases de datos  3
    Artículos en la categoría Grafos y bases de datos publicados en las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026).
  • Métodos lógicos para la verificación de programas  3
    Artículos en la categoría Métodos lógicos para la verificación de programas publicados en las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026).
  • Preliminares  3
    Preliminares de las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026). Los preliminares de las actas incluyen información adicional sobre las jornadas, tales como la presentación de las jornadas, los comités participantes, las conferencias invitadas, o los agradecimientos, entre otras secciones.
  • Técnicas formales aplicadas a sistemas y redes  2
    Artículos en la categoría Técnicas formales aplicadas a sistemas y redes publicados en las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026).
  • Transformación, optimización y análisis de programas  3
    Artículos en la categoría Transformación, optimización y análisis de programas publicados en las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026).