Ongoing
PC member of OpenCert 2013 - 7th International Workshop on Foundations and Techniques for Open Source Software Certification
Past Events
OC member of DCFS 2012 - 14th International Workshop on Descriptional Complexity of Formal Systems
PC member of OpenCert 2010 - 4th International Workshop on Foundations and Techniques for Open Source Software Certification
OC member of ICPC 2010 - 18th IEEE International Conference on Program Comprehension
OC member of JOIN 2008 - Jornadas de Informática 2008
OC member of GTTSE 2005 - Generative and Transformational Techniques in Software Engineering
OC member of APPSEM 2000 - International Summer School on Applied Semantics
OC member of AFP 1998 - 3rd International Summer School on Advanced Functional Programming