CHoCoLa

Author: jcailler

_tabs/activities.md

@@ -35,7 +35,7 @@ Together with [Simon Guilloud](https://simonguilloud.ch/), we organize the [Proo
 * [International Symposium on Formal Methods](https://www.fmeurope.org/symposia/) --- **FM** ([2024](https://www.fm24.polimi.it/))
 * [Formal Methods in Computer-Aided Design](https://www.fmcad.org/) --- **FMCAD** ([2024](https://fmcad.forsyte.at/FMCAD24/))
 * 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))
+* Certified Programs and Proofs --- **CPP** ([2023](https://popl23.sigplan.org/home/CPP-2023), [2024](https://popl24.sigplan.org/home/CPP-2024), [2025](https://popl25.sigplan.org/home/CPP-2025))
 * [International Joint Conference on Automated Reasoning](https://ijcar.org/) --- **IJCAR** ([2022](https://www.floc2022.org/), [2024](https://merz.gitlabpages.inria.fr/2024-ijcar/))
 
 

_tabs/miscellaneous.md

@@ -9,7 +9,7 @@ I am the editor of the [AAR newsletter](https://aarinc.org//newletters). Please
 
 > 
 Next Release:\\
-October 2025
+February 2026
 {: .prompt-tip }
 
 ## Science Popularization
@@ -53,6 +53,7 @@ However, if you are really intimidated by me (I know, I am scary) or struggling
   * "Hello, nice glasses/hat/hair/shirt/name tag/keyring/RANDOM THING I HAVE WITH ME!"
   * "You attended the social event, right? I especially enjoyed the monkey trainer/shark rider/fire eater/food, wasn't that nice? "
   * "Here is some food."
+  * *Look at me and smile*
   * "Germany is great, isn't it?"
   * "<a href="{{ site.url }}{{ site.baseurl }}/assets/img/squirrel_dealer.png">Do you like squirrels?</a>"
 

assets/map/event-map.html

@@ -108,37 +108,39 @@
 
     // Coordinates
     var conf = [
-        { name: 'FroCoS/ITP/TABLEAUX 2025', location: [64.12382675786593, -21.926976555607695] },
-        { name: 'EuroProofNet Symposium', location: [48.70679598454217, 2.177304849739862] },
-        { name: 'CADE-30', location: [48.7828866579485, 9.16667630317746] },
-        { name: 'EuroProofNet School on Natural Formal Mathematics', location: [50.72834006997528, 7.083983684468699] },
-        { name: 'SCALP Days 2024', location: [50.604850842022636, 3.146190270731473] },
-        { name: 'LVP Days 2024', location: [48.827139742599854, 2.3807233719610057] },
-        { name: 'IJCAR 2024', location: [48.69776160623848, 6.171918082976066] },
-        { name: 'GDR GPL Days 2024', location: [48.57987562774337, 7.763427406974662] },
-        { name: 'ETAPS 2024', location: [49.63965835067326, 6.154014486297844] },
-        { name: 'Contract Lanuages Workshop', location: [52.168049544503766, 4.458929368337354] },
-        { name: 'AVM 2023', location: [50.08873612839579, 14.403682282921451] },
-        { name: 'LoGalg 2022, ICSR 2022', location: [43.6370868161017, 3.8416939694727152] },
-        { name: 'ICGT 2022', location: [43.6319, 3.8615] },
+        { name: 'GDR GPL Days 2022', location: [47.64526031123392, -2.746276246874239] },
         { name: 'IJCAR 2022', location: [32.77603062666881, 35.0223966964578] },
-        { name: 'GDR GPL Days 2022', location: [47.64526031123392, -2.746276246874239] }
+        { name: 'ICGT 2022', location: [43.6319, 3.8615] },
+        { name: 'LoGalg 2022, ICSR 2022', location: [43.6370868161017, 3.8416939694727152] },
+        { name: 'AVM 2023', location: [50.08873612839579, 14.403682282921451] },
+        { name: 'Contract Lanuages Workshop', location: [52.168049544503766, 4.458929368337354] },
+        { name: 'ETAPS 2024', location: [49.63965835067326, 6.154014486297844] },
+        { name: 'GDR GPL Days 2024', location: [48.57987562774337, 7.763427406974662] },
+        { name: 'IJCAR 2024', location: [48.69776160623848, 6.171918082976066] },
+        { name: 'LVP Days 2024', location: [48.827139742599854, 2.3807233719610057] },
+        { name: 'SCALP Days 2024', location: [50.604850842022636, 3.146190270731473] },
+        { name: 'EuroProofNet School on Natural Formal Mathematics', location: [50.72834006997528, 7.083983684468699] },
+        { name: 'CADE-30', location: [48.7828866579485, 9.16667630317746] },
+        { name: 'EuroProofNet Symposium', location: [48.70679598454217, 2.177304849739862] },
+        { name: 'FroCoS/ITP/TABLEAUX 2025', location: [64.12382675786593, -21.926976555607695] },
+        { name: 'LVP days 2025', location: [48.57981009119588, 7.763418656127429] }
     ];
 
     var job = [
-        { name: 'Loria, University of Lorraine', location: [48.6657670783329, 6.158344526743497] },
+        { name: 'LIRMM, University of Montpellier', location: [43.63690858187886, 3.840357502026212] },
         { name: 'Chair of TCS, University of Regensburg', location: [48.997934316242, 12.120318945232992] },
-        { name: 'LIRMM, University of Montpellier', location: [43.63690858187886, 3.840357502026212] }
+        { name: 'Loria, University of Lorraine', location: [48.6657670783329, 6.158344526743497] }
     ];
 
     var meeting = [
-        { name: 'TUM School of Computation, Information and Technology', location: [48.262546180937804, 11.667992368650099] },
-        { name: 'École des Mines de Paris', location: [48.84719598366876, 2.338970151114493] },
-        { name: 'INRIA Paris', location: [48.84578566631571, 2.3835270116446687] },
-        { name: 'EPFL', location: [46.51962632274279, 6.567637493607825] },
-        { name: 'Friedrich-Alexander-Universität Erlangen-Nürnberg', location: [49.573908910077584, 11.02706350371601] },
+        { name: 'INRIA Proofs and Verification Prospective Seminar', location: [48.756823641572744, 2.34628697276187] },
         { name: 'University of Liège', location: [50.58616538619415, 5.560238511374412] },
-        { name: 'INRIA Proofs and Verification Prospective Seminar', location: [48.756823641572744, 2.34628697276187] }
+        { name: 'Friedrich-Alexander-Universität Erlangen-Nürnberg', location: [49.573908910077584, 11.02706350371601] },
+        { name: 'EPFL', location: [46.51962632274279, 6.567637493607825] },
+        { name: 'INRIA Paris', location: [48.84578566631571, 2.3835270116446687] },
+        { name: 'École des Mines de Paris', location: [48.84719598366876, 2.338970151114493] },
+        { name: 'TUM School of Computation, Information and Technology', location: [48.262546180937804, 11.667992368650099] },
+        { name: 'CHoCoLa Meeting', location: [45.72998800046979, 4.827201312962897]}
     ];
 
 

index.md

@@ -20,7 +20,8 @@ You can find more information in my [CV](/assets/pdf/cv.pdf) (last update: May 2
 
 >
 News:
+* I will give a talk at the [CHoCoLa meeting](https://chocola.ens-lyon.fr/).
 * [Registrations](https://framaforms.org/journee-lvp-du-13-novembre-2025-1756886583) for the [annual meeting of the LVP working group](https://groupes.renater.fr/wiki/lvp/journee_lvp_novembre2025) of the [GDR GPL](https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/) are now open! 
-* I will give a talk at the [WG2 meeting](https://europroofnet.github.io/wg2-symposium/) at the [Final EuroProofNet Symposium](https://europroofnet.github.io/Symposium/). 
+* I gave a talk at the [WG2 meeting](https://europroofnet.github.io/wg2-symposium/) at the [Final EuroProofNet Symposium](https://europroofnet.github.io/Symposium/). 
 * Our paper [When GNNs Met a Word Equations Solver: Learning to Rank Equations](https://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1941665&dswid=5709) with P. A. Abdulla, M. F. Atig, C. Liang, and P. Rümmer was accepted at [FroCoS 2025](https://icetcs.github.io/frocos-itp-tableaux25/frocos/).
 {: .prompt-news }