La duración de las exposiciones de los trabajos será de media hora, dividida en una presentación del trabajo, de entre 20 y 25 minutos, seguida de un turno de preguntas y discusión. En color rojo se muestran las personas que actuarán como ponentes.
Lunes, 5 de septiembre de 2022
-
– Sesión 1: 09:00 – 10:30: Lenguajes de programación lógica. Aula: Accenture II. Chair: Santiago Escobar.
- Pascual Julián-Iranzo and Fernando Saenz-Perez. Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
- José Antonio Riaza Valverde. Tau Prolog: A Prolog interpreter for the Web
- Joaquin Arias, Manuel Carro and Gopal Gupta. Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming (Abstract)
-
– Sesión 2: 15:00 – 16:30: Análisis de programas y depuración. Aula: Accenture II. Chair: Alicia Villanueva.
- Luis Eduardo Bueso de Barrio, Lars-Ake Fredlund, Angel Herranz, Clara Benac Earle and Julio Mariño. Makina: A New QuickCheck State Machine Library
- Carlos Galindo, Sergio Pérez and Josep Silva. The Expression Dependence Graph
- Carlos Galindo, Naoki Nishida, Josep Silva and Salvador Tamarit. Reversible CSP Computations
-
– Sesión 3: 17:00 – 18:30. Aplicaciones. Aula: Accenture II. Chair: Josep Silva.
- Francisco Luque-Schempp, Laura Panizo, Maria-Del-Mar Gallardo, Pedro Merino and Javier Rivas. Towards Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking
- Damian Aparicio Sanchez, Santiago Escobar, Catherine Meadows, Julia Sapiña and Jose Meseguer. Protocol Analysis with Time and Space
- Pascual Julián-Iranzo, Germán Rigau, Fernando Sáenz-Pérez and Pablo Velasco-Crespo. Conversion of the Spanish WordNet databases into a Prolog-readable format
Martes, 6 de septiembre de 2022
-
– Sesión 4: 09:00 – 10:30. Análisis de programas y verificación. Aula: Accenture II. Chair: Manuel Carro.
- Salvador Lucas. The origins of the halting problem
- Alex Abuin, Unai Díaz de Cerio, Montserrat Hermo and Paqui Lucio. Verified Model Checking for Conjunctive Positive Logic
- Andoni Rodriguez and Cesar Sanchez. A SAT-based Efficient Method for the Synthesis from numerical LTL spefications (Work in Progress)
-
– Sesión 5: 12:30 – 13:30. Reescritura de términos y Narrowing. Aula: Accenture II. Chair: Pascual Julián Iranzo.
- Raúl López Rueda, Santiago Escobar and Jose Meseguer. An Efficient Canonical Narrowing Implementation for Protocol Analysis
- Salvador Lucas. A characterization of local confluence of conditional term rewriting systems
Miércoles, 7 de septiembre de 2022
-
– Sesión 6: 09:00 – 10:30. Lenguajes de consulta de bases de datos Web y bases de datos gráficas. Aula: Accenture II. Chair: Laura Panizo.
- Elvira Pino, Fernando Orejas, Nicos Mylonakis and Edelmira Pasarella. Towards a Logical Approach to Graph Databases
- Edelmira Pasarella. How can graph databases and reasoning be combined and integrated?
- Jesus M. Almendros-Jimenez, Antonio Becerra-Teron and Gines Moreno. Introducing Fuzzy Quantifiers in FSA-SPARQL
-
– Asamblea PROLE 2022: 12:30 – 13:30