From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 752F25D5 for ; Wed, 5 Dec 2018 21:08:33 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,319,1539640800"; d="scan'208";a="358993194" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Dec 2018 22:08:32 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4BC1A8253E; Wed, 5 Dec 2018 22:08:32 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EA978824E4; Wed, 5 Dec 2018 22:07:55 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=frederic.dabrowski@univ-orleans.fr; spf=Pass smtp.mailfrom=frederic.dabrowski@univ-orleans.fr; spf=None smtp.helo=postmaster@sucre.univ-orleans.fr IronPort-PHdr: =?us-ascii?q?9a23=3AEDKQdRRdqMXhlu3FRl4L8wDu19psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZxON2/xhgRfzUJnB7Loc0qyK6/CmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/mHLhcJ/g61VvRGvqRJhzYDTe4yVKON+fqbBcdMaWWZMXMBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMM+ZCr47nulQJtwG+BQiwC+z3xDFHnGT53bc90+UvCgHG3w0gFM8JvX?= =?us-ascii?q?TattX6KrodXv6vzKnJ0TrPde5Z1i3m54jSdRAgr+qMXbFxccfK1EkvEQLFjkuJ?= =?us-ascii?q?pYziJTOV0voCvHKd7+p7T+6vhXQnphh3rzOyyMksjYzJiZgUylDC7Sh53YA1Jd?= =?us-ascii?q?ymSEJiZt6kCp9QuD+AOItwWcMuWW9ouDw8x7YbupC7ZDAHxIkjyhPQcfCLbomF?= =?us-ascii?q?7xD5WOufPTt0nnZodb2nixuw8kWs0PPwWtS03VpQsyZIk8fAumoC2hHR7MWMV+?= =?us-ascii?q?Fz8V272TmV0gDe8uFELl4wlarcM5Mh2aMwmYYJsUvdBCP2hUP2jK6Idkk9/eio?= =?us-ascii?q?8eDnbav8qZ+aLI94kA/+Mr42lsy+B+Q3LBQOUnCG9em427Dv51D1TbRIg/EsnK?= =?us-ascii?q?TVrIrWKMAUq6KhBg9ayIcj6xKxDze819QYmGEKLFxfeB2ZkofmJUvOIPHkAvul?= =?us-ascii?q?nlujiixkx+rBPrzvGZXNLXnDnaz8fbZ76k5c1hM/zddF55JQFL4OOvTzWlTruN?= =?us-ascii?q?zWFB81Kxa0zPr/CNVhyoMeXnqCDbODP6PXtV+E/+YvI+iXZI8Jozv9MPgk5/v2?= =?us-ascii?q?jXAjg1MdfK+p3YEWaH+iBPhmLV+Za2L2gtgdCWcKohY+TOvyhVKeVj5Tfm++UL?= =?us-ascii?q?445jEmE42rFpzDR4CogLyZxii3BJxWZmZcClCNC3jkbYuEW+1fIB6Vd8Rmi3kP?= =?us-ascii?q?UaWrY44nzxCn8gHgj/JsJ+/QvykZro7L1d5v5uSVmwth2yZzCpGzyeCBznt1lV?= =?us-ascii?q?QkTjUs279kok01nlmZ3KR1mf1TU9Ba7elOTRw5NLbBye1kTtfoXg/IeMzPRkzw?= =?us-ascii?q?EYbuOi04Ut9km4xGWE16Adj31kmSjRrvOKcckvmwPLJx96vd23brIMMklCTb0q?= =?us-ascii?q?g/yl48RsZGM3bgiLQtrlGPVb6MqF2QkuORTYpZxDTErTjR0GyPogRfSgp9WKPe?= =?us-ascii?q?G34FNBOP8IbJo3jaRrrrMowJdwtMzcnYcflRd9bzgBNbQvb9fdPEZ2+4nXz2Cw?= =?us-ascii?q?zanr4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A6BwCsPQhch14ep8JkHQEBBQEHBQGBZ?= =?us-ascii?q?YJqA38ngzo/iHiLL4FoNI5NimoyBgGHUxoHAQQ0EgEDAQECAQEBAQETAQEBCgs?= =?us-ascii?q?JCCkjDII2IoJpDhdRHhwCJgJggzMBggULilObUIEvhUCDX4ENgQuLE1WBQYERJ?= =?us-ascii?q?wwThWoDhGQxgiYCihWWQQcCgQ9ZihOFWQaBTIgkhz+DBoYDjHGEKjeBdk0ndgG?= =?us-ascii?q?CQQk1gXeFEYkWPwExAQGBAwEBilIBAQ?= X-IPAS-Result: =?us-ascii?q?A0A6BwCsPQhch14ep8JkHQEBBQEHBQGBZYJqA38ngzo/iHi?= =?us-ascii?q?LL4FoNI5NimoyBgGHUxoHAQQ0EgEDAQECAQEBAQETAQEBCgsJCCkjDII2IoJpD?= =?us-ascii?q?hdRHhwCJgJggzMBggULilObUIEvhUCDX4ENgQuLE1WBQYERJwwThWoDhGQxgiY?= =?us-ascii?q?CihWWQQcCgQ9ZihOFWQaBTIgkhz+DBoYDjHGEKjeBdk0ndgGCQQk1gXeFEYkWP?= =?us-ascii?q?wExAQGBAwEBilIBAQ?= X-IronPort-AV: E=Sophos;i="5.56,319,1539640800"; d="scan'208";a="288048758" Received: from sucre.univ-orleans.fr ([194.167.30.94]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Dec 2018 22:07:54 +0100 Received: from localhost (localhost [127.0.0.1]) by sucre.univ-orleans.fr (Postfix) with ESMTP id 3D5D87C19A; Wed, 5 Dec 2018 22:07:49 +0100 (CET) Received: from sucre.univ-orleans.fr ([127.0.0.1]) by localhost (sucre.univ-orleans.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id U2EngPZXc5fa; Wed, 5 Dec 2018 22:07:49 +0100 (CET) Received: from smtps.univ-orleans.fr (smtpkerb1.univ-orleans.fr [194.167.30.60]) by sucre.univ-orleans.fr (Postfix) with ESMTP id 2B2CC7C198; Wed, 5 Dec 2018 22:07:49 +0100 (CET) Received: from [192.168.1.4] (5dy45-1-78-215-162-47.fbx.proxad.net [78.215.162.47]) by smtps.univ-orleans.fr (Postfix) with ESMTPSA id 827C71002F; Wed, 5 Dec 2018 22:07:53 +0100 (CET) From: =?utf-8?Q?Fr=C3=A9d=C3=A9ric_Dabrowski?= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.0 \(3445.100.39\)) Message-Id: Date: Wed, 5 Dec 2018 22:07:53 +0100 To: coq-club@inria.fr, caml-list@inria.fr X-Mailer: Apple Mail (2.3445.100.39) X-Validation-by: frederic.dabrowski@univ-orleans.fr Subject: [Caml-list] Offre de stage M2 recherche Reply-To: =?utf-8?Q?Fr=C3=A9d=C3=A9ric_Dabrowski?= X-Loop: caml-list@inria.fr X-Sequence: 17212 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: [Veuillez excuser pour les r=C3=A9ceptions multiples] Bonjour L=E2=80=99=C3=A9quipe LMV (Langages, Mod=C3=A8les et V=C3=A9rification) du = LIFO (Laboratoire d=E2=80=99Informatique Fondamentale d=E2=80=99Orl=C3=A9an= s) propose un sujet de stage sur les langages de programmation r=C3=A9actifs synchrones. En fonction des= r=C3=A9sultats obtenus, une poursuite en th=C3=A8se est possible. Sujet : http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/M2_2019_= Bousdira_Dabrowski.pdf Cordialement, Wadoud Bousdira Fr=C3=A9d=C3=A9ric Dabrowski --=20 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=