Raúl López Rueda - Activities

Activities

Presentation of "Folding Narrowing for the Analysis of Mutual Exclusion Protocols".
In The 27th International Symposium on Principles and Practice of Declarative Programming (PPDP 2025), Rende, Italy.
Details: Università della Calabria, September 10 - September 11, 2025.
Presentation of "Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints".
In Meeting between IMT School for Advanced Studies Lucca and ELP, Valencia, Spain.
Details: March 2025.
Research Stay as a PhD Student.
At Japan Advanced Institute of Science and Technology (JAIST), Nomi, Japan.
Details: Supervised by Professor Kazuhiro Ogata, January 13 - February 12, 2025.

Research Stay as a PhD Student.
At Japan Advanced Institute of Science and Technology (JAIST), Nomi, Japan.
Details: Supervised by Professor Kazuhiro Ogata, April 8 - July 6, 2024.

Presentation of "Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints".
In 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023), Cascais, Portugal.
Details: October 22, 2023.
Presentation of "Canonical Narrowing for Variant-Based Conditional Rewrite Theories".
In XXII Jornadas de PROgramación y LEnguajes (PROLE 2023), Ciudad Real, Spain.
Details: Universidad de Castilla-La Mancha, September 12 - September 14, 2023.
Presentation of "Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method".
In VIII Jornadas Nacionales de Investigación en Ciberseguridad (JNIC 2023), Vigo, Spain.
Details: Sede Afundación Vigo, June 21 - June 23, 2023.

Summer School Assistant.
At 13th International School on Rewriting (ISR 2022), Tbilisi, Georgia.
Details: Ivane Javakhishvili Tbilisi State University, September 19 - September 24, 2022.
Presentation of "An Efficient Canonical Narrowing Implementation for Protocol Analysis".
In XXI Jornadas de Programación y Lenguajes (PROLE 2022), Santiago de Compostela, Spain.
Details: Universidad de Santiago de Compostela, September 5 - September 7, 2022.
Presentation of "An Efficient Canonical Narrowing Implementation for Protocol Analysis".
In 14th International Workshop on Rewriting Logic and its Applications (WRLA 2022), Munich, Germany.
Details: Technical University of Munich, April 2 - April 3, 2022.