Submit to:

  • ASSE 2024: Simposio Argentino de Ingeniería de Software
  • QEST+FORMATS 2024: Intl.Conf. on Quantitative Evaluation of SysTems & Formal Modeling a...
  • CONCUR 2024: 35th International Conference on Concurrency Theory
  • FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical...

Attend to:

  • RIO 2024: 29º Escuela de Verano de Ciencias Informáticas
  • CONFEST 2024: CONFEST is an umbrella event including CONCUR, QEST+FORMATS, and Worksho...

Latest notes

In this occasion I talked about "Optimal Route Synthesis in Space DTN using Markov Decision Processes"
I gave a 3 hours mini-course on "Probabilistic Model Checking"
Technical presentation at EXPRESS/SOS 2023, CONFEST 2023, Antwerp, Belgium
Charla dictada en el marco del Mes de la Ciencia de 2022 en la FAMAF