PROLE

Solicitud de contribuciones

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 los lenguajes de programación. 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 XIX edición de estas Jornadas (PROLE 2019) se celebrará en el marco de las Jornadas SISTEDES 2019 y tendrá lugar en Cáceres del 2 al 4 de septiembre de 2019.

Temas de interés

En el ámbito de PROLE son bienvenidos tanto los trabajos teóricos, como los que desarrollan aspectos prácticos 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 relativos al 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:

  • Paradigmas de programación. 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.
  • Arquitecturas e interconexión de programas.
  • Técnicas y herramientas de implementación de lenguajes de programació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 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

  • Envío de contribuciones: 7 de abril de 2019
  • Notificación a los autores: 26 de mayo de 2019
  • Envío de versiones definitivas: 16 de junio de 2019
  • Jornadas: 2-4 de septiembre de 2019

Tipos de contribuciones

Se solicitan contribuciones (tanto en castellano como en inglés) en alguna de las siguientes categorías:

  1. Trabajos originales. No publicados ni en proceso de revisión en revistas, conferencias con actas formales, etc. (máximo 15 páginas).
  2. Tutoriales (máximo 18 páginas).
  3. Demostraciones de herramientas y sistemas software (máximo 15 páginas). Se deberá aportar URL donde la herramienta esté disponible.
  4. Trabajos ya publicados (es suficiente con disponer de la versión electrónica inicial) durante 2018, 2019 o pendientes de publicación en revistas o presentados en congresos internacionales, etc. (en el formato y longitud de la publicación). Estos trabajos no aparecerán impresos en las actas informales, salvo un resumen (abstract), pero sí serán presentados en las sesiones.
  5. Trabajos emergentes o en curso (máximo 15 páginas).

Envío de contribuciones

Los trabajos deberán seguir las instrucciones y formatos de EPTCS (http://style.eptcs.org/) y su envío se realizará a través del sistema EasyChair
(https://easychair.org/conferences/?conf=prole2019).

En el caso de los trabajos ya publicados (categoría 4), una copia en pdf del mismo se enviará como contribución, y se aprovechará el resumen del formulario de envío para indicar el nombre de la conferencia o revista de publicación, y el año de la publicación.

Selección y publicación de contribuciones

Los trabajos de las categorías 1, 2, 3 y 5 serán revisados por al menos tres revisores y aquellos que resulten finalmente aceptados aparecerán publicados en las actas de las Jornadas.

Las actas de PROLE 2019 se publicarán en formato digital y estarán alojadas en la Biblioteca Digital de SISTEDES (http://biblioteca.sistedes.es).

Comité de programa de PROLE

  • Presidente: María Alpuente (Universidad Politècnica de València)

 

  • Elvira Albert (Universidad Complutense de Madrid)
  • Jesús Almendros (Universidad de Almería)
  • Clara Benac (Universidad Politécnica de Madrid)
  • María Luisa Bonet (Universitat Politècnica de Catalunya)
  • Manuel Carro (Universidad Politécnica de Madrid e Instituto IMDEA Software)
  • Laura Castro (Universidad da Coruña)
  • Francisco Durán (Universidad de Málaga)
  • Santiago Escobar (Universitat Politècnica de València)
  • María del Mar Gallardo (Universidad de Málaga)
  • Pascual Julián Iranzo (Universidad de Castilla-La Mancha)
  • Salvador Lucas (Universitat Politècnica de València)
  • Narciso Martí-Oliet (Universidad Complutense de Madrid)
  • Paqui Lucio (Euskal Herriko Unibertsitatea)
  • Alberto Lluch Lafuente (Technical University of Denmark)
  • Ginés Moreno (Universidad de Castilla-La Mancha)
  • Marisa Navarro (Euskal Herriko Unibertsitatea)
  • Fernando Orejas (Universitat Politècnica de Catalunya)
  • Yolanda Ortega (Universidad Complutense de Madrid)
  • Francisco Ortín (Universidad de Oviedo)
  • Ricardo Peña (Universidad Complutense de Madrid)
  • María José Ramírez Quintana (Universitat Politècnica de València)
  • Adrián Riesco (Universidad Complutense de Madrid)
  • Fernando Sáenz-Pérez (Universidad Complutense de Madrid)
  • Alicia Villanueva (Universitat Politècnica de València)

Comité organizador

Presidentes Jornadas Sistedes: