Differences

This shows you the differences between two versions of the page.

--- apr:journees:ete2019 [2019/07/01 16:50] – mine
+++ apr:journees:ete2019 [2019/07/10 14:26] (current) – mine
@@ Line 13: / Line 13: @@
   * 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:15–14:50 : **Martin Pépin.** Uniform random generation of executions in nondeterministic series parallel processes. {{ :apr:journees:slides-martin.pdf |[slides]}}
-  * 14:50–15:25 : **Jules Vidal.** Progressive Wasserstein barycenters for persistence diagrams.
+  * 14:50–15:25 : **Jules Vidal.** Progressive Wasserstein barycenters for persistence diagrams. {{ :apr:journees:progressive_wasserstein_barycenters.pdf |[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).
+  * 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.
@@ Line 23: / Line 23: @@
   * 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.