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 756615D4 for ; Fri, 10 May 2019 16:35:00 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,454,1549926000"; d="scan'208";a="382625483" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 May 2019 18:34:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A1125826BB; Fri, 10 May 2019 18:34:58 +0200 (CEST) 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 6E983826B1 for ; Fri, 10 May 2019 18:33:19 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bernardobruno@gmail.com; spf=Pass smtp.mailfrom=bernardobruno@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f169.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AkY0FuhYvCdt6hkP/bMM1ANH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsu6bnLW6fgltlLVR4KTs6sC17OP9fCwEjVYud6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMRm6twbcu8oZjYd/Nqo91gbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4Gy?= =?us-ascii?q?YJYVD+cZI+hWr5TzqVgAoxSwCgajGOzhxyRUhnL1x6A2z/gtHA/E0QEmAtkAsG?= =?us-ascii?q?7UrNLwNKoKTO211rTIzTPEb/hLxDry9pLIchY7rvGWQL1wdtfaxE40GAzblFWQ?= =?us-ascii?q?r5bqPymI2eQKqGeb9fdgVeSoi2M8pAFxpyKgxsYoioXTmo0VzVXE+Dx/zY0oK9?= =?us-ascii?q?O4T0t7bsSlEJtWryyaNo12QtkjQ25yoio6xKcGtYa9fCgLy5QnyATfZOaJc4SS?= =?us-ascii?q?/h3jU+ORLS95hHJ/ebK/gxKy/VKnyu3mWcm4yFNKoTRbndnQq3ANzwbf5dSASv?= =?us-ascii?q?t4+EqqxDWB1xjL5+1aPUw5kbDXJp0hz7Iqi5YesFjPEjXrlEj3iKKablgo9+ir?= =?us-ascii?q?5uj9f7nqup6RO5Vqhg3gPKkigMKyDfg+PwMTRWaU4/6826fm/UDhQLVFkPk2kq?= =?us-ascii?q?7BvZDfP8sbp6q5DxZM0oY/9hqzFjmm3MkZkHQDNl5FdxWHj4/mO1HKPv/0F+uw?= =?us-ascii?q?g1OpkDtzxvDGOKPuAonVI3TdjLvseaxx5k1cxQYp0NxS5o5YBqscLP/yXkL9rN?= =?us-ascii?q?nYAQU4MwywzebnEtJ91oYGVG2UHKCZKqXSvkWS5u0yJOmDf5UVuCv7K/gi/PPu?= =?us-ascii?q?gno5lkUcfamtx5cYdHe4HvF+L0WDfXXsmssBEXsNvgcmVuPqh0CCXiBVZ3msRa?= =?us-ascii?q?08+yo2CYOnDYfGXY+tmqaO0D26Hp1QfGBGC0qDHW3md4WeQ/0Mcj6dItd9kjwY?= =?us-ascii?q?UrisU5Mu2gurtA/+0rZnKuvU+jYEtZ/4z9h05+jTlQko+jBuDsSd1XuNT2BukW?= =?us-ascii?q?8SST82xvM3nUsowV6G1e18gudEPd1V/fJAFAkgZrDGyOkvIcrvXAWJVNqTTl+8?= =?us-ascii?q?TtLuVTs8VNQ42dMJaVxgHdKKgRXK3i7sCLgQwe/YTKco+77RiiCib/12zGzLge?= =?us-ascii?q?x41wF/Hpl/cFa+j6s6zDD9QpbTmhzAxamvfKUYmiXK8TXblDvcjARjSAd1FJ79?= =?us-ascii?q?czUab0rSo87+4xqbHbCrALUjdABGzJzbc/YYWpjSlVxDAczbFpHebma2wTniAB?= =?us-ascii?q?+JwvaVcNOvdTxDjWPSD08Llw1V9nGDZ1Az?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ArAAB+ptVchqmgVdFkHQEBBQEHBQGBU?= =?us-ascii?q?wYBCwGCeVJahBGWHYJghmaOD4F7CQEDAQoBASMMAQGEQIINGwcBBDIHDgEDAQE?= =?us-ascii?q?EAQECAQEDARMBAQEICwsIKSMMgjopAYMQDwEFCAEbHQEDEhAPAiYCJREBBQEvC?= =?us-ascii?q?AEBgx4BgWkBAx0Pn1w8ix2BEgUBF4J6BYEzAYEUgXAKGScNXQOBOgIBBgkBCHk?= =?us-ascii?q?nAYRkhmoXgX+BESeCNgeBcIFdAQKCLYI9glgEix5mjjONGQmCCwKCBYQYhDiBa?= =?us-ascii?q?IYUBhuCE4NjgmiDOxKJPpMFji8CBAIEBQIGDyGBNQtPgS5NI4EBgjsTgXwYAoN?= =?us-ascii?q?VgT6DVoVBPTMBkHgBAQ?= X-IPAS-Result: =?us-ascii?q?A0ArAAB+ptVchqmgVdFkHQEBBQEHBQGBUwYBCwGCeVJahBG?= =?us-ascii?q?WHYJghmaOD4F7CQEDAQoBASMMAQGEQIINGwcBBDIHDgEDAQEEAQECAQEDARMBA?= =?us-ascii?q?QEICwsIKSMMgjopAYMQDwEFCAEbHQEDEhAPAiYCJREBBQEvCAEBgx4BgWkBAx0?= =?us-ascii?q?Pn1w8ix2BEgUBF4J6BYEzAYEUgXAKGScNXQOBOgIBBgkBCHknAYRkhmoXgX+BE?= =?us-ascii?q?SeCNgeBcIFdAQKCLYI9glgEix5mjjONGQmCCwKCBYQYhDiBaIYUBhuCE4Njgmi?= =?us-ascii?q?DOxKJPpMFji8CBAIEBQIGDyGBNQtPgS5NI4EBgjsTgXwYAoNVgT6DVoVBPTMBk?= =?us-ascii?q?HgBAQ?= X-IronPort-AV: E=Sophos;i="5.60,454,1549926000"; d="scan'208";a="305601654" X-MGA-submission: =?us-ascii?q?MDFfK2wwM9chGkuvqqU877aU2Pa27QBA3VCXxh?= =?us-ascii?q?JDCepX/jV5SuBDLovq1KNZj035s4aDJTBUuF8ZU5H70vAgL0twnvexYW?= =?us-ascii?q?MY+VKwLpCxseGgPKkpWpwBOx59yPD2ke8Nw4s84yu2Tqw+XGS96EEY14?= =?us-ascii?q?iNkPm1g963CowaAHIhHSB6xA=3D=3D?= Received: from mail-qt1-f169.google.com ([209.85.160.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 May 2019 18:33:13 +0200 Received: by mail-qt1-f169.google.com with SMTP id a17so6040430qth.3; Fri, 10 May 2019 09:33:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:cc:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=qV9cYMaEbMgwVIDg+U3yeOTZCZoCzDuMeQlkDiJXjVw=; b=qkgWL8GMJcwWiIRmZzGvGQa/pxe6sGKqqXt4B7rDtSL+XAZ7l53zy7XksHNJmZIQR4 K0CwF1R8nBMtYrNznEiLHJ+Lqqc4HQe2JtNryGUmz0sPDLi3lytaEV5XCbhKQieoMqz1 GM0djMXE+rqgWCmS5Y4ZSLe7D35oorliGsLpUzDRFb3wN2w8osKTrxd0MHFOaQfwlCzw csVV5yBalxUuy4zFayllb9bydWE/PRZc2xJ4G1G+56Sh74fIw7KLQCYAwXHxAbnSSwho mpnzFKiS5jtJd+Gn04z0bY0HBAl/YRzweBvvpD+mBB9wgJE4hIIn0qmD08CEXfqIDW9M l8dA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:cc:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=qV9cYMaEbMgwVIDg+U3yeOTZCZoCzDuMeQlkDiJXjVw=; b=mpBGzEeXFSLJ7u/m0e8MWO+3DTI/7xIix6pvvBKVuBFJPEqnGMPu/uMlKihXaXw4vn q5Kl814iot8kswigaanRQlTp0zfC2aTc/YFpgKsytSGibw4eEdew/6OzrS30X8HunhNG OiyM30hmJ+ZdkT0Jqi91ou8xfFx9TBcuTki0RIfOS0OUf8mHzU1bclCUpe7YaUrVibSJ bUllAW7IMV9JtSQIl1xQysvqiaACjwLbVWROsdbMUIqLUNob9AyAigtDewHA3D3uYqsK 48hnMOohMyfIz6rOzLPSuQz3PwLwlyyVo2XpaTMkPaciwKglEBbvL8hDK/kYBC+YO0/B meQQ== X-Gm-Message-State: APjAAAUstcvXVm++/znidMXwU0zpiqWXuAXX21l2UgwNYhksqDC9yMDJ 8zLPoZlAaucd0gQzwufg7TOdoK1u X-Google-Smtp-Source: APXvYqx3iNq67U+/uQ3DqxxasHhqAtl7yQMW21kj+O54chvcVpLPEpvcZvdPFDtkhU6P3rEaOiUzMQ== X-Received: by 2002:a0c:fe43:: with SMTP id u3mr10024197qvs.52.1557505990990; Fri, 10 May 2019 09:33:10 -0700 (PDT) Received: from [192.168.5.181] ([158.106.223.30]) by smtp.gmail.com with ESMTPSA id t129sm2839758qkc.24.2019.05.10.09.33.09 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 10 May 2019 09:33:09 -0700 (PDT) To: caml-list@inria.fr Cc: Nik Graf , =?UTF-8?Q?Arma=c3=abl_Gu=c3=a9neau?= From: Bruno Bernardo Message-ID: <0ee2091d-4d11-3fcd-7c95-578a5018c84c@gmail.com> Date: Fri, 10 May 2019 18:35:33 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-US X-Validation-by: bernardobruno@gmail.com Subject: [Caml-list] Prochain meetup OUPS 21 mai 2019 / Next OUPS meetup May 21st 2019 Reply-To: Bruno Bernardo X-Loop: caml-list@inria.fr X-Sequence: 17544 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: (English version below) Bonjour, Le prochain meetup aura lieu mardi 21 mai. Nous nous retrouverons dans les locaux de l'IRILL à Jussieu (4 Place Jussieu - Paris). Les présentations commenceront à 19h (pour environ 1h30) et seront suivis du pot habituel. Le programme des exposés confirmés jusqu'ici : - Nik Graf, un exposé autour de ReasonML (à définir),   https://www.nikgraf.com/ - Armaël Guéneau, Incremental Cycles, Un algorithme certifié et   incrémental de détection de cycles pour Dune,   https://gitlab.inria.fr/agueneau/incremental-cycles Nous profitons de l'occasion pour rappeler que nous sommes toujours en demande de *propositions* d'exposés sur les sujets de votre choix pour les meetups suivants. Pour vous inscrire, ou pour plus d'informations rendez vous ici : https://www.meetup.com/fr-FR/ocaml-paris/events/261323263 *L’inscription est nécessaire pour pouvoir accéder au bâtiment après 19h!* Elle nous permet également de pouvoir estimer les quantités pour le pot. Accès: IRILL - Université Pierre et Marie Curie (Paris VI) Barre 15-16 1er étage 4 Place Jussieu 75005 Paris https://www.irill.org/pages/access.html Les organisateurs du meetup. ---------------------------------------------------------------- Hi, The next OUPS meetup will take place on Tuesday, May 21, 7pm at IRILL on the Jussieu campus. As usual, we will have a few talks, followed by pizzas and drinks. The talks will be the following: - Nik Graf, TBD (something related to ReasonML)   https://www.nikgraf.com/ - Armaël Guéneau, Incremental Cycles, A certified incremental cycle   detection algorithm used in Dune,   https://gitlab.inria.fr/agueneau/incremental-cycles Please do note that we are always in demand of talk *proposals* for future meetups. To register, or for more information, go here: https://www.meetup.com/ocaml-paris/events/261323263 *Registration is required! Access is not guaranteed after 7pm if you're not registered.* (It also helps us to order the right amount of food.) Access map: IRILL - Université Pierre et Marie Curie (Paris VI) Barre 15-16 1er étage 4 Place Jussieu 75005 Paris https://www.irill.org/pages/access.html The meetup organizers.