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.
Programme
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.
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). [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).
apr/journees/ete2019.1562411027.txt.gz · Last modified: 2019/07/06 13:03 by mine