apr:journees:ete2019
Demi-journée de l'équipe APR d'été 2019
Vendredi 5 juillet 2019 de 14:00 à 17:30 en salle 15-16/101 à l'IRILL.
La demi-journée est précédée d'un déjeuner et suivie d'un goûter / apéritif.
Programme
- 12:30–14:00 : Déjeuner au Royal Jussieu, 1 rue des Écoles, 75005 Paris.
- 14:00–14:15 : Introduction, nouvelles du laboratoire.
- 14:15–14:50 : Martin Pépin. Uniform random generation of executions in nondeterministic series parallel processes. [slides]
- 14:50–15:25 : Jules Vidal. Progressive Wasserstein barycenters for persistence diagrams. [slides]
- 15:25–16:00 : Loïc Sylvestre. Portage de matériels pédagogiques sur la plateforme Learn-OCaml (un assistant à l'enseignement du langage OCaml). [slides]
- 16:00–16:15 : Pause.
- 16:15–16:45 : Steven Varoumas. WCET of OCaml bytecode on microcontrollers: an automated method and its formalisation.
- 16:45–17:20 : Abdelraouf Ouadjaout. Design of a Modular Platform for Static Analysis. [slides]
- 17:20–17:30 : Clôture.
- 17:30 : Goûter / apéritif (apportez ce qu'il vous plaît).
apr/journees/ete2019.txt · Last modified: by mine