update Proover

jcailler · jcailler · commit f1934daea822 · 2026-04-10T11:01:41.000+02:00
diff --git a/index.md b/index.md
@@ -20,6 +20,7 @@ You can find more information in my [CV](/assets/pdf/cv.pdf) (last update: May 2
 
 >
 News:
+* You can register to the [ProoVer 2026 competition]!(https://proover-competition.github.io/competitions/2026/)
 * I am part of the PC of [CSL 2027](https://csl2027.github.io/index.html)
 * I am part of the Artifact Evaluation Committee [CAV 2026](https://conferences.i-cav.org/2026/artifacts/) 
 * I gave a talk at the [CHoCoLa meeting](https://chocola.ens-lyon.fr/).

Original file line number	Diff line number	Diff line change
`@@ -20,6 +20,7 @@ You can find more information in my [CV](/assets/pdf/cv.pdf) (last update: May 2`
`20`	`20`
`21`	`21`	`>`
`22`	`22`	`News:`
	`23`	`+* You can register to the [ProoVer 2026 competition]!(https://proover-competition.github.io/competitions/2026/)`
`23`	`24`	`* I am part of the PC of [CSL 2027](https://csl2027.github.io/index.html)`
`24`	`25`	`* I am part of the Artifact Evaluation Committee [CAV 2026](https://conferences.i-cav.org/2026/artifacts/)`
`25`	`26`	`* I gave a talk at the [CHoCoLa meeting](https://chocola.ens-lyon.fr/).`