PROLE

Programa científico

Volver a horario SISTEDES

Martes 16 de junio · PROLE 2026

Hora Sesión
09:00-10:30 Sesión 1: Métodos lógicos para la verificación de programas

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach
Marcos Grandury, Aleksandar Nanevski y Alexander Gryzlov

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
Marco Ciccalè, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García y Manuel V. Hermenegildo

DM-Check: Verifying invariants of concurrent systems by deductive model checking
Kyungmin Bae, Santiago Escobar, Raúl López Rueda, José Meseguer y Julia Sapiña

15:00-16:30 Sesión 2: Grafos y bases de datos

Debugging Empty Answers in Graph Queries
Jesús M. Almendros-Jiménez

Guarded Path Patterns for Semantic-Aware Traversal in Graph Query Languages
Edelmira Pasarella, Elvira Pino y José Durán-Foix

Métodos de alineación y relevancia de las palabras en la WordNet española
Pascual Julián-Iranzo y Fernando Sáenz-Pérez

17:00-18:00 Sesión 3: Técnicas formales aplicadas a sistemas y redes

Towards low-latency model-based trace-checking in Maude
Adrián Riesco y Juan Rodriguez-Hortala

Automata Learning with Probability Distributions for Network Traffic Analysis
Rafael López, Delia Rico, Laura Panizo y María del Mar Gallardo

Miércoles 17 de junio · PROLE 2026

Hora Sesión
09:00-10:30 Sesión 4: Transformación, optimización y análisis de programas

Completion to Strongly Confluent Term Rewriting Systems
Salvador Lucas y Julia Pagan

Improving generated programs using large language models
Rubén Rubio, Beatriz Alcaide García y Adrian Riesco

Widening the Scope of Similarity-based Unfolding
Ginés Moreno y José A. Riaza Valverde

15:00-16:30 Sesión 5: Concurrencia y verificación formal

Efficient Construction of Reachability Graphs for Petri Net Product Lines
Elena Gómez-Martínez y José Ignacio Requeno

Future Monitors in Optimistic Rollups
Margarita Capretto, Martin Ceresa y César Sánchez

Maximum Realizability for LTL Modulo Theories
Andoni Rodríguez y César Sánchez

Jueves 18 de junio · PROLE 2026

Hora Sesión
09:00-10:30 Sesión 6: Búsqueda, tipos y sistemas Prolog

Multi-Configurable Search Rules in Prolog and Application to Testing
Daniela Ferreiro, José Francisco Morales, Pedro López-García y Manuel Hermenegildo

MaudeTypedLog: A Typed Interpreter for Prolog in Maude
Enrique Gallifa-Tronch, João Barbosa y Santiago Escobar

Demonstrating the Ciao Prolog Playground
Marco Ciccalè, Daniela Ferreiro, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García y Manuel V. Hermenegildo

15:45-17:15 Sesión 7: Fundamentos lógicos y semánticos

Maude Specifications as Equational Generalized Term Rewriting Systems: Functional Modules
Salvador Lucas

Números topológicos en programas concurrentes para no viajar en el tiempo
Jonathan Andrade-Burgos, Carlos Galindo y Josep Silva

Should computations halt?
Salvador Lucas

Contacto

sistedes26@dlsi.ua.es

Síguenos en X

@JornadasSistedes

Universidad de Alicante | Lucentia Research Group

Web diseñada por Marina Maciá