Programa PROLE

– Sesión 1: 09.00 – 10.30: Knowledge discovery / Symbolic computation. Aula: 2.0.2A. Chair: Francisco Durán
- Julián Alarte y Josep Silva. Page-Level Main Content Extraction from Heterogeneous Webpages
- Damián Aparicio-Sánchez, Santiago Escobar y Julia Sapiña. Variant-based Equational Unification under Constructor Symbols
- 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
– Sesión 2: 10.30 – 11.30: Query languages. Aula 2.0.2.A. Chair: Pascual Julián Iranzo
- 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
– Sesión 3: 12.00 – 13.30: Specification and implementation. Aula 2.0.2.A. Chair: Santiago Escobar
- 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
- Joaquin Arias y Manuel Carro. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

– Sesión 4: 09.00 – 10.00: Quantum computing. Aula: 2.0.2A. Chair: Narciso Martí Oliet
- Ricardo Peña. Introducción a los algoritmos cuánticos (Tutorial)
– Sesión 5: 10.00 – 11.30: Testing. Aula: 2.0.2A. Chair: Alicia Villanueva
- 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
- Lars-Ake Fredlund, Clara Benac Earle, Thomas Arts y Hans Svensson. Gaining Trust by Tracing Security Protocols
– Sesión 6: 12.00 – 13.30: Fuzzy logic programming / Verification. Aula: 2.0.2A. Chair: Manuel Carro
- 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
- Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco, Juan Rodríguez-Hortalá y Rubén Rubio. Verification of ROS Navigation using Maude

– Sesión 7: 09.00 – 10.00: Verification / Temporal logics. Aula: 2.0.2A. Chair: Clara Benac
- Jorge Blázquez, Manuel Montenegro y Clara Segura. Verification of mutable data structures in Dafny: methodological aspects
- Alex Abuin, Alexander Bolotov, Montserrat Hermo y Paqui Lucio. One-pass Context-based Tableaux Systems for CTL and ECTL
– Sesión 8: 10.00 – 11.30: Functional programming / Semantics. Aula: 2.0.2A. Chair: Ricardo Peña
- Julio Mariño, Ignacio Ballesteros González y Luis Eduardo Bueso de Barrio. HaskCell: Experiments with Purely Functional Spreadsheets
- Juan Pablo Royo Sales, Edelmira Pasarella, Cristina Zoltan y Maria Esther Vidal. Towards a Dynamic Pipeline Framework implemented in (parallel) Haskell
- Á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
– Sesión 9: 12.00 – 13.30: Program slicing. Aula: 2.0.2A. Chair: Paqui Lucio
- Carlos Galindo, Sergio Perez Rubio 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
- Reunión de participantes en PROLE 2021