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:11] – [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
Line 34: Line 34:
 ---- ----
  
-==== Résumés (à compléter) ====+==== Résumés ====
  
 **Partial (in)completeness in program analysis by abstract interpretation.**\\ **Partial (in)completeness in program analysis by abstract interpretation.**\\
apr/journees/ete2026.1781277119.txt.gz · Last modified: by mine