service | Deivid Vale

PC Member for the 20th International Symposium on Logical and Semantic Frameworks, with Applications
- (LSFA 2025)
- (LSFA 2024)
PC Member for the 19th International Workshop on Termination, (WST 2023)
Member of the Ph.D. Concil at the Institute for Programming research and Algorithmics (IPA), 2019 — 2023

External Review for Journal of logical and algebraic methods in programming, 2025

External Reviewer for the International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
External Reviewer for the 17th International Conference on Reversible Computation (RC2025)
External Reviewer for the 41st Conference on Mathematical Foundations of Programming Semantics (MFPS 2025)
External Reviewer for 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2024)
External Reviewer for the 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2022)
External Reviewer for the International Conference on Formal Structures for Computation and Deduction (FSCD 2020)