Merge branch 'master' of github.com:jcailler/jcailler.github.io

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)

index.md

@@ -20,6 +20,7 @@ You can find more information in my [CV](/assets/pdf/cv.pdf) (last update: Septe
 
 >
 News:
+* I will be part of the PC of [TASE 2025](https://cyprusconferences.org/tase2025/).
 * I am invited speaker at [LVP Days 2024](https://groupes.renater.fr/wiki/lvp/public/journee_lvp_novembre2024) and [SCALP Days 2024](https://www.irif.fr/gt-scalp/journees-2024). 
 * Together with [Nian-Ze Lee](https://nianzelee.github.io/), we will chair the [Artifact Evaluation](https://spin-web.github.io/SPIN2025/artifacts) at [SPIN 2025](https://spin-web.github.io/SPIN2025/).
 * After many years of loyal service, I am taking over from [Sophie Tourret](https://members.loria.fr/STourret/) as editor of the [AAR newsletter](https://aarinc.org//newletters). Feel free to send me any relevant information that you would like to include in the next edition!