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 09A975D5 for ; Sun, 8 Dec 2019 22:35:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,293,1571695200"; d="scan'208";a="419282341" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Dec 2019 23:35:04 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id AFBE67F3A9; Sun, 8 Dec 2019 23:35:04 +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 981BB7ED1F for ; Sun, 8 Dec 2019 23:34:33 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bernardobruno@gmail.com; spf=Pass smtp.mailfrom=bernardobruno@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f45.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AE2nXIxNCNvfOYd6mRLEl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/7yrarrMEGX3/hxlliBBdydt6sfzbOG7Ou5BzZIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfL1/IA+roQjStMQajpZuJ6cvxhDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjk2/nzKisxrlKJUvg6upwBxzY7TZYGaLvt+fqXAdt8eSmdMWsNdWipcCY2+?= =?us-ascii?q?coQPFfIMM/hYoYfgpFUAoxWxCgawC+3g0TJImnz70Lcm3+g9HwzL3gotFM8Ovn?= =?us-ascii?q?TOq9X1Mb8fXP2vzKnVyzXDaO5d1Crj54jSdBAuu+uMUq93ccHMzkQgDB3Kjk+W?= =?us-ascii?q?qYP/JTOay+MNvHOB7+p9U+KvjHUqqw50oje1x8csjpPFiZ4SylDB7Ch0xps+K9?= =?us-ascii?q?O/SE5+e9GkEZ1QujmVN4t3XsMiQ3xotz0gxr0Hvp63ZCkKyI4mxx7bb/yLaY+I?= =?us-ascii?q?4gjsVOqJJDd3mmxqeK6ihxaq60Sv1ur8Vsyy3V1XrSRFisHBum4R2xHX8MSKSf?= =?us-ascii?q?tw8l281TqR1A3f8O5JLEAsmabFMZEt3rE9m58PvkvdAiD6hED7gLKKekgn5uSl?= =?us-ascii?q?7v7obankq5OCMoJ5jgHzP6AwlcG6H+g0LxQCUmue9Oug2r3u/030TbBEjvIska?= =?us-ascii?q?TUtJbXLtkBqKGjGQ9ayIMj5g6/Dzi41NQYmmEKLFdfdxKGi4jlIl/PIPXlAfum?= =?us-ascii?q?jVShnzdmy+rJPr3mBZXNIXzDn6n7cblh7E5czRI/zdFZ551KFrEMOOz/VlP1ud?= =?us-ascii?q?DCDRI0Mxa4z/v5BNh+zI8TVmKCDrecMKzIsF+I4uwvI/OLZI8QoDvyMOYq5+To?= =?us-ascii?q?jXAjg18SYK6p0oANaHClGPRmJF6UYXXpgtgbEGcKuhAyQ/DtiF2HSTJTfWq9X7?= =?us-ascii?q?og5jEnD4KrFZvMSZqogLyFxSu7GpxWZntaCl2XCnfpd4CEW+8WZy6II89hlCYE?= =?us-ascii?q?Vbm7RIM72xGurlyy970yJePR/mgctIn//Nlz/eza0x8ophJuCMHI+XuQSWY8tG?= =?us-ascii?q?4SQTYs0Kc39UZw0FGKy6R/ieZFE9t76PZAUwN8PpnZmb8pQ+vuUx7MK4/aAG2t?= =?us-ascii?q?Rc+rVG1gF49j85o1e094Xu6aoFXD0i6tWeJHkrWKANkr9/uZ0SSsYcl6zHnC2e?= =?us-ascii?q?8qiFx0GpIeZ13jvbZ28k3oP6CMlkyYk6iwcqFFhXzC8W6CySyFu0QKCVcsA5WA?= =?us-ascii?q?ZmgWYw7tlfq8/lnLFub8BrEuMw8HwsmHePNH?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DdAwAEee1dhi2AVdFlHgELHINJgUFVX?= =?us-ascii?q?IN1jxeFfYZ0j3cDVAkBAwEKAQEFHgoCAQGGVxwHAQQ0EwIQAQEEAQEBAgECAwQ?= =?us-ascii?q?BEwEBAQgLCwgphT4MgjsMgyQRDwEFCAEbHgMSEA8CJgIlEQEFAS8IAQEegwABg?= =?us-ascii?q?kUBAy4BDp5vgQM9iyaBFQUBF4J/BYE2AYMPChknDWMDgTwCAQYJAQh8KIUchnw?= =?us-ascii?q?aggCBESeCPoFwgWABAQGCL4JDgl4EjTVrkSOPFkeBcQOCOIRohSmCDIcIBhuGd?= =?us-ascii?q?IdIi3aXD5FmAgoHBg8jgUZMgS5NI4EBgjsTPREUjGYYAoNZgmSCMIVAQDMBgSe?= =?us-ascii?q?OGQEB?= X-IPAS-Result: =?us-ascii?q?A0DdAwAEee1dhi2AVdFlHgELHINJgUFVXIN1jxeFfYZ0j3c?= =?us-ascii?q?DVAkBAwEKAQEFHgoCAQGGVxwHAQQ0EwIQAQEEAQEBAgECAwQBEwEBAQgLCwgph?= =?us-ascii?q?T4MgjsMgyQRDwEFCAEbHgMSEA8CJgIlEQEFAS8IAQEegwABgkUBAy4BDp5vgQM?= =?us-ascii?q?9iyaBFQUBF4J/BYE2AYMPChknDWMDgTwCAQYJAQh8KIUchnwaggCBESeCPoFwg?= =?us-ascii?q?WABAQGCL4JDgl4EjTVrkSOPFkeBcQOCOIRohSmCDIcIBhuGdIdIi3aXD5FmAgo?= =?us-ascii?q?HBg8jgUZMgS5NI4EBgjsTPREUjGYYAoNZgmSCMIVAQDMBgSeOGQEB?= X-IronPort-AV: E=Sophos;i="5.69,293,1571695200"; d="scan'208";a="419282311" X-MGA-submission: =?us-ascii?q?MDEY6FMEbdAVM/rmE0vpwNKv0z7Ne7V15W0LcO?= =?us-ascii?q?rqNDUtwmmOv05NEGb/df6HTU8LwYnuDbdxgGQFdfznxpfUJELekppf13?= =?us-ascii?q?bGYPh7t6JGLlfREwJJh6/LGOnUxxFFrYwwlqcHpWDSMVBPoABK0154WX?= =?us-ascii?q?C4jevKyUo5w7ABdavfR8s7pw=3D=3D?= Received: from mail-wm1-f45.google.com ([209.85.128.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Dec 2019 23:34:32 +0100 Received: by mail-wm1-f45.google.com with SMTP id p9so13454406wmg.0 for ; Sun, 08 Dec 2019 14:34:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=to:from:subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=Yd4Sz75gayD6+zoIDS00vN5F93/MgW1xax4xm9MnvtA=; b=Pv6n/mwbD/thnBupS423sBBja8H6Ekuc7yz7ztfnna/HEItMgeCl16WUJTj+B7RzsZ 6SfhNc3Oze6VB1irLIyBvZSs4JQXdbCBJy6sR+AmQsSfJz4Mfas+QF9WCSxKJymvZZls FiurGb65ZuyklzQasbFG3t7sSyJLqLWZK+f+vBMY2/rwbhCOQksS7eg6SA0cCxbR7Xyn 8sTVUhiQMlWSFU3FTQ4KO8sQSMJwp3MY8t4LIlxixdhhpjzQZYs9FhHJhrzAgKSUyryo fMK5PGqLESI8eErl6mOYqOwdTgaYSg9zBWQbMG9MUKQosXp+ZwmFLoaGgT5S4UTwYVag 3iTQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:to:from:subject:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=Yd4Sz75gayD6+zoIDS00vN5F93/MgW1xax4xm9MnvtA=; b=Vlj/qZkjQZ2RFBrVUqUUC/R6h8CRYVboprbWPotz1XwsOtw4B4VkvX4yd79gD4k2kZ IP5B6+VJ8LXF/MpoB8OEOFmKGsd/3UafXPlghUxbS7NdH85R8NGw4PfuWbqcI08MZTVj Hx5dEvBFjxf/GtNGgHOeboQj56F9aIAae53rEfCC9Cj+G0FqLh2MRb4VsGgcxkFKqknA FYB1LjadxWO6huxyr4brhWsfXFC0S8AtmdR6csf9WpipBGd63bDRch75rSDKNACzzNdE Umau/Ss35VY7VzDBe2dEYWbPGpXR9L3/29gqcGXXSxHbxWYnRlCF1smvzahh3Wl9meq2 9kYw== X-Gm-Message-State: APjAAAVPf0qtsTJdoPxR5JWY/c3y0vM/Pi7wbeuw2/6LicZub5kQtYG0 0yyj8RtQMjIV7n88sjSCL5dvSrPX X-Google-Smtp-Source: APXvYqyPUv4ENd/xXAlecnc6QnuU/sqceIY6Cd/AAdgv7bnqdFp85mFRh8oc2WlizX/69XrxcKNipw== X-Received: by 2002:a1c:1987:: with SMTP id 129mr20983940wmz.112.1575844472504; Sun, 08 Dec 2019 14:34:32 -0800 (PST) Received: from ?IPv6:2a04:cec0:1080:ac72:959e:2108:cf75:fa89? ([2a04:cec0:1080:ac72:959e:2108:cf75:fa89]) by smtp.gmail.com with ESMTPSA id l17sm24720378wro.77.2019.12.08.14.34.30 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 08 Dec 2019 14:34:31 -0800 (PST) To: caml-list@inria.fr From: Bruno Bernardo Message-ID: <9439587f-74a9-cf06-3dbf-7e41c24e5db9@gmail.com> Date: Sun, 8 Dec 2019 23:34:30 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.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] =?UTF-8?Q?Prochain_meetup_OUPS_18_d=C3=A9cembre_2019_?= =?UTF-8?Q?/_Next_OUPS_meetup_December_18th_2019?= Reply-To: Bruno Bernardo X-Loop: caml-list@inria.fr X-Sequence: 17900 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 meetup OUPS est de retour. Le prochain aura lieu mercredi 18 décembre. 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 : - Nathan Rebours, Le futur d'OCaml PPX - Guillaume Claret, coq-of-ocaml (https://clarus.github.io/coq-of-ocaml/) Et possiblement un troisième exposé. Si vous êtes intéressés, faîtes signe ! En particulier si vous avez un petit projet à présenter en 10-15min. Pour vous inscrire, ou pour plus d'informations rendez vous ici : https://www.meetup.com/fr-FR/ocaml-paris/events/267019458 *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 OUPS meetup is back. The next one will take place on Wednesday, December 18, 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: - Nathan Rebours, The future of OCaml-PPX - Guillaume Claret, coq-of-ocaml (https://clarus.github.io/coq-of-ocaml/) And possibly a third talk. Contact us if you want to present something, especially if you have a small project you want to show in 10-15min. To register, or for more information, go here: https://www.meetup.com/ocaml-paris/events/267019458 *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 organisers.