This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
apr:journees:ete2019 [2019/07/01 16:49] 127.0.0.1 external edit |
apr:journees:ete2019 [2019/07/01 16:50] mine |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ===== 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'[[https://www.irill.org/|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 [[http://www.royaljussieu.fr/|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. | ||
+ | |||
+ | * 14:50–15:25 : **Jules Vidal.** Progressive Wasserstein barycenters for persistence diagrams. | ||
+ | |||
+ | * 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). | ||
+ | |||
+ | * 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. | ||
+ | |||
+ | * 17:20–17:30 : Clôture. | ||
+ | |||
+ | * 17:30 : **Goûter / apéritif** //(apportez ce qu'il vous plaît)//. | ||