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 XX edición de estas Jornadas (PROLE 2021) se celebrará en el marco del VI Congreso Español de Informática (CEDI 20/21) y tendrá lugar en Málaga en septiembre de 2021.

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 (extendido): 12 de mayo de 2021
  • Notificación a los autores: 14 de junio de 2021
  • Versión para actas: 24 de junio de 2021
  • Inscripción temprana: 30 de junio de 2021
  • Jornadas: 22-24 de septiembre de 2021

TIPOS DE CONTRIBUCIONES

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

  • Trabajos originales. No publicados ni en proceso de revisión en revistas, conferencias con actas formales, etc.
  • Tutoriales.
  • Demostraciones de herramientas y sistemas software. Se deberá aportar URL donde la herramienta esté disponible.
  • Trabajos emergentes o en curso.
  • Trabajos ya publicados en revistas o presentados en congresos internacionales durante 2019, 2020 o 2021, 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=prole2021. 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 solo se publicará en las actas un breve resumen.

Las actas de PROLE 2021 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 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): https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming

INFORMACIÓN DE INTERÉS PARA LOS AUTORES

Dada la situación de incertidumbre en la que nos encontramos, el comité organizador del CEDI 20/21 ha decidido que el congreso tenga un carácter híbrido (presencial y online simultáneamente), tal y como se detalla en el documento Organización de CEDI 20/21.

Como característica importante del modelo de organización virtual-presencial de CEDI 20/21 hay que tener en cuenta lo siguiente:

  • Cada artículo aceptado para presentar en las Jornadas SISTEDES (JISBD, JCIS, PROLE) debe tener formalizada, al menos, la INSCRIPCIÓN ONLINE (125€) de uno de sus autores, y antes del 30 de junio de 2021.
  • Se recomienda a los socios de SISTEDES que vayan a asistir virtualmente a las Jornadas que realicen la inscripción OnLine (125€) pues, además de incluir el acceso a todas las sesiones, esta modalidad de inscripción incluye la cuota de socio de SISTEDES.
  • Información relativa a la preparación del vídeo para los autores:
    • Los autores de contribuciones aceptadas deberán grabar su presentación (máximo 10 minutos y 200MB).
    • Los autores recibirán un correo de la organización entre el 18 y 25 de Julio solicitando que cumplimenten su información personal, así como con un enlace para subir el vídeo de la presentación a la plataforma Whova. De las 3 alternativas ofrecidas por la plataforma para ello, los autores deberán elegir “Upload file from your local computer” o “Upload from a cloud URL (e.g. Google Drive, Dropbox, OneDrive)”.
    • Los vídeos y la información del ponente tienen que estar a disposición de la organización de las Jornadas SISTEDES antes del 10 de septiembre de 2021.
    • Los videos no podrán ser difundidos públicamente por otros canales hasta la finalización del CEDI.
  • El día de la ponencia, tras la difusión del vídeo con la presentación, el ponente deberá responder a las preguntas que se realicen, ya sea presencialmente o mediante videoconferencia.

COMITÉ ORGANIZADOR

  • Francisco Durán (Universidad de Málaga)

COMITÉ DE PROGRAMA

  • Presidente: Narciso Martí-Oliet (Universidad Complutense de Madrid)
  • 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)
  • 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)
  • María del Mar Gallardo (Universidad de Málaga)
  • Pascual Julián Iranzo (Universidad de Castilla-La Mancha)
  • Paqui Lucio (Euskal Herriko Unibertsitatea)
  • Alberto Lluch Lafuente (Technical University of Denmark)
  • Ginés Moreno (Universidad de Castilla-La Mancha)
  • Fernando Orejas (Universitat Politècnica de Catalunya)
  • Yolanda Ortega (Universidad Complutense de Madrid)
  • Francisco Ortín (Universidad de Oviedo)
  • Laura Panizo (Universidad de Málaga)
  • Ricardo Peña (Universidad Complutense de Madrid)
  • María José Ramírez (Universitat Politècnica de València)
  • Adrián Riesco (Universidad Complutense de Madrid)
  • Fernando Sáenz (Universidad Complutense de Madrid)
  • Cesar Sánchez (IMDEA Software)
  • Josep Silva (Universitat Politècnica de València)
  • Alicia Villanueva (Universitat Politècnica de València)

TRABAJOS ACEPTADOS

  • Alex Abuin, Alexander Bolotov, Montserrat Hermo y Paqui Lucio. One-pass Context-based Tableaux Systems for CTL and ECTL
  • Julián Alarte y Josep Silva. Page-Level Main Content Extraction from Heterogeneous Webpages
  • Jesus M. Almendros-Jimenez y Antonio Becerra-Teron. Declarative Debugging of SPARQL Queries
  • Jesus M. Almendros-Jimenez, Antonio Becerra-Teron, Gines Moreno y José Antonio Riaza Valverde. Flexible Aggregation in FSA-SPARQL
  • Damián Aparicio-Sánchez, Santiago Escobar, Raúl Gutiérrez y Julia Sapiña. An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA
  • Damián Aparicio-Sánchez, Santiago Escobar y Julia Sapiña. Variant-based Equational Unification under Constructor Symbols
  • Joaquin Arias y Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
  • Jorge Blázquez, Manuel Montenegro y Clara Segura. Verification of mutable data structures in Dafny: methodological aspects
  • Francisco Durán y Antonio Moreno-Delgado. First steps towards a specification of Blockchain systems using Maude
  • Francisco Durán, Alejandro Rodríguez, Adrian Rutle y Lars Michael Kristensen. Towards a Maude-based implementation of MultEcore multilevel modelling languages
  • Álvaro Fernández Díaz, Lars-Ake Fredlund, Clara Benac Earle y Julio Mariño. A Formal Semantics for Agent Distribution and Fault Tolerance in Jason
  • Lars-Ake Fredlund, Clara Benac Earle, Thomas Arts y Hans Svensson. Gaining Trust by Tracing Security Protocols
  • Carlos Galindo, Sergio Perez y Josep Silva. Object Variable Dependencies in Object-Oriented Programs
  • Carlos Galindo, Sergio Perez Rubio y Josep Silva. Conditional Control Dependence to Represent Catch Statements in the System Dependence Graph
  • Juan Francisco García, Daniel Jurjo, Fernando Macías, Jose F. Morales y Alessandra Gorla. An application of KLEE to aerospace industrial software
  • Montserrat Hermo, Paqui Lucio y Josu Oca. Using Model Checking in Requirement-based Test Generation for Reactive Systems
  • Pascual Julian-Iranzo, Gines Moreno y José Antonio Riaza Valverde. Seeking a Safe and Efficient Similarity-based Unfolding Rule
  • Pascual Julian-Iranzo y Fernando Saenz-Perez. A System implementing Fuzzy Hypothetical Datalog
  • Julio Mariño, Ignacio Ballesteros González y Luis Eduardo Bueso de Barrio. HaskCell: Experiments with Purely Functional Spreadsheets
  • Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá y Rubén Rubio. Verification of ROS Navigation using Maude
  • Ricardo Peña. Introducción a los algoritmos cuánticos (TUTORIAL)
  • Juan Pablo Royo Sales, Edelmira Pasarella, Cristina Zoltan anyd Maria Esther Vidal. Towards a Dynamic Pipeline Framework implemented in (parallel) Haskell