Lunes 17 de junio
–
Sesión 1: Aprendizaje automático. 09:15-10:15. Aula A.3.3. Chair: Cesar Sánchez
- Julián Alarte, Carlos Galindo and Josep Silva – Extracción de comentarios de tiendas en línea
- Rafael López Gómez, Laura Panizo Jaime and María del Mar Gallardo Melgarejo – LearnTA: Generación automática de autómatas temporizados mediante el aprendizaje de trazas
–
Sesión 2: Programación difusa. 10.30-12:00. Aula A.3.3. Chair: Pascual Julián-Iranzo
- Jesus M. Almendros-Jimenez and Antonio Becerra-Teron – Binary Classification from Interval Constraint Learning
- Gregorio Díaz, Hermenegilda Macia, Enrique Brazález, Juan Boubeta-Puig, M.Carmen Ruiz and Valentin Valero – An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic
- Pablo Domingo, Hermenegilda Macià Soler, Gines Moreno and José Antonio Riaza Valverde – FIKCUS: un sistema de inferencia difuso para el control de la calidad del aire en interiores
–
Sesión 3: Programación lógica. 16:00-17:30. Aula A.3.3. Chair: Fernando Orejas
- Salvador Lucas – Local confluence of conditional and generalized term rewriting systems
- Marco Gavanelli, Pascual Julián-Iranzo and Fernando Saenz-Perez – An Operational Semantics for an Efficient Abductive Logic Programming System
- Luciana Fidilio-Allende and Joaquín Arias – fCASP : A forgetting technique for XAI based on goal-directed constraint ASP models
–
Sesión 4: Formalización. 18:00-19:00. Aula A.3.3. Chair: Salvador Lucas
- Víctor García, Santiago Escobar and Kazuhiro Ogata – Formal specification of the post-quantum signature scheme FALCON in Maude
- Delia Rico, María-del-Mar Gallardo and Pedro Merino – Verification of a multi-connectivity protocol for Tactile Internet applications
Martes 18 de junio
–
Sesión 5: Semántica y resolución. 09:15-10:15. Aula A.3.3. Chair: Santiago Escobar
- Fernando Orejas and Elvira Pino – The Semantics of GQL-like Path Queries
- Maria Luisa Bonet, Jordi Levy and Felip Maña – Resolution for MaxSAT
–
Sesión 6: Supervisión y pruebas. 10:30-12:00. Aula A.3.3. Chair: Laura Panizo Jaime
- Margarita Capretto, Martin Ceresa and Cesar Sanchez – Monitoring the Future of Smart Contracts
- Ignacio Ballesteros, Clara Benac Earle, Julio Mariño, Lars-Ake Fredlund and Ángel Herranz – Property-based Testing usando GPU
- Luis Eduardo Bueso de Barrio, Lars-Ake Fredlund, Clara Benac Earle, Ángel Herranz and Julio Mariño – Generation and Refinement of Testing Models
–
Sesión 7: Verificación y depuración. 12:30-14:00. Aula A.3.3. Chair: Clara Benac Earle
- Jesus M. Almendros-Jimenez and Antonio Becerra-Teron – Rule and Constraint based Debugging of DBpedia Queries
- Pablo Parra, Martín Ceresa, Elsa Moreno, Óscar Rodríguez Polo and César Sánchez – A Domain-Specific Language for Real-Time Critical Systems
- Elena Gómez-Martínez and Jose Ignacio Requeno – Runtime Verification of Timed Petri Net Product Lines
–
Sesión 8: Lógica Temporal Lineal. 16:00-17:30. Aula A.3.3. Chair: Carlos Galindo
- Montserrat Hermo, Paqui Lucio and César Sánchez – Tableaux for Realizability of Safety Specifications
- Andoni Rodriguez and César Sánchez – Unconditional Unrealizability Detection in Reactive Systems Modulo Theories
- Josu Oca and Montserrat Hermo – IndVarLTL: A tool which identifies independent variables in LTL expressions
–
Sesión 9: Asamblea PROLE. 18:00-19:00. Aula A.3.3
Miércoles 19 de junio
- 09:30 – Día CEDI – Keynote. Auditorio Gaviota
- 12:00 – Keynote – Premios SCIE-ZONTA-SNGULAR y actividad asociada. Auditorio Gaviota
- 15:30 – Asamblea SCIE. Auditorio Gaviota
- 16:30 – Asamblea SISTEDES. Auditorio Arao