caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Offre de stage M2 recherche
@ 2018-12-05 21:08 Frédéric Dabrowski
  0 siblings, 0 replies; 1+ messages in thread
From: Frédéric Dabrowski @ 2018-12-05 21:08 UTC (permalink / raw)
  To: coq-club, caml-list

[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

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-12-05 21:08 [Caml-list] Offre de stage M2 recherche Frédéric Dabrowski

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox