Team APR

User Tools

Site Tools

apr:journees:ete2026

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
apr:journees:ete2026 [2026/06/22 09:20] – [Programme prévisionnel] mineapr:journees:ete2026 [2026/06/22 09:21] (current) – [Programme] mine
Line 27: Line 27:
     * //Évaluation automatique de la conformité de simulateurs d’éligibilité aux allocations logement.// Matéo Germe (SyCoMoRES, Inria)     * //Évaluation automatique de la conformité de simulateurs d’éligibilité aux allocations logement.// Matéo Germe (SyCoMoRES, Inria)
     * //Verifying Rust Programs with Aeneas and Lean.// Aymeric Fromherz (Prosecco, Inria)     * //Verifying Rust Programs with Aeneas and Lean.// Aymeric Fromherz (Prosecco, Inria)
-    * //Termination Resilience Static Analysis.// (Antique, Inria)+    * //Termination Resilience Static Analysis.// Caterina Urban (Antique, Inria)
   * **15:30-16:00**: pause   * **15:30-16:00**: pause
   * **16:00-17:15**: discussion sur l'enseignement, bilan APR   * **16:00-17:15**: discussion sur l'enseignement, bilan APR
apr/journees/ete2026.txt · Last modified: by mine