Submit to:

  • QEST 2022: 19th International Conference on Quantitative Evaluation of SysTems
  • CONCUR 2022: 33rd International Conference on Concurrency Theory

Attend to:

  • FACAS 2022: 9no Taller Argentino de Fundamentos para el Análisis y la Construcción A...
  • TACAS 2022: 28th International Conference on Tools and Algorithms for the Constructi...
  • Confest 2022: Joint event including CONCUR, FMICS, FORMATS, and QEST
  • TRENDS 2022: 11th IFIP WG 1.8 Workshop on Trends in Concurrency Theory

Latest notes

Technical talk presented in the Workshop MISSION @ INVAP
This are the slides of the introductory talk to the Workshop of MISSION@INVAP
Presentación en las reuniones regulares entre UNC, INVAP y otros participantes dentro del ámbito del proyecto MISSION
Presentation at the Dependable Systems and Software Group, Saarland University