Activities of Raúl López Rueda

2024

  • Research stay as a PhD student at the Japan Advanced Institute of Science and Technology (JAIST). Nomi, Japan (April 8 - July 6, 2024). Supervisor: Professor Kazuhiro Ogata. https://www.jaist.ac.jp/english/

2023

  • Presentation of the article "Symbolic analysis by using folding narrowing with irreducibility and SMT constraints" at the 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2023). Cascais, Portugal (October 22, 2023). Association for Computing Machinery. https://2023.splashcon.org/home/ftscs-2023
  • Presentation of the article "Canonical Narrowing for Variant-Based Conditional Rewrite Theories" at the XXII Jornadas de PROgramación y LEnguajes (PROLE 2023). Ciudad Real, Spain (September 12 - September 14, 2023). Universidad de Castilla-La Mancha. https://sistedes2023.uclm.es/MPROLE.php
  • 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 (June 21 - June 23, 2023). Afundación de Vigo. https://2023.jnic.es/

2022

  • Summer school assistant at the 13th International School on Rewriting (ISR 2022). Tbilisi, Georgia (September 19 - September 24, 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 XXI Jornadas de PROgramación y LEnguajes (PROLE 2022). Santiago de Compostela, Spain (September 5 - September 7, 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 (April 2 - April 3, 2022). Technical University of Munich. https://easychair.org/cfp/WRLA2022

2021

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