Reviews & Organized Workshops
Below you can find a chronological list of all workshops I organized.
Moreover, I was reviewer for the following conferences and journals.
16th International Symposium on Frontiers of Combining Systems (FroCoS 2025)
30th International Conference on Automated Deduction (CADE 2025)
24th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2024)
Principles of Verification: Cycling the Probabilistic Landscape (Festschrift Joost-Pieter Katoen)
12th Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2024)
14th International Symposium on Frontiers of Combining Systems (FroCoS 2023)
Journal of Logical and Algebraic Methods in Programming
