services

Journals


Theoretical Computer Science (2011-2012) - Co-editor of Special Issue "International Colloquium on Theoretical Aspects of Computing", Volume 255, October 2012.  (j.w.w. Ana Cavalcanti).

Software and Systems Modeling (2012) - Reviewer

Software Tools for Technology Transfer (2011) - Reviewer

Events


2nd Internal Workshop about Sets and Tools (SETS 2015) - Member of the Program Committee

34ª Jornadas de Atualização em Informática (JAI 2015) - Member of the Program Committee

1st International Workshop about Sets and Tools (SETS 2014) - Member of the Program Committee

12th International Conference on Software Engineering and Formal Methods (SEFM 2014) - Reviewer

17th Brazilian Symposium on Formal Methods (SBMF 2014) - Member of the Program Committee

The 11th International Conference on Integrated Formal Methods (iFM 2014) - Member of the Program Committee

11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014) - Member of the Program Committee

4th International ABZ 2014 Conference (ABZ 2014) - Member of the Program Committee

IV Brazilian Congress on Software: Theory and Practice (CBSoft 2013) - Tools Session - Member of the Program Committee

Latin American Workshop on Formal Methods (LAFM 2013) - Member of the Program Committee

16th Brazilian Symposium on Formal Methods (CBSoft 2013) - Member of the Program Committee

10th Internal Colloquium on Theoretical Aspects of Computing (ICTAC 2013) - Member of the Program Committee.

III Brazilian Congress on Software: Theory and Practice (CBSoft 2012) - Tools Session (Demos) - Member of the Program Committee

15th Brazilian Symposium on Formal Methods (SBMF 2012) - Local organizer & Member of the Program Committee

ABZ Conference (ABZ 2012) - Member of the Program Committee

14th Brazilian Symposium on Formal Methods (SBMF 2011) - Member of the Program Committee

II Brazilian Congress on Software: Theory and Practice (CBSoft 2011) - Tools Session (Demos) - Member of the Program Committee

8th International Colloquium on Theoretical Aspects of Computing (ICTAC 2011) - Member of the Program Committee

II Brazilian Congress on Software: Theory and Practice (CBSoft 2011) - Workshops - Member of the Selection Committee

Administrative

Program of Graduate Studies in Systems and Computing (UFRN/PPgSC) - Head  (from July 2012 til June 2013)

Program of Graduate Studies in Systems and Computing (UFRN/PPgSC) - Vice-Head  (from July 2010 to June 2012 )

Miscellaneous

Call for projects MEC/CAPES PROBRAL 2013. Ad hoc reviewer.

Call for projects MCTI/CNPq nº 14/2012. Ad hoc reviewer.

Lecturer in "Concepts and Techniques of Programming - Basic Algorithms and Data Structures 1" for the Digital Metropole Institute. Head of the selection committee (August 6th - 10th, 2012).

Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico (FUNCAP) - Member of Consulting Committee (June 28-29 2012)


Previous services will be registered later.
Comments