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 ESMTPS id 75EDC5D5 for ; Fri, 24 Jan 2020 14:03:48 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,357,1574118000"; d="scan'208";a="432895155" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Jan 2020 15:03:46 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 658947F3D6; Fri, 24 Jan 2020 15:03:46 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0408F7F345 for ; Fri, 24 Jan 2020 15:03:41 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yrg@irif.fr; spf=Pass smtp.mailfrom=yrg@irif.fr; spf=None smtp.helo=postmaster@korolev.univ-paris7.fr IronPort-PHdr: =?us-ascii?q?9a23=3A/395fx0tK9O2AbPysmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIVKfad9pjvdHbS+e9qxAeQG9mCt7Qe16GL4+igATVGvc/a9ihaMdRlbFwssY?= =?us-ascii?q?0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6?= =?us-ascii?q?Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMucQam5VuJ6k+xhbJoXZDZu?= =?us-ascii?q?BayX91KV6JkBvw+8m98IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnD?= =?us-ascii?q?SRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2ji?= =?us-ascii?q?oMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7GcNgEWWROQNpeVy1ZAoO9?= =?us-ascii?q?cYQPCfYBPf1FpIX5vlcCsAeyCRWpCO7p1zRGhGL53bci3usuEQ/I0g8uEc8Qvn?= =?us-ascii?q?vIo9v4L7sSUfmvwaXU0TnPc/Fb1DHg44bIaBAhpvSMUKpyfsXLz0kvER7OgEmK?= =?us-ascii?q?rozqPjOVzf0BvWma7+V6U+KgkXUnoBx2rzmv3McshZLEhoMPylDF+yV12og1Jc?= =?us-ascii?q?ehRUN9fNWqHpxQtySAOIt3RMMvW2BouDw7yr0Io5K7cjIKxZI6zBDcc/yKa5WE?= =?us-ascii?q?7xbsWeqLPzt1hH1odKi+ihqv60Ss1+PxW8qs3FpUsiZIlsPAu3MN2hDJ9MSLVO?= =?us-ascii?q?Vx8l2u1DuL0Q3Y9/tKLloulaXBLp4s2r4wmYQXsUTEBiL2m0L2jLWRdkUg5Oeo?= =?us-ascii?q?9f7rYqjgpp+dKY94kxn+Pb40msy+GuQ1MBICX2aB+eik1b3j+1P2QKlSg/Erlq?= =?us-ascii?q?TUv4rWKdobq6O2GQNY05sv5wyiAzqo09kUhXwHI0hEeBKDgYjpIVbOIPXgAPa/?= =?us-ascii?q?mVSsnyxmx/HcPr3gDJXBNHbDkK35cbZn90Fc0BYzzcxY559MFr4OOvfzWkvouN?= =?us-ascii?q?zcDx85KBC0zv38CNR904MeQXiADrWYMKPUq1+I5/ggL/OCZI8P637BLK0C7Pfr?= =?us-ascii?q?iTcckF4ZfK+mlb8Wc2zwSv9vJkHcZXv3nv8AF30Lt0wwVrq5pkeFVGtibnC0F5?= =?us-ascii?q?i96TAgTa2nBIHKXcj5kaaO9CahH5MQaHoQWQPEKmvha4jRA6REUymVOMI012Vc?= =?us-ascii?q?DeH8Gb9k7gmnsUrB85QiLufQ/XdE55Hkzt9x6vOViBcz63lsBt6cyD7LQXsmxj?= =?us-ascii?q?pUFQ9z57h2pAlG8nnGybJx0q5ZD91dof1TAF9jZMzsitdiAtW3YTrvO9KASVKo?= =?us-ascii?q?WNKjUGMwVNM/hdEUMR9w?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BtBwD49ypeh4o9/sJlhBWBQYEHKoQSi?= =?us-ascii?q?QOGJIIggn4BhS2CIY51gWcJAQMBCgEBJQcBAgEBgUyFGBwHAQQ0EwIQAQEEAQE?= =?us-ascii?q?BAgECAwQBEwEBAQoLCQgbDoU+DII7KQGCfhQRfA8CHwcCJBIBBQEiEyKDBAGCe?= =?us-ascii?q?wEDC51Xgh2BBD2LJ4EyiUd/BoEOKowXGoIAgRE2gi0Cg1ADgSqDSIJeBI4JoGp?= =?us-ascii?q?lgUh7BJYzG4JIiAqQKqltAgQGBQIGDgEjgQ44gXpNJxFsBoI1UBgNiBsehHmJF?= =?us-ascii?q?AJCMYEGAQGMTgEB?= X-IPAS-Result: =?us-ascii?q?A0BtBwD49ypeh4o9/sJlhBWBQYEHKoQSiQOGJIIggn4BhS2?= =?us-ascii?q?CIY51gWcJAQMBCgEBJQcBAgEBgUyFGBwHAQQ0EwIQAQEEAQEBAgECAwQBEwEBA?= =?us-ascii?q?QoLCQgbDoU+DII7KQGCfhQRfA8CHwcCJBIBBQEiEyKDBAGCewEDC51Xgh2BBD2?= =?us-ascii?q?LJ4EyiUd/BoEOKowXGoIAgRE2gi0Cg1ADgSqDSIJeBI4JoGplgUh7BJYzG4JIi?= =?us-ascii?q?AqQKqltAgQGBQIGDgEjgQ44gXpNJxFsBoI1UBgNiBsehHmJFAJCMYEGAQGMTgE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.70,357,1574118000"; d="scan'208";a="432895116" X-MGA-submission: =?us-ascii?q?MDGRG7sRzXZiidwq/4t9mHeCrtnWZmokdlOvyg?= =?us-ascii?q?TXrHVvpYeYN3wsEdU4G4NyZn4VMBto2bklEm8+9x2d6jg7tm6c0uFfbf?= =?us-ascii?q?7dV1hrHhydPtcxkN/3oaNpKTTynKX43tJxK6N1/vlfLVe30Q2EzVK061?= =?us-ascii?q?ukjtp2NiZoM7emlkFJqf4MHA=3D=3D?= Received: from korolev.univ-paris7.fr ([194.254.61.138]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jan 2020 15:03:40 +0100 Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/82085) with ESMTP id 00OE3bld006743 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Fri, 24 Jan 2020 15:03:37 +0100 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/82085) with ESMTP id 00OE3a8o020494 for ; Fri, 24 Jan 2020 15:03:36 +0100 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id BE040102347 for ; Fri, 24 Jan 2020 15:03:39 +0100 (CET) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id 7VbqzP8iwXEu for ; Fri, 24 Jan 2020 15:03:38 +0100 (CET) Received: from mail-ua1-f49.google.com (mail-ua1-f49.google.com [209.85.222.49]) (Authenticated sender: yrg) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 280B4102345 for ; Fri, 24 Jan 2020 15:03:38 +0100 (CET) Received: by mail-ua1-f49.google.com with SMTP id c7so815390uaf.5 for ; Fri, 24 Jan 2020 06:03:38 -0800 (PST) X-Gm-Message-State: APjAAAWv7jB6NNQAmFbBmUOyBjKUVHQIPxY4Fzh/cMIQww+nGo0UyDSz 8qJsAGIohkaMjWTM73d1Wb5dn7DVgwdsbGdrlwY= X-Google-Smtp-Source: APXvYqwKWX4aIv1bu73fKZDRH2AhW8nfMRmlqKgb9DA1VIh/GR8THLTe4KCnbJllGwxp68wX4v5Fh1+VmDGWhSalRU0= X-Received: by 2002:ab0:40a3:: with SMTP id i32mr1885368uad.131.1579874617103; Fri, 24 Jan 2020 06:03:37 -0800 (PST) MIME-Version: 1.0 From: =?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?= Date: Fri, 24 Jan 2020 15:03:25 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Ocaml Mailing List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Fri, 24 Jan 2020 15:03:37 +0100 (CET) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Fri, 24 Jan 2020 15:03:36 +0100 (CET) X-Miltered: at korolev with ID 5E2AF939.005 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 5E2AF938.004 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 5E2AF939.005 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 5E2AF938.004 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 5E2AF939.005 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 5E2AF938.004 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-j-chkmail-Status: Ham Subject: [Caml-list] Two master internship proposals to explore social and technical aspects of the creation of the OCaml and Coq platforms Reply-To: =?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?= X-Loop: caml-list@inria.fr X-Sequence: 17966 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: Dear Caml hackers, we are looking for candidates for the following two internships intended to prefigure the creation of the OCaml and Coq platforms: - a first internship is focused on exploring technical aspects: https://www.irif.fr/_media/users/theo/internship_proposal_platform_tech.pdf - a second internship is focused on exploring social and policy aspects: https://www.irif.fr/_media/users/theo/internship_proposal_platform= _social.pdf Please feel free to forward this announcement. Interested students should send their resume and cover letter at yrg@irif.fr and theo@irif.fr. Yann R=C3=A9gis-Gianas (Inria, IRIF, OCaml Software Foundation) and Th=C3= =A9o Zimmermann (Inria, IRIF, Coq development team)