[Veuillez excuser pour les réceptions multiples] Bonjour L’équipe LMV (Langages, Modèles et Vérification) du LIFO (Laboratoire d’Informatique Fondamentale d’Orléans) propose un sujet de stage sur les langages de programmation réactifs synchrones. En fonction des résultats obtenus, une poursuite en thèse est possible. Sujet : http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/M2_2019_Bousdira_Dabrowski.pdf Cordialement, Wadoud Bousdira Frédéric Dabrowski -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs