User Tools

Site Tools


apr:journees:ete2019

This is an old revision of the document!


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'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