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 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 Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yrg@irif.fr) identity=pra; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yrg@irif.fr"; x-sender="yrg@irif.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yrg@irif.fr designates 194.254.61.138 as permitted sender) identity=mailfrom; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yrg@irif.fr"; x-sender="yrg@irif.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@korolev.univ-paris7.fr) identity=helo; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yrg@irif.fr"; x-sender="postmaster@korolev.univ-paris7.fr"; x-conformance=sidf_compatible 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 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)