Organization of Scientific Events


  • VI Congreso Español de Informática (CEDI 20/21)

  • XXV International Symposium on Model Checking of Software (SPIN 2018). Málaga, Spain 20 - 22 June 2018

  • XXIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD2015). Málaga, Spain 10 - 12 June 2015

  • VI Jornadas de Ingeniería Telemática (JITEL 2007). Málaga, Spain 17 - 19 September 2007

  • XV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2007). Torremolinos, Málaga, Spain 6 - 8 Jun 2007

  • II Conference on Science and Technology (JICT 2007). Málaga 21 - 22 March and Tanger 23 March 2007


Program Comittee


  • XXIII Jornadas de Programación y Lenguajes (PROLE 2024). Coruña, Spain 17-19 June 2024.

  • XXII Jornadas de Programación y Lenguajes (PROLE 2023) (Program Chair). Ciudad Real, Spain 12-14 September 2023. Biblioteca Digital

  • XXI Jornadas de Programación y Lenguajes (PROLE 2022). Santiago de Compostela, Spain 5-7 September 2022. Biblioteca Digital

  • XXXII International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022). Tbilisi, Georgia 2022.

  • XX Jornadas de Programación y Lenguajes (PROLE 2021). Málaga, Spain 22-24 September 2021. Biblioteca Digital

  • XIII Nasa Formal Methods Symposium (NFM 2021). Virtual 24-28 May 2021.

  • XVII Jornadas de Programación y Lenguajes (PROLE 2017). La Laguna, Tenerife, Spain 19-21 July 2017. Biblioteca Digital

Scienfitic Societies

  • SCCD: Sociedad de Computación Concurrente y Distribuida web

  • SISTEDES: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo Software web

  • PROLE Steering Committee: Jornadas de Programación y Lenguajes (dentro de SISTEDES) web


Copyrght (c) 2022 Laura Panizo. Licensed under Apache 2.0