Discussion:
[Coq-Club] Offre de stage M2 recherche
Frédéric Dabrowski
2018-12-05 21:07:53 UTC
Permalink
[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

Loading...