Update news

Author: jcailler

_tabs/activities.md

@@ -3,7 +3,7 @@ icon: fas fa-lightbulb
 order: 3
 ---
 
-## Conferences Organization
+## Conferences & Workshops Organization
 
 * [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
@@ -12,6 +12,7 @@ order: 3
 
 ## PC Member
 
+* [Journées Francophones des Langages Applicatifs](https://jfla.inria.fr/) --- **JFLA** ([2026](https://jfla.inria.fr/jfla2026.html))
 * International Symposium on Theoretical Aspects of Software Engineering --- **TASE** ([2025](https://cyprusconferences.org/tase2025/))
 
 

index.md

@@ -20,7 +20,11 @@ You can find more information in my [CV](/assets/pdf/cv.pdf) (last update: March
 
 >
 News:
-* I will be part of the PC of [TASE 2025](https://cyprusconferences.org/tase2025/).
+* I am invited speaker at the [EuroProofNet School on
+Natural Formal Mathematics](https://naproche.github.io/school/). 
+* Our paper [Interoperability of Proof Systems with SC-TPTP](https://infoscience.epfl.ch/entities/publication/4c3d2db3-3f96-4d83-9794-af6c04673ea8) with S. Guilloud, S. Gambhir, A. Poiroux, Y. M. Herklotz, T. Bourgeat, V. Kuncak was accepted at [CADE-30](https://www.dhbw-stuttgart.de/cade-30/).
+* I am part of the PC of [JFLA 2026](https://jfla.inria.fr/jfla2026.html).
+* I am 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!