33rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems
(tba)
2027
12th International Conference on eDemocracy & eGovernment.
University of Lisbon - ISCSP, Portugal, 8 - 10 July 2026.
2026
21th International Conference on Theory and Practice of Electronic Governance, 28 Sep - 1O Oct, 2026
Riyadh,Saudi Arabia
2026
2025 IEEE International Conference on Quantum Software
Helsinki, Finland
2025
28th Brazilian Symposium on Formal Methods, 3-5 December, 2025
Recife, Brazil
2025
2nd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications, November, 2025
Toledo, Spain
2025
The 6th Workshop on Dynamic Logic - New Trends and Applications, 20-21 October, 2025
Xian, China
2025
26th International Symposium on Formal Methods
Milan, Italy.
2024
21st edition of International Colloqium on Theoretical Aspects of Computing, 25-29 November, 2024
Bangkok, Thailand
2024
I am currently
- serving in the Editorial Board of the Journal of Logical and Algebraic Methods in Computer Science, Elsevier.
- chairind the Steering Committee of FACS (International Conference on Formal Aspects of Component Software)
- and DaLi (Dynamic Logic: new trends and applications) conference series.
- I am also a member of the Steering Committee of ICEGOV (International Conference on Theory and Practice of Electronic Governance) conference series.