Academic Duties
List of the PCs I took part in. I do not include subreviews in the list.
2025
- PC of SBMF 2025
- PC of CAV 2025 - Artifact Evaluation, 36th International Conference on Computer-Aided Verification
- PC of FMCAD'25 student forum
- PC of SAT'25 - The International Conference on Theory and Applications of Satisfiability Testing
- PC of FroCos - 15th in a series of meetings of the International Symposium on Frontiers of Combining Systems
- PC of CADE 30 - The Conference on Automated Deduction
- External reviewer for ITP 2025 - 16th International Conference on Interactive Theorem Proving
- Review for the journals JAR, JAIR, TCAD
- PC of TACAS - Artefact Evaluation, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2024
- Chair of iFM-AE
- PC of CAV 2024 - Artifact Evaluation, 35th International Conference on Computer-Aided Verification
2023
- PC of SBMF 2023
- PC of Frocos 2023
- PC of FMCAD'23
- PC of FMCAD'23 student forum
- PC of iFM artefact evaluation
- PC of CAV 2023 - Artifact Evaluation, 34th International Conference on Computer-Aided Verification
- Review for Mathematics in Computer Science
2022
- PC of the stundent forum of FMCAD22, Formal Methods in Computer-Aided Design
- PC of CAV 2022 - Artifact Evaluation, 34th International Conference on Computer-Aided Verification
- PC of IJCAR 2022 - International Joint Conference on Automated Reasoning
- PC of TACAS - Artefact Evaluation, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2021
- Co-chair of PxTP 2021, Seventh Workshop on Proof eXchange for Theorem Proving
- Review for Journal of Artificial Intelligence
- PC of CAV 2021 - Artifact Evaluation, 33rd International Conference on Computer-Aided Verification
- PC of PDAR-21, Parallel and Distributed Automated Reasoning 2021
- PC of TACAS - Artefact Evaluation, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2020
- PC of TAP 20 - Artefact Evaluation, 14th International Conference on Tests and Proofs 20
- PC of VMCAI-20 - Artefact Evaluation, 21st International Conference on Verification, Model Checking, and Abstract Interpretation