Activities of Raúl López Rueda

2023

Presentation of the article Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method at the VIII Jornadas Nacionales de Investigación en Ciberseguridad (JNIC 2023). Vigo, Spain (21/06/2023 - 23/06/2023). Sede Afundación de Vigo. https://2023.jnic.es/

Summer school assistant at 13th International School on Rewriting (ISR 2022). Tbilisi, Georgia (19/09/2022 - 24/09/2022). Ivane Javakhishvili Tbilisi State University. http://viam.science.tsu.ge/clas2022/isr
Presentation of the article An Efficient Canonical Narrowing Implementation for Protocol Analysis at the PROgramación y Lenguajes (PROLE 2022). Santiago de Compostela, Spain (05/09/2022 - 07/09/2022). COGRADE-CITIUS, Universidad de Santiago de Compostela. https://sistedes2022.spilab.es/prole
Presentation of the article An Efficient Canonical Narrowing Implementation for Protocol Analysis at the 14th International Workshop on Rewriting Logic and its Applications (WRLA 2022). Munich, Germany (02/04/2022 - 03/04/2022). Technical University of Munich. https://easychair.org/cfp/WRLA2022

Volunteer collaborator in VI Congreso Español de Informática (CEDI 2021). Malaga, Spain (22/09/2021 - 24/09/2021). Universidad de Málaga. https://sistedes2021.spilab.es
Summer school assistant at 12th International School on Rewriting (ISR 2021). Madrid, Spain (05/07/2021 - 16/07/2021). Universidad Complutense de Madrid. https://dalila.sip.ucm.es/isr2021