Submit to:

  • JLAMP Special Issue: Open Problems in Concurrency Theory
  • QEST 2018: 15th International Conference on Quantitative Evaluation of SysTems
  • QAPL 2018: 16th International Workshop on Quantitative Aspects of Programming Langu...
  • CONCUR 2018: 29th International Conference on Concurrency Theory
  • JLAMP: Journal of Logic and Algebraic Methods in Programming

Latest notes

El 3 de diciembre estuve invitado a dar una charla en el 11º ERPEM
El 18-Nov-2015 fue mi turno de dictar esta conferencia anual que conmemora la creación del IMAF, precursor de la FaMAF
Charla en FACAS 2015 sobre las variantes en los postdocs y las posibles ventajas que lleva hacerlo.
Powered by Drupal