Submit to:

  • JLAMP: Journal of Logic and Algebraic Methods in Programming

Attend to:

  • EXPRESS/SOS 2016: Combined 23rd International Workshop on Expressiveness in Concurrency an...
  • QEST 2016: 13th International Conference on Quantitative Evaluation of SysTems
  • ASSE 2016: Argentine Symposium on Software Engineering
  • FSTTCS 2016: Foundations of Software Technology and Theoretical Computer Science, 36t...
  • SOFSEM 2017: 43nd International Conference on Current Trends in Theory and Practice o...

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.
Mi nueva página anda ahora sobre Drupal / My new home page is now powered by Drupal
Powered by Drupal