Sesión 1: 09:00 – 10:30: Fuzzy. Aula A2.1 – George Boole. Chair: Santiago Escobar.
Pascual Julián Iranzo and Fernando Sáenz-Pérez Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language.
Jesus M. Almendros-Jimenez, Antonio Becerra-Teron and Gines Moreno Fuzzy Retrieval of Linked Open Data
Ginés Moreno and José Antonio Riaza Valverde On the Safe Execution of Symbolic Similarity-based Fuzzy Logic Programs
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle and Lars-Ake Fredlund Executable Contracts for Elixir
Martin Ceresa and Cesar Sanchez Nostralangus: Prophecy-based programming
Carlos Galindo, Sergio Pérez and Josep Silva Indecidibilidad del análisis de dependencias de datos (trabajo en curso)
Fernando Orejas Problemas de confluencia en transformación de grafos: de los pares críticos a los conflictos iniciales. -Tutorial-
Sesión 4: 09:00 – 10:30: Temporal Logic. Aula A2.1 – George Boole. Chair: Alicia Villanueva.
Laura Panizo and María del Mar Gallardo xeLTL: Extending eLTL with variables
Noel Arteche and Montserrat Hermo An Open Problem on the Complexity of Realizability for Safety LTL and Related Subfragments (Work in progress)
Ander Alonso, Montserrat Hermo and Josu Oca Towards an Efficient Implementation of Tableaux for Reactive Safety Specifications
Salvador Lucas, Miguel Vítores and Raúl Gutiérrez Proving and disproving confluence of context-sensitive rewriting
Salvador Lucas Confluence of Conditional Rewriting Modulo (work in progress)
Francisco Durán, Nicolás Pozas García, Carlos Ramírez and Camilo Rocha Towards a Rewriting-Logic Semantics of P
Rubén Rubio, Narciso Marti-Oliet, Isabel Pita and Alberto Verdejo QMaude: quantitative specification and verification in rewriting logic
Raúl López Rueda and Santiago Escobar Canonical Narrowing for Variant-Based Conditional Rewrite Theories
Sesión 8: 09:00 – 10:30: Analysis. Aula A2.1 – George Boole. Chair: Francisco Durán.
Ignacio Ballesteros, Clara Benac-Earle, Lars-Ake Fredlud, Ángel Herranz and Julio Mariño Work in Progress: Generation of Algebraic Data Types using Evolutionary Algorithms
Andoni Rodriguez and César Sánchez On-the-fly reactive synthesis modulo theories (Work in progress)
Carlos Galindo, Sergio Pérez and Josep Silva Grafos para fragmentación de programas sensible a los campos que mejoran al usarlos (trabajo en progreso)
Joaquín Arias and Manuel Carro Building Information Modeling Using Constraint Logic Programming
Víctor García, Santiago Escobar and Kazuhiro Ogata Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude
