Academic Duties
List of the PCs I took part in. I do not include subreviews in the list.
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