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 549052DF5 for ; Thu, 11 Oct 2018 13:59:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,368,1534802400"; d="scan'208";a="350725781" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 11 Oct 2018 15:59:25 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0FD0582515; Thu, 11 Oct 2018 15:59:25 +0200 (CEST) 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 650D5824E4 for ; Thu, 11 Oct 2018 15:56:40 +0200 (CEST) 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-wr1-f50.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AN4t29ROlY5AiEt6aQmkl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Ivz8rarrMEGX3/hxlliBBdydt6obzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kHKjA37mLZhMJ+g61UvB2vqAdyw5LXbYyPKPZyYq3QcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoYSFeoBIOBYr47grFYTsxS+Hw+sC/n1yjBVgX/9wKo33P8/HgHc2gwvBcgOv2?= =?us-ascii?q?nTrNruLqcSTOa1zK7TwDXMavNZwzb96IzSfh89pvGMWKt9fMzMwkchEAPFi0+f?= =?us-ascii?q?qY3jPz6N1+QNqWmb7+5kVe61jG4nsQ5xriCqxsgylIbJmp8Vykje+Splx4Y1IN?= =?us-ascii?q?u1Q1N4b968CJZcqT2WOo9sTs4hQ2xkojg2xqMbtZKhfCUG1IwrywPcZvGHaYSE?= =?us-ascii?q?/xbuWemLLTtmin9od6iziwu8/EWuzOD3S9O630xQriVfl9nBrnAN2ALX6siAUv?= =?us-ascii?q?Z9+12u2TeL1wzK5OBEO104mbPVK5Mh3rI8jJUTsUPEHi/5nEX5krWaeVkj+uit?= =?us-ascii?q?8+jnY7PmqYGAN4JslA3yLqAjlta8DOk4KAQCQXaX9fmm2LDj4UH1WLBKgec3kq?= =?us-ascii?q?ndvpDaP8MbpquhDgBOzIkj8RC/AC280NsFmnkIN0hFeA+Bj4juIFzOL/X4Au2+?= =?us-ascii?q?g1Soijtk2/fGPrj5DpXXMnfDiKvhfap660NE1AU819Vf55ZNBrEFIfLzQVPxuc?= =?us-ascii?q?fDDh45Ngy02/zoBM981oMYQ2KPA7WWPLncsV+StaoTJLyHbYoR/TL8MOQN5vj0?= =?us-ascii?q?jHZ/l0VOU7Ou2M49cm2+GbxMLl+faGDghZ9VG2oQuAMkQOvgkkCEVhZcYn+zW+?= =?us-ascii?q?Q34TRtW9HuNpvKWo342O/J5yy8BJADPjkXWGDJKm/hcsC/Y9lJbSuTJsF7lTld?= =?us-ascii?q?DOquToYg0VelswqokuM7fNqRwTURsNfY7PYw//fazEhg+jl9DsDb2GaIHTktwz?= =?us-ascii?q?E4AgQu1aU6mnRTj1eO1a8i3q5dHN1XouxTC0I0aMaawOt9BNT/HAnGe4XRRQ?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BhBQB8Vb9bhzLdVdFiHgEGBwaBZYJqg?= =?us-ascii?q?SeDNj+DeZIzCIEfiHWPCwsBAQUeiSAZBwEENBYBAwEBAgEBAQEBEwEBAQgNCQg?= =?us-ascii?q?pIwyCNiKCdBcPAQUIARseAxIDDQ8CJgIlEQEFAS8IAQGDHAGBaAEDFQQLikCMa?= =?us-ascii?q?IMePIsLgREFAReCdgWBMAFLgXMKGScNWoE2AgEFCQEIeYo6F4IAgRInDIIqB4F?= =?us-ascii?q?vgVoBAoItgjSCVwKIYV+KZolqCYFYiA+BP4UoBheBT4JygXmCXA+GbJVrAgQCB?= =?us-ascii?q?AUCBQ8hgThIgS5NI4EBgjsTggcYAoNPhRSFQG0BjGABAQ?= X-IPAS-Result: =?us-ascii?q?A0BhBQB8Vb9bhzLdVdFiHgEGBwaBZYJqgSeDNj+DeZIzCIE?= =?us-ascii?q?fiHWPCwsBAQUeiSAZBwEENBYBAwEBAgEBAQEBEwEBAQgNCQgpIwyCNiKCdBcPA?= =?us-ascii?q?QUIARseAxIDDQ8CJgIlEQEFAS8IAQGDHAGBaAEDFQQLikCMaIMePIsLgREFARe?= =?us-ascii?q?CdgWBMAFLgXMKGScNWoE2AgEFCQEIeYo6F4IAgRInDIIqB4FvgVoBAoItgjSCV?= =?us-ascii?q?wKIYV+KZolqCYFYiA+BP4UoBheBT4JygXmCXA+GbJVrAgQCBAUCBQ8hgThIgS5?= =?us-ascii?q?NI4EBgjsTggcYAoNPhRSFQG0BjGABAQ?= X-IronPort-AV: E=Sophos;i="5.54,368,1534802400"; d="scan'208";a="350725249" Received: from mail-wr1-f50.google.com ([209.85.221.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Oct 2018 15:56:39 +0200 Received: by mail-wr1-f50.google.com with SMTP id w5-v6so9821794wrt.2 for ; Thu, 11 Oct 2018 06:56:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:subject:to:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=/6GkXs6SlKnHcrK3Vw0ct9tpJK0JKplpp/CgqWIBhq0=; b=KInTexeWQMzlLEkv1uW+b+ci4KON42Bh3RMOZZ606bRg4tnVftP0D8z0MuM1nvOXjB VHyN0LAwT5ZIIxEp2is5Ww87ttNkXJQqIkWDA7vlLaLOGPKUOlBZxBDHKmhIbfscPoH2 qbo3ZIxaM0+X4r3MWNrBJ7I1Xi9sW1JQCpMf5Z7a+AKUhqOOLwbaX3lMRszEX6koB8yX Wd5q6KOBDyeYtRBy5sonDEBmHui23l/hdnRxZlNKQTxI6Yml2xWzEAE2NTJru4mzZqYX cf7CMXjif1XaOorUjtxghkwvijyk+Jxg+lgnZvLVgdeID1JtO/7rbf8HYdNaPnaBTBrY EwWg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:subject:to:message-id:date:user-agent :mime-version:content-transfer-encoding:content-language; bh=/6GkXs6SlKnHcrK3Vw0ct9tpJK0JKplpp/CgqWIBhq0=; b=eIAXNjI0BzGSdf7cL+xXXduNkOh0yiqZMqLR1FsyXW1kMccrHTwVApYo40PmbnFLFu 6xxhUJ1/pthX6DCB7Kb4kSdM741Y4Ut1LDxRaIEV9xJ4Q63in8mX2049EckqrNXQFStd o5v28fenBOAMo5BTu1lCTH2kKE4zZjlHmpg44alc0MeG1TqZHSDvUreZalMfi2v4uhDk OOYZwlRoO2rWtZwD+aLjtP6uA4tuk+Gi55opeKj4Pi+q4QWqZINf6k63dD0r3MPlUBx0 49ZvPcQrUzENYXQoNG6OQY1BsEwGeOZTyVRqmN6uT6kjZSGFzcD2/4jzp53BZvqFQVju Iraw== X-Gm-Message-State: ABuFfoiwkhQyojfCRvbOgomlXI0UcMBwu/cusJcFswlwnS7xQHLoBINg fvYGWqGySRdV74UMv79YHdxor7Eu X-Google-Smtp-Source: ACcGV610fB4wzQ5B0Za6VE226w7pZdt7oOMYK2jL6W2j1rhFDTN3SYLg6w/Bz4fX/TPvfZhIhQB+ow== X-Received: by 2002:adf:8206:: with SMTP id 6-v6mr1710468wrb.160.1539266198617; Thu, 11 Oct 2018 06:56:38 -0700 (PDT) Received: from [10.2.158.22] ([185.194.234.133]) by smtp.gmail.com with ESMTPSA id b143-v6sm35142692wma.28.2018.10.11.06.56.37 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 11 Oct 2018 06:56:38 -0700 (PDT) From: Bruno Bernardo To: caml-list@inria.fr Message-ID: <38622d44-1763-77b7-a03f-ffdcc15ec6ce@gmail.com> Date: Thu, 11 Oct 2018 15:57:13 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.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 23 octobre 2018 / Next OUPS meetup October 23rd 2018 Reply-To: Bruno Bernardo X-Loop: caml-list@inria.fr X-Sequence: 17101 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 23 octobre. 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: - Jacques Garrigue, Implémentation légère des types linéaires avec des   lenses et des monades. - Yann Régis-Gianas, Learn OCaml - Gabriel Scherer, Portage du parseur OCaml du compilateur de   ocamlyacc vers Menhir. 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/ocaml-paris/events/255450340 *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, October 23, 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: - Jacques Garrigue, Lightweight linearly-typed programming with lenses   and monads - Yann Régis-Gianas, Learn OCaml - Gabriel Scherer, Porting the OCaml parser of the compiler from   ocamlyacc to Menhir 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/255450340 *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. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs