apr:journees:ete2023
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
apr:journees:ete2023 [2023/06/14 14:08] mine [Addresse] |
apr:journees:ete2023 [2023/06/14 14:08] mine [Programme] |
||
|---|---|---|---|
| Line 131: | Line 131: | ||
| - | ==== Programme ==== | ||
| - | |||
| - | * **09:30-09:45**: Accueil | ||
| - | * **09:45-10:45**: Session tutoriel | ||
| - | * //Programmation à types dépendants avec Lean4.// Frédéric Peschanski (APR, SU) | ||
| - | * **10:45-11:15**: Pause | ||
| - | * **11:15-12:45**: Exposés | ||
| - | * //Une machine abstraite pour l'implémentation générique d'analyses de resource automatisées.// Hector Suzanne (APR, SU) | ||
| - | * //Verifying a compiler for a synchronous dataflow language with state machines in Coq.// Basile Pesin (PARKAS, Inria) | ||
| - | * //Principal Geodesic Analysis of Merge Trees and Persistence Diagrams.// Mathieu Pont (APR, SU) | ||
| - | * **12:45-14:00**: Repas sur la terrasse (3ème étage) | ||
| - | * **14:00-15:30**: Exposés | ||
| - | * //Détection de contraintes de cardinalités.// Marie Pelleau (Université Côte d’Azur) | ||
| - | * //L'utilisation d'ACD dans la bibliothèque Spot.// Alexandre Duretz-Lutz (EPITA) | ||
| - | * //Génération de générateur pour types contraints.// Ghiles Ziat (EPITA) | ||
| - | * **15:30-16:00**: Pause | ||
| - | * **16:00-17:00**: Discussion APR | ||
| - | |||
| - | ---- | ||
| ==== Résumés ==== | ==== Résumés ==== | ||
apr/journees/ete2023.txt · Last modified: 2023/06/14 14:08 by mine
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
