Events

Program committee member

CAINE	2005, 18th International Conference on Computer Applications in Industry and Engineering
CODS	2007, International Conference on Complex Open Distributed Systems
FACS	2011, 2010, 2009, 2007, 2006, 2005, International Workshop on Formal Aspects of Component Software
ICTAC	2011, 2010, International Colloquium on Theoretical Aspects of Computing
LSFA	2010, 2009, 2007, 2006 (co-chair), Workshop on Logical and Semantic Frameworks, with Applications
MDA	2009, Model-Driven Architecture: Foundations, Practices and Implications (MDA)
SEDE	2009, International Conference on Software Engineering and Data Engineering
SeTra	2006, 3rd Workshop on Software Evolution through Transformations
SBLP	2011 (co-chair), 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, Brazilian Symposium on Programming Languages (Simpósio Brasileiro de Linguagens de Programação)
SIMULTECH	2011, International Conference on Simulation and Modeling Methodologies, Technologies and Applications
WFLP	2009, Workshop on Functional and Logic Programming

SBLP	2012, 2011, 2005, 2004, Brazilian Symposium on Programming Languages (Simpósio Brasileiro de Linguagens de Programação)

AMAST	2008, Algebraic Methodology and Software Technology
IGPL	2008, Logic Journal of the IGPL (Special Issue with selected papers from LSFA'08)
JSS	2009, Journal of Systems and Software
SOS	2005, 2nd International Workshop on Structural Operational Semantics
SBRC	2003, 21st Brazilian Symposium on Computer Networks
TCS	2003 (vol. 3), Theoretical Computer Science