From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 F2BB68021A for ; Tue, 19 Sep 2017 09:00:48 +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-qt0-f174.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bernardobruno@gmail.com) identity=pra; client-ip=209.85.216.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernardobruno@gmail.com"; x-sender="bernardobruno@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bernardobruno@gmail.com designates 209.85.216.174 as permitted sender) identity=mailfrom; client-ip=209.85.216.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernardobruno@gmail.com"; x-sender="bernardobruno@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f174.google.com) identity=helo; client-ip=209.85.216.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernardobruno@gmail.com"; x-sender="postmaster@mail-qt0-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AAsFajBcqwYn3Y/x2EQb0R9n5lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc28Zh7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpW1aJhKqPgNw?= =?us-ascii?q?IqHxG5XOp8WxzeG7vZPJMCtSgz/oS6lvKhL+hwjLsMAMjYwqfqw80B3AuHdPcf?= =?us-ascii?q?5Lw2RAKleanhK67cC1qs0wux9Msu4sopYTGZ7xeL41GORV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C0AgAdwMBZhq7YVdFcHgYMGQYMhBNuJ?= =?us-ascii?q?weDboE2m0+IMo8MCiOFGIRMB0MUAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigm0?= =?us-ascii?q?dARseAxIJBzcCJAERAQUBik8BAxUQmU2DRUCMC4IFBQEcgwoFg2IKGScNV4MID?= =?us-ascii?q?B4CAQUSgxmCAoMzgnOBcYNpgmaCYAWKDFuNW4hJgWyFcINcggiHFoITg1WCFYp?= =?us-ascii?q?8lSMUBR+BFTZiTFMkeII3gg8qGwSBdT42AYhaAQEB?= X-IPAS-Result: =?us-ascii?q?A0C0AgAdwMBZhq7YVdFcHgYMGQYMhBNuJweDboE2m0+IMo8?= =?us-ascii?q?MCiOFGIRMB0MUAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMigm0dARseAxIJBzcCJ?= =?us-ascii?q?AERAQUBik8BAxUQmU2DRUCMC4IFBQEcgwoFg2IKGScNV4MIDB4CAQUSgxmCAoM?= =?us-ascii?q?zgnOBcYNpgmaCYAWKDFuNW4hJgWyFcINcggiHFoITg1WCFYp8lSMUBR+BFTZiT?= =?us-ascii?q?FMkeII3gg8qGwSBdT42AYhaAQEB?= X-IronPort-AV: E=Sophos;i="5.42,416,1500933600"; d="scan'208,217";a="237950803" Received: from mail-qt0-f174.google.com ([209.85.216.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Sep 2017 09:00:48 +0200 Received: by mail-qt0-f174.google.com with SMTP id i50so2820618qtf.0 for ; Tue, 19 Sep 2017 00:00:48 -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=FjqY0C0QMRLaHMnWDp9kjlnG4sFItFotGOjPveV+mms=; b=BG4ksb+BC4B3ZT8ks/gX8J9Q3bJV2iKVnMwR7wBPOLMOIAwBwEpnoSqxgdC2STudFR tMwIKentQMq0Gi+h0YhGIFWryKPeTVT3wK9nR3fFVn1eBAlv7sfLLgndf4mL17S6pAry Kuj6rfcftx7S+98ZnNJn/PqHZwHgIsD9b3/A8arhI03Xa65yTYnDXOzhhIyHbGgFOKnw iKP2gE1YjsiVBXziZCD8/5OL0ge0D49Pvy5j/nKGxXAKNefFiLYCLYLFWLl6HpRowmWZ eUsVU1Rr5qW4LCcVmjfAE/4Z9LsztQbRwUtIRussAIkcVP+kDlqhX2v5/rVkbY+eISb+ KD5g== 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=FjqY0C0QMRLaHMnWDp9kjlnG4sFItFotGOjPveV+mms=; b=faYB5J0nAOgJ9n9wXz5e/inlpc93+CCtlQeVIhAWo3QAdKCbvEPmb+aaGO02Jo8C46 0Sh6M/BYtFwo4d6+bc0JW9qgRnXGlkCNyC8bOpMUk/P+ztqDxrIn/109yepehlliaeBb 65lwQvjEZem2T2RZl6JQumyry5492+fhgZyTojGzC+yrAXuLXFmatPdnK5wHyMU9jId0 5lMsAErlJ22YF8edAoNv2FHuz9bmPtADonp5LsCFT6axGAnzFlXc8jhYPb6dK9IDPgAg +d+GsSc6N4CW2loy51/8JfcD1sqExsEIGI+WYneyXcwlHA0Cmsqrsr4VvSzGQHssia8x Aa+Q== X-Gm-Message-State: AHPjjUi34e681tzcLjVICcZxDo+0oJ9ugCBg9CSqelZ0KtiBr6qYEZjC 3bjWav0k5ExMqhnIYvI/x9hYRhZTOprvooEhTqAgkC56 X-Google-Smtp-Source: AOwi7QChCtxOOfn6KOJ5CalUpSOTMwRxUItCXURGQipPh7qy23g8YK2rryyiOCep04UjdhpCYzZOkRVDKF8oU+BVQvM= X-Received: by 10.200.37.8 with SMTP id 8mr578926qtm.77.1505804446148; Tue, 19 Sep 2017 00:00:46 -0700 (PDT) MIME-Version: 1.0 Received: by 10.200.45.218 with HTTP; Tue, 19 Sep 2017 00:00:25 -0700 (PDT) From: Bruno Bernardo Date: Tue, 19 Sep 2017 09:00:25 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="001a1138f3421d2d8a0559856b0a" X-Validation-by: bernardobruno@gmail.com Subject: [Caml-list] Prochain meetup OUPS 26 septembre 2017 / Next OUPS meetup, Sep 26th 2017 --001a1138f3421d2d8a0559856b0a 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 mardi 26 septembre. 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 envi= ron 1h30) et seront suivis du pot habituel. Le programme des expos=C3=A9s confirm=C3=A9s jusqu'ici: - Matthias Le Brun sur Reason (https://reasonml.github.io/) - Guillaume Bury sur mSAT (https://github.com/Gbury/mSAT) - Yann Hamdaoui sur Mechaml (https://github.com/yannham/mechaml) 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/243385334/ *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 Tuesday, Sep. 26, 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: - Matthias Le Brun on Reason (https://reasonml.github.io/) - Guillaume Bury on mSAT (https://github.com/Gbury/mSAT) - Yann Hamdaoui on Mechaml (https://github.com/yannham/mechaml) 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/243385334/ *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. --001a1138f3421d2d8a0559856b0a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
(English version below)

Bonjour,

Les meetup= s OUPS reprennent. Le prochain meetup aura lieu mardi 26
septembre.
= Nous nous retrouverons dans les locaux de l'IRILL =C3=A0 Jussieu (4 Pla= ce
Jussieu - Paris). Les pr=C3=A9sentations commenceront =C3=A0 19h (pou= r environ
1h30) et seront suivis du pot habituel.

Le programme d= es expos=C3=A9s confirm=C3=A9s jusqu'ici:

- Matthias Le Brun sur= Reason (https://reasonml.github.io= /)
- Guillaume Bury sur mSAT (https://github.com/Gbury/mSAT)
- Yann Hamdaoui sur Mechaml (https://github.com/yannham/mecha= ml)

Nous profitons de l'occasion pour rappeler que nous somm= es toujours en
demande de *propositions* d'expos=C3=A9s sur les suje= ts de votre choix pour
les meetups suivants.

Pour vous inscrire, = ou pour plus d'informations rendez vous ici:
https://www.meetup.com/ocaml-pari= s/events/243385334/

*L=E2=80=99inscription est n=C3=A9cessaire p= our pouvoir acc=C3=A9der au b=C3=A2timent apr=C3=A8s 19h!*
Elle nous per= met =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 T= uesday,
Sep. 26, 7pm at IRILL on the Jussieu campus.
As usual, we wil= l have a few talks, followed by pizzas and drinks.

The talks will be= the following:

- Matthias Le Brun on Reason (https://reasonml.github.io/)
- Guillaume Bury on m= SAT (https://github.com/Gbury/mSA= T)
- Yann Hamdaoui on Mechaml (https://github.com/yannham/mechaml)

Please do note tha= t 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/243385334/
*Registration is required! Access is not guarante= ed after 7pm if
you're not registered.* (It also helps us to order t= he 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.

--001a1138f3421d2d8a0559856b0a--