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.

• 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).