XXVII Jornadas de PROgramación y LEnguajes (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 XXII edición de estas Jornadas (PROLE 2023) se celebrará en Ciudad Real del 12 al 14 de septiembre, en el marco de las Jornadas SISTEDES 2023 organizadas por la Universidad de Castilla la Mancha (UCLM).





TEMAS DE INTERÉS


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

    Evento Deadline
    Envío de contribuciones 25 de abril de 2023
    Notificación a los autores   6 de junio de 2023
    Envío de versiones definitivas 20 de junio de 2023
    Registro temprano   1 de mayo al 30 de junio de 2023
    Celebración de las Jornadas 12 – 14 de septiembre de 2023




    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 progreso.
    5) Trabajos ya publicados en revistas o actas de congreso de relevancia durante los años 2022 o 2023, o trabajos aceptados pero pendientes de 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 el formato que se detalla en (https://github.com/sistedes/sistedes.template). La longitud de los trabajos será de 4-15 páginas, de forma que se puede enviar un resumen en lugar de un trabajo completo.

    Los trabajos de la categoría 5 se enviarán inicialmente en el formato y extensión original de la publicación. En el formulario de envío, en el apartado de resumen, se incluirá el nombre de la conferencia o revista donde se ha publicado el trabajo y el año de publicación. Tras la aceptación del trabajo de la categoría 5, los autores deben mandar un resumen que se publicará en la biblioteca SISTEDES con el formato que se especifica en https://github.com/sistedes/sistedes.template.


    En cualquier caso, el envío de las contribuciones se realizará a través del sistema EasyChair en https://easychair.org/conferences/?conf=prole2023





    SELECCIÓN Y PUBLICACIÓN DE CONTRIBUCIONES


    Los trabajos de las categorías 1-4 serán revisados por al menos 3 revisores. En el caso de los trabajos de categoría 5, la revisión consistirá en comprobar su adecuación a los temas de interés de las Jornadas PROLE.

    Los trabajos que resulten finalmente aceptados se publicarán en las actas de las Jornadas PROLE 2023, dentro de la biblioteca digital de SISTEDES (https://biblioteca.sistedes.es).

    Para los trabajos de la categoría 5, se solicitará a los autores un resumen en formato LNCS en el que se indique se trata de un trabajo ya publicado con la referencia a la publicación original).

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





    COMITÉ DE PROGRAMA DE PROLE


    Presidenta: Laura Panizo (Universidad de Málaga)

  • 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 (Universidad de la Coruña)
  • María Emilia Cambronero (Universidad de Castilla la Mancha)
  • Manuel Carro (Universidad Politécnica de Madrid)
  • Francisco Durán (Universidad de Málaga)
  • Santiago Escobar (Universitat Politècnica de Valencia)
  • Marco Feliú (National Institute of Aerospace, EEUU)
  • 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, Dinamarca)
  • Salvador Lucas (Universitat Politècnica de Valencia)
  • Narciso Martí-Oliet (Universidad Complutense de Madrid)
  • Ginés Moreno (Universidad de Castilla la Mancha)
  • Fernando Orejas (Universitat Politècnica de Catalunya)
  • Ricardo Peña (Universidad Complutense de Madrid)
  • Elvira Pino (Universitat Politècnica de Catalunya)
  • Adrián Riesco (Universidad Complutense de Madrid)
  • Julia Sapiña (Universitat Politècnica de Valencia)
  • Josep Silva (Universitat Politècnica de Valencia)
  • Alicia Villanueva (Universitat Politècnica de Valencia)




  • COMITÉ ORGANIZADOR PROLE


  • Pascual Julián Iranzo (Universidad de Castilla la Mancha)
  • Pablo Velasco Crespo (Universidad de Castilla la Mancha)
  • Francisco Luque-Schempp (Universidad de Málaga)




  • PATROCINADORES

    Patrocinador Diamante



    Patrocinador Oro





    Colaboradores