User Tools

Site Tools


apr:journees:ete2019

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
apr:journees:ete2019 [2019/07/01 16:49]
127.0.0.1 external edit
apr:journees:ete2019 [2019/07/10 14:26] (current)
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. {{ :​apr:​journees:​slides-martin.pdf |[slides]}}
 +
 +  * 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). {{:​apr:​journees:​expose-learn-ocaml.pdf|[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. {{:​apr:​journees:​ouadjaout-apr19-slides.pdf|[slides]}}
 +
 +  * 17:​20–17:​30 : Clôture.
 +
 +  * 17:30 : **Goûter / apéritif** //(apportez ce qu'il vous plaît)//.
  
apr/journees/ete2019.1561992562.txt.gz · Last modified: 2019/07/01 16:49 by 127.0.0.1