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 31C5E5D4 for ; Wed, 16 May 2018 09:51:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,404,1520895600"; d="scan'208,217";a="327091549" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 May 2018 11:50:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AAE5A82451; Wed, 16 May 2018 11:50: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 3CAF18240C for ; Wed, 16 May 2018 11:49:53 +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-qk0-f175.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A1IlcSBx7v4rGAOvXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+8TIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHohi?= =?us-ascii?q?kJNCM3/n/LhcFrlq1XvAisqgZjz4LIYoyYMud1cKPHfdMdQGpMRttcVzZcAoO6?= =?us-ascii?q?aIsEEvcMMvhCr4n7vVQOtwaxBQ6xD+7o0TBHmGX23asg3OQ7DA7G2xcvH8gTsH?= =?us-ascii?q?TSq9X4L6gSUeWvw6nJyTXPde9Z2TD46IXRdB0qvP+CXbV1ccXLyEkvERvIjlCR?= =?us-ascii?q?qYz/JTyV2foCv3Ka7+pnTe6vj28nqxhsojiu28gsi5XJh4IMxlDA7yp5xok1Kc?= =?us-ascii?q?e/SE5hbt6oCJRQtyCGN4t2X8MtWHtktzo9yr0DoZK7fTIKyJUjxx7bcfCHdJKI?= =?us-ascii?q?4h37WOaUPzh3mm5leK+nhxqo7Uegzej8W8+p21hJtipIisfAumwJ2hDJ6cWKSu?= =?us-ascii?q?Fx8lm/1TqTzQzf9+NJLEAymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Uh4Oeo?= =?us-ascii?q?6uDnbqz/pp+fK4N4kw/+Prksl8G/G+g4PQ8OX2+U+eS4yrLv51H2QLJPjvEuk6?= =?us-ascii?q?nZto7VJdgDq6KnHwNY1pwv5hW/Aju8ztgUg2ULIEhYdB+Fj4XlI1TOL+r5Dfe7?= =?us-ascii?q?jVSsijBrx/XeM7L6HJrNNH7Dn637fblg7E5T0xAzzc1Z55JTEbwBL/fzVVXwtN?= =?us-ascii?q?zcFBM2Lwu0w+P/BNVnyoweQX6PArOeMK7KrVCH/OcvI+2VaI8RuTb9MOQl6uX1?= =?us-ascii?q?jX45nF8dZbOm0YEWaHC+BPRmIl+WbWDigtcbQi82uV81RenuzVmDSiJ7ZnCoXq?= =?us-ascii?q?t66CtoJpihCNLpXJ2rh/Sr0T29F4daYSgSAF2WF37ye4KOQeoKbwqdJ8ZglnoP?= =?us-ascii?q?Ur33GNxp7g2nqAKvk+kvFeHT4CBN7cuyhugw3PXakFQJzRIxCs2c12+XSGQtxz?= =?us-ascii?q?EHQjY32OZ0pkkvkw7fg5g9uORREJlo390MSh0zbMeOwOlzCtS0UQXELI/QFQSW?= =?us-ascii?q?B+6+CDR0deofht8DZ0EnRYenhxHHmjOpW/obzuPWQpMz9a3Y0j76IMMvk3s=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DxCABV/ftahq/cVdFchBc9fCgKg2pSS?= =?us-ascii?q?4JQkQuCbhqHZItOgXgLI4RJgxYHGQcBBDEXAQIBAQEBAQEBAQETAQEBCAsLCCg?= =?us-ascii?q?jDII1IoJ7HQEbHgMSEDcCJAERAQUBPYMbAoFmAQMVD50igx08iwWBfwUBF4JwB?= =?us-ascii?q?YNTChkmDVRXgh8CBhKIFYITgQ+CVweBb4FQAQEBggyCU4JUAoc7VIh+hzQJgTq?= =?us-ascii?q?ELoJUgSmEboE3gimBQYdWiVyHAw8DHoEEHgJagSxNI4EBggIBDwkKghkCg06CZ?= =?us-ascii?q?IIwhUA9MAGPQAEB?= X-IPAS-Result: =?us-ascii?q?A0DxCABV/ftahq/cVdFchBc9fCgKg2pSS4JQkQuCbhqHZIt?= =?us-ascii?q?OgXgLI4RJgxYHGQcBBDEXAQIBAQEBAQEBAQETAQEBCAsLCCgjDII1IoJ7HQEbH?= =?us-ascii?q?gMSEDcCJAERAQUBPYMbAoFmAQMVD50igx08iwWBfwUBF4JwBYNTChkmDVRXgh8?= =?us-ascii?q?CBhKIFYITgQ+CVweBb4FQAQEBggyCU4JUAoc7VIh+hzQJgTqELoJUgSmEboE3g?= =?us-ascii?q?imBQYdWiVyHAw8DHoEEHgJagSxNI4EBggIBDwkKghkCg06CZIIwhUA9MAGPQAE?= =?us-ascii?q?B?= X-IronPort-AV: E=Sophos;i="5.49,404,1520895600"; d="scan'208,217";a="265390132" Received: from mail-qk0-f175.google.com ([209.85.220.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 May 2018 11:49:52 +0200 Received: by mail-qk0-f175.google.com with SMTP id p186-v6so105642qkd.1 for ; Wed, 16 May 2018 02:49:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=ssspBuJ+AAuXtgLTbsYGZM9FXPnYsOc6rlo8QN2sVoI=; b=JsPy6lr5KVKp2Mei5TsciG4TTPfdKcYpSC0ut1mSxeQCcDhBiSiXaFl6vjOEMSm3OQ VGG8yOfnYg4MphpquGx3U3cah7xB/zUV/W4zVNqhIQ66MLPpoFTx5kce196LDKIjP2ax csH6xG/bWjFxTPhyju63ju8cYNAxFDNc+Q5wYRgBokfaP1P632N0wlG/1gxVFqCy0QoH Rt8gTfXqkHH3MQgVrOh2wnEzvFZ1SSmlULNLzu1kUYVcajNwPW32N9QUpdgaAaxtmJnZ fAFRa6i0fa+X8oklJhjcZk2TB4qJNtrMeAJm9EUpVhOWhN1aVkmEryRUOIcPNsApTRUP 7Bsw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=ssspBuJ+AAuXtgLTbsYGZM9FXPnYsOc6rlo8QN2sVoI=; b=OBjkyQQmt/eqn95hASKoJA14hwhTZvMDu86vHggfEVO0h6yHjalK/LU1+qAFllWSLf HmffoTpbwYbiq9/VbGGQv03QlRKxjSxwPl0kAZ/U2yOCbiNltNs8hoG4DfJfDHM31XeP i0floK2BXodOiWWjy5Anwpw2yqxBEQn2OLfR33e0fbC1vuuNlP8BmYY7flDxLZeo6AL1 2gN6j0CqHjD72/tbP1bDVKFbG0IcYipvL6g5xVZqg7Kr6mgfBRwKDTH1pjL/vUyc/oIG DZ/BTuzk7EPg+H2m9ZfslNKmB1sYiRqOlzwX9rsg0hj3UWKupgOSNVDZvmy3pYsIDHtN O5Ew== X-Gm-Message-State: ALKqPwdv3X6DwD6BURDxGAKtlBHUaX1/5MMaWKVT/MAjGyWHQfCX78yU vPKIgWPcjsGBYY7JlmEqgYrvj1RQzrig/HTRulsYFfko X-Google-Smtp-Source: AB8JxZodnlsdTEeb6iTV+p/yf5Zla5aqHaqpit6yL5fd+vAsHXQKYTBWsVtI5HeRWyWTO656VIOxQXgX6v6ukwV12j8= X-Received: by 2002:a37:a188:: with SMTP id k130-v6mr152486qke.88.1526464190548; Wed, 16 May 2018 02:49:50 -0700 (PDT) MIME-Version: 1.0 Received: by 10.200.114.208 with HTTP; Wed, 16 May 2018 02:49:30 -0700 (PDT) From: Bruno Bernardo Date: Wed, 16 May 2018 11:49:30 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000d710ef056c4fa322" X-Validation-by: bernardobruno@gmail.com Subject: [Caml-list] Prochain meetup OUPS 23 mai 2018 / Next OUPS meetup, May 23rd 2018 Reply-To: Bruno Bernardo X-Loop: caml-list@inria.fr X-Sequence: 16894 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: --000000000000d710ef056c4fa322 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable (English version below) Bonjour, Les meetups OUPS reprennent. Le prochain meetup aura lieu mercredi 23 mai. Nous nous retrouverons dans les locaux de l'IRILL =C3=A0 Jussieu (4 Place Jussieu - Paris). Les pr=C3=A9sentations commenceront =C3=A0 19h (pour environ 1h30) et seront suivis du pot habituel. Le programme des expos=C3=A9s confirm=C3=A9s jusqu'ici: - Thomas Gazagnaire sur Mirage OS (https://mirage.io) - Alain Mebsout sur Liquidity (http://www.liquidity-lang.org) - Steven Varoumas sur OMicroB (https://github.com/stevenvar/OMicroB) Nous profitons de l'occasion pour rappeler que nous sommes toujours en demande de *propositions* d'expos=C3=A9s 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/250836568/ *L=E2=80=99inscription est n=C3=A9cessaire pour pouvoir acc=C3=A9der au b= =C3=A2timent apr=C3=A8s 19h!* Elle nous permet =C3=A9galement de pouvoir estimer les quantit=C3=A9s pour = le pot. Acc=C3=A8s: IRILL - Universit=C3=A9 Pierre et Marie Curie (Paris VI) Barre 15-16 1er =C3=A9tage 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, May 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: - Thomas Gazagnaire sur Mirage OS (https://mirage.io) - Alain Mebsout sur Liquidity (http://www.liquidity-lang.org) - Steven Varoumas sur OMicroB (https://github.com/stevenvar/OMicroB) 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/250836568/ *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=C3=A9 Pierre et Marie Curie (Paris VI) Barre 15-16 1er =C3=A9tage 4 Place Jussieu 75005 Paris https://www.irill.org/pages/access.html The meetup organizers. --=20 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= --000000000000d710ef056c4fa322 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
(English version below)

Bonj= our,

Les meetups OUPS reprennent. Le prochain meet= up aura lieu mercredi 23
mai.
Nous nous retrouverons da= ns les locaux de l'IRILL =C3=A0 Jussieu (4
Place Jussieu - Pa= ris). Les pr=C3=A9sentations commenceront =C3=A0 19h (pour
enviro= n 1h30) et seront suivis du pot habituel.

