Submit to:

  • EXPRESS/SOS 2017: Combined 24rd International Workshop on Expressiveness in Concurrency an...
  • JLAMP: Journal of Logic and Algebraic Methods in Programming

Attend to:

  • FORTE 2017: 37th IFIP WG 6.1 International Conference on Formal Techniques for Distr...
  • SYNT 2017: 6th Workshop on Synthesis
  • CONCUR 2017: 28th International Conference on Concurrency Theory
  • QEST 2017: 14th International Conference on Quantitative Evaluation of SysTems

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