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 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 XXI edición de estas Jornadas (PROLE 2022) se celebrará en Santiago de Compostela del 5 al 7 de septiembre de 2022, en el marco de las Jornadas SISTEDES 2022 organizadas por el Grupo COGRADE-CITIUS de la Universidad de Santiago de Compostela (USC).


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 (concurrente, funcional, imperativa, lógica, orientada a {agentes, aspectos, objetos}, visual …). 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 …).
  • Arquitecturas, herramientas y técnicas de apoyo al desarrollo e interconexión de programas (modularidad, programación genérica, lenguajes de marcado, WWW …).
  • Técnicas y herramientas de implementación de lenguajes de programación. Evaluación de técnicas de implementación.
  • Semántica de los 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

  • Envío de contribuciones (extendido): 15 de mayo de 2022
  • Notificación a los autores: 10 de junio de 2022
  • Versión para actas: 20 de junio de 2022
  • Inscripción temprana: 26 de junio de 2022
  • Jornadas: 5-7 de septiembre de 2022 


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.
  2. Tutoriales.
  3. Demostraciones de herramientas y sistemas software. Se deberá aportar URL donde la herramienta esté disponible.
  4. Trabajos emergentes o en curso.
  5. Trabajos ya publicados en revistas o presentados en congresos internacionales durante 2021 o 2022, o aceptados pero pendientes de publicación/presentación (en el formato y longitud de la publicación, es suficiente con disponer de la versión electrónica inicial).


ENVÍO DE CONTRIBUCIONES

Los trabajos en las categorías 1-4 deberán seguir las instrucciones y formato de Elsevier en https://www.ctan.org/tex-archive/macros/latex/contrib/elsarticle y su envío se realizará a través del sistema EasyChair en https://easychair.org/conferences/?conf=prole2022.

La extensión de tales trabajos puede ser de 4 a 15 páginas, de forma que se puede enviar un resumen en lugar de un trabajo completo.

En el caso de los trabajos ya publicados (categoría 5), 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, junto con el año de la publicación.


SELECCIÓN Y PUBLICACIÓN DE CONTRIBUCIONES

Los trabajos de las categorías 1-4 serán revisados por al menos tres revisores y aquellos que resulten finalmente aceptados se publicarán en las actas de las Jornadas. Los trabajos de la categoría 5 serán revisados para asegurar su adecuación a los temas de las Jornadas y de ellos sólo se publicará en las actas un breve resumen (en ese resumen se indicará que se trata de un trabajo ya publicado y la referencia de la publicación).

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

Entre los trabajos presentados se realizará una selección para un número especial de la revista Journal of Logical and Algebraic Methods in Programming (JLAMP): https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming.


COMITÉ DE PROGRAMA DE PROLE
Presidente: Pascual Julián Iranzo (Universidad de Castilla-La Mancha)

  • Jesús Almendros (Universidad de Almería)
  • María Alpuente (Universitat Politècnica de València)
  • Clara Benac (Universidad Politécnica de Madrid)
  • María Luisa Bonet (Universitat Politècnica de Catalunya)
  • Pedro Cabalar (Universidade da Coruña)
  • Manuel Carro (Universidad Politécnica de Madrid e IMDEA Software)
  • Laura M. Castro (Universidade da Coruña)
  • Francisco Durán (Universidad de Málaga)
  • Santiago Escobar (Universitat Politècnica de València)
  • Lars-Ake Fredlund (Universidad Politécnica de Madrid)
  • María del Mar Gallardo (Universidad de Málaga)
  • Alberto Lluch Lafuente (Technical University of Denmark)
  • Salvador Lucas (Universitat Politècnica de València)
  • Paqui Lucio (Euskal Herriko Unibertsitatea)
  • Narciso Martí-Oliet (Universidad Complutense de Madrid)
  • Ginés Moreno (Universidad de Castilla-La Mancha)
  • Fernando Orejas (Universitat Politècnica de Catalunya)
  • Laura Panizo (Universidad de Málaga)
  • Ricardo Peña (Universidad Complutense de Madrid)
  • Fernando Sáenz (Universidad Complutense de Madrid)
  • Cesar Sánchez (IMDEA Software)
  • Josep Silva (Universitat Politècnica de València)
  • Germán Vidal (Universitat Politècnica de València)
  • Alicia Villanueva (Universitat Politècnica de València)


COMITÉ ORGANIZADOR PROLE

  • José Antonio Riaza Valverde (Universidad de Castilla-La Mancha), co-presidente
  • José A. Taboada González (Grupo COGRADE – CITIUS – USC), co-presidente