CONFERENCES:
▪ 11th
Brazilian Symposium on Programming Languages, Natal, Rio Grande Do norte, Brazil, 2007. (Program Committee)
▪ 10th
Brazilian Symposium on Formal Methods, Ouro Preto, MG, Brazil, 2007. (Chair)
▪ 10th Brazilian Symposium on
Programming Languages, Itatiaia, RJ, Brazil,
2006. (Program Committee)
▪ 9th Brazilian Symposium on
Programming Languages, Recife,
PE, Brazil,
2005. (Program Committee)
▪ 8th Brazilian Symposium on
Programming Languages, Niteroi, RJ, Brazil,
2004. (Program Committee)
▪ WoLLIC’2003 –
10th International Symposium on Logic, Language, Information and
Computation, Ouro Preto,
MG, Brazil,
2003. (Organizing Committee)
▪ 7th Brazilian Symposium on
Programming Languages, Ouro Preto, MG, Brazil, 2003. (Chair)
▪ 6th Brazilian Symposium on Programming
Languages, Rio de Janeiro, RJ, Brazil,
2002. (Program Committee)
▪ 5th Brazilian Symposium on Programming
Languages, Curitiba, PR, Brazil,
2001. (Program Committee)
