Services
This page only contains professional services since 2012.
2016
5th International ABZ 2014 Conference (ABZ 2016) - Case Study Track;
Member of Program Committee.
5th International ABZ 2014 Conference (ABZ 2016);
Member of Program Committee.
12th International Conference on Uncertainty Modelling in Knowledgre Engineering and Decision Making (FLINS 2016);
Reviewer.
2015
CAPES Thesis Award - Computer Science;
Selection Committee.
Congresso Brasileiro de Software: Teoria e Prática (Tools Session);
Member of the Program Committee.
34ª Jornadas de Atualização em Informática ;
Member of the Program Committee.
18th Brazilian Symposium on Formal Methods (SBMF 2015);
Member of the Program Committee.
Science of Computer Programming;
Reviewer.
2nd International Workshop about Sets and Tools (SETS 2015);
Member of the Program Committee.
10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015);
Co-organizer.
V Workshop de Teses e Dissertações do CBSoft;
Member of the Program Committee.
2014
4th International ABZ 2014 Conference (ABZ 2014);
Member of Program Committee.
11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014);
Member of the Program Committee.
11th International Conference on Integrated Formal Methods;
Member of the Program Committee.
17th Brazilian Symposium on Formal Methods (SBMF 2014);
Member of the Program Committee.
12th International Conference on Software Engineering and Formal Methods (SEFM 2014);
Reviewer.
1st International Workshop about Sets and Tools (SETS 2014);
Member of the Program Committee.
9th International Satisfiability Modulo Theories Competition (SMT-COMP 2014);
Co-organizer.
6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014);
Reviewer.
2013
IV Congresso Brasileiro de Software: Teoria e Prática (Tools Session);
Member of the Program Committee.
10th Internal Colloquium on Theoretical Aspects of Computing (ICTAC 2013);
Member of the Program Committee.
Latin American Workshop on Formal Methods (LAFM 2013);
Member of the Program Committee.
16th Brazilian Symposium on Formal Methods (SBMF 2013);
Member of the Program Committee.
Science of Computer Programming;
Reviewer.
2012
ABZ Conference (ABZ 2012);
Member of Program Committee.
III Congresso Brasileiro de Software: Teoria e Prática (Tools Session);
Member of the Program Committee.
15th Brazilian Symposium on Formal Methods (SBMF 2012);
Local organizer.
15th Brazilian Symposium on Formal Methods (SBMF 2012);
Member of the Program Committee.
Theoretical Computer Science;
Special issue co-editor.