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
Next revision		Previous revision
apr:journees:ete2026 [2026/06/12 17:12] – [Résumés (à compléter)] mineapr:journees:ete2026 [2026/06/22 09:21] (current) – [Programme] mine
Line 12: Line 12:
 75013 Paris\\ 75013 Paris\\
  
-==== Programme prévisionnel ====+==== Programme ====
  
   * **09:00-09:30**: café d'accueil   * **09:00-09:30**: café d'accueil
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.1781277148.txt.gz · Last modified: by mine