Le progr= amme des expos=C3=A9s confirm=C3=A9s jusqu'ici:
- Thomas Gaza= gnaire sur Mirage OS (https://mirage.io)<= /div>
- Alain Mebsout sur Liquidity (http://www.liquidity-lang.org)
- Steven Varoumas sur = OMicroB (https://github.co= m/stevenvar/OMicroB)

Nous profitons de l'o= ccasion pour rappeler que nous sommes toujours en
demande de *pro= positions* d'expos=C3=A9s sur les sujets de votre choix pour
= les meetups suivants.

Pour vous inscrire, ou pour = plus d'informations rendez vous ici:

*L=E2=80=99inscription est = n=C3=A9cessaire pour pouvoir acc=C3=A9der au b=C3=A2timent apr=C3=A8s 19h!*=
Elle nous permet =C3=A9galement de pouvoir estimer les quantit= =C3=A9s pour le pot.

Acc=C3=A8s:
IRILL -= Universit=C3=A9 Pierre et Marie Curie (Paris VI)
Barre 15-16 1er= =C3=A9tage
4 Place Jussieu
75005 Paris

Les organisateurs du meetup.
=


----------------------------------------= ------------------------

Hi,

<= div>The OUPS meetup is back. The next one will take place on Wednesday,
May 23, 7pm at IRILL on the Jussieu campus.
As usual, we w= ill have a few talks, followed by pizzas and drinks.

The talks will be the following:
- Thomas Gazagnaire sur Mirag= e OS (https://mirage.io)
- Alai= n Mebsout sur Liquidity (http://w= ww.liquidity-lang.org)
- Steven Varoumas sur OMicroB (https://github.com/stevenvar/OMic= roB)

Please do note that we are always in dema= nd of talk *proposals* for future
meetups.

To register, or for more information, go here:
*Registration is required! Access= is not guaranteed after 7pm if
you're not registered.* (It a= lso helps us to order the right amount of
food.)

Access map:
IRILL - Universit=C3=A9 Pierre et Marie Curi= e (Paris VI)
Barre 15-16 1er =C3=A9tage
4 Place Jussieu=
75005 Paris

<= div>The meetup organizers.
--000000000000d710ef056c4fa322--