This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
apr:journees:ete2019 [2019/07/01 16:50] mine |
apr:journees:ete2019 [2019/07/06 13:03] mine |
||
---|---|---|---|
Line 17: | Line 17: | ||
* 14:50–15:25 : **Jules Vidal.** Progressive Wasserstein barycenters for persistence diagrams. | * 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). | + | * 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). {{:apr:journees:expose-learn-ocaml.pdf|[slides]}} |
* 16:00–16:15 : Pause. | * 16:00–16:15 : Pause. | ||
Line 23: | Line 23: | ||
* 16:15–16:45 : **Steven Varoumas.** WCET of OCaml bytecode on microcontrollers: an automated method and its formalisation. | * 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. | + | * 16:45–17:20 : **Abdelraouf Ouadjaout.** Design of a Modular Platform for Static Analysis. {{:apr:journees:ouadjaout-apr19-slides.pdf|[slides]}} |
* 17:20–17:30 : Clôture. | * 17:20–17:30 : Clôture. |