Maj Subreview

Author: jcailler

_tabs/activities.md

@@ -8,20 +8,36 @@ order: 3
 * [31st International Symposium on Model Checking Software](https://spin-web.github.io/SPIN2025/) --- **SPIN 2025** --- AE Chair
 * [24th Conference in Formal Methods in Computer-Aided Design 2024](https://fmcad.forsyte.at/FMCAD24/) --- **FMCAD 2024** --- Web Chair
 * [11th Workshop on Horn Clauses for Verification and Synthesis](https://www.sci.unich.it/hcvs24/) --- **HCVS 2024** --- PC Chair
-* [The 11th International Colloquium on Graph Theory and combinatorics](https://www.lirmm.fr/icgt-2022/) --- **ICGT2022** --- Volunteer Student
-* [The 20th International Conference on Software & Systems Reuse](https://icsr2022v2.wp.imt.fr/) -- **ICSR2022** --- Volunteer Student
 
 
-## PC Member, Subreviewer & Artifact Reviewer
+## PC Member
 
 * International Symposium on Theoretical Aspects of Software Engineering --- **TASE** ([2025](https://cyprusconferences.org/tase2025/))
+
+
+## Subreviewer
+
+* [International Conference on Automated Deduction](https://cadeinc.org/) --- **CADE** ([2025](https://www.dhbw-stuttgart.de/cade-30/))
 * [Formal Methods in Computer-Aided Design](https://www.fmcad.org/) --- **FMCAD** ([2024](https://fmcad.forsyte.at/FMCAD24/))
-* [International Symposium on Formal Methods](https://www.fmeurope.org/symposia/) --- **FM** ([2024](https://www.fm24.polimi.it/))
-* International Conference on Verification, Model Checking, and Abstract Interpretation --- **VMCAI** ([2024](https://popl24.sigplan.org/home/VMCAI-2024), [2025](https://conf.researchr.org/home/VMCAI-2025))
+* International Conference on Verification, Model Checking, and Abstract Interpretation --- **VMCAI** ([2024](https://popl24.sigplan.org/home/VMCAI-2024))
 * Certified Programs and Proofs --- **CPP** ([2023](https://popl23.sigplan.org/home/CPP-2023), [2024](https://popl24.sigplan.org/home/CPP-2024))
 * [International Joint Conference on Automated Reasoning](https://ijcar.org/) --- **IJCAR** ([2022](https://www.floc2022.org/), [2024](https://merz.gitlabpages.inria.fr/2024-ijcar/))
 
 
+## Artifact Reviewer
+
+* International Conference on Verification, Model Checking, and Abstract Interpretation --- **VMCAI** ([2025](https://conf.researchr.org/home/VMCAI-2025))
+* [International Symposium on Formal Methods](https://www.fmeurope.org/symposia/) --- **FM** ([2024](https://www.fm24.polimi.it/))
+
+
+## Volunteer Student
+
+* [The 11th International Colloquium on Graph Theory and combinatorics](https://www.lirmm.fr/icgt-2022/) --- **ICGT2022**
+* [The 20th International Conference on Software & Systems Reuse](https://icsr2022v2.wp.imt.fr/) -- **ICSR2022**
+
+
+
+
 ## Science Popularization & Other Events (mostly in French)
 
 * [World Logic Day](https://www.unesco.org/en/days/world-logic)