Editor

[2022] Gustavo Carvalho and Volker Stolz
Science of Computer Programming – Special Issue
Selected papers from the 23rd Brazilian Symposium on Formal Methods
[2020] Gustavo Carvalho and Volker Stolz
Formal Methods: Foundations and Applications (LNCS, volume 12475)
Proceedings of the 23rd Brazilian Symposium on Formal Method

PC chair

[2020] Gustavo Carvalho and Volker Stolz
XXIII Brazilian Symposium on Formal Methods

Reviewer (journals)
1. ACM Formal Aspects of Computing
2. IEEE Transactions on Software Engineering
3. Information and Software Technology
4. Journal of Computer Science and Technology
5. Robotics and Autonomous Systems
6. Science of Computer Programming
7. Software: Practice and Experience
8. Software and Systems Modeling

Reviewer (conferences)
1. [2023] Int. Conference on Formal Methods in Software Engineering
  (Artifact Evaluation Committee)
2. [2022] Brazilian Symposium on Formal Methods
  (PC member)
3. [2021] Brazilian Symposium on Formal Methods
  (PC member)
4. [2020] Brazilian Symposium on Formal Methods
  (PC member)
5. [2020] IEEE International Conference on Consumer Electronics
  (External reviewer)
6. [2019] Brazilian Symposium on Formal Methods
  (PC member)
7. [2019] International Symposium on Formal Methods
  (External reviewer)
8. [2019] Int. Symposium on Theoretical Aspects of Software Engineering
  (External reviewer)
9. [2018] International Symposium on Formal Methods
  (External reviewer)
10. [2017] Int. Conference on Software Engineering and Formal Methods
  (External reviewer)
11. [2016] International Symposium on Formal Methods
  (External reviewer)
12. [2015] Brazilian Symposium on Software Engineering
  (External reviewer)
13. [2014] International Colloquium on Theoretical Aspects of Computing
  (External reviewer)
14. [2014] International Symposium on Formal Methods
  (External reviewer)
15. [2013] Int. Conference on Software Engineering and Formal Methods
  (External reviewer)
16. [2011] Brazilian Symposium on Software Engineering
  (External reviewer)