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 CA6AD5D6 for ; Thu, 20 Sep 2018 14:19:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,398,1531778400"; d="scan'208,217";a="347310112" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Sep 2018 16:19:36 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 65B67824E4; Thu, 20 Sep 2018 16:19:36 +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 C1072824E4 for ; Thu, 20 Sep 2018 16:16:25 +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-f179.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AqPgZQxKPeOdtc2xhs9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLfvxwZ3uMQTl6Ol3ixeRBMOHs60C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhy?= =?us-ascii?q?gHOTA382/Zl9J+g75ArR27uxBy2ZTZbJ2JOPd8eK7WYNMURXBGXsZUTyFMH5m8?= =?us-ascii?q?b5YJD+oGIO1Vspfyp0EIrRSkHwmjGeTvwSJPi3Dtw6I6yeIhHhvc3AM9GNIBq2?= =?us-ascii?q?7UrMjzNKcVSu21w6zIwi/Cb/NSwzvy9I/IchU4rPyKQLl+f83RyUw1GAPEiFWd?= =?us-ascii?q?sY3lPymU1uQJt2iX9e1gVfigi2I/rgF+vCagxtsxionRnI4a1lfE9SB/zY0oJt?= =?us-ascii?q?O4UFZ2bcC4HJZUrS2XNIt7Ttk8T211uSs20KAKtJy/cSUM1Z8p3QTQa+adfIiN?= =?us-ascii?q?+h/jVPieITN/hH99fbKwnRey8Uy5xu3lSsm4zE9GriRYntTOsn0BzRPT6s+ASv?= =?us-ascii?q?ty+keuxyyD2BzU6uFBOUw0lKzbJIA9wrMoiJYfrUDOEjX1lUj2lqOaaFgo9+my?= =?us-ascii?q?5+j6YLjrooeQN4puhQH/NqQulNa/AeM9MgUWRGeU5/681Lv58k3jXbpKieY5kr?= =?us-ascii?q?PEsJDcIsQWvaG5AwpP3YYi7xazFSup0NMdnXUfNlJKZAqHj5T1O1HJOP33Ee2w?= =?us-ascii?q?g1GokDtyw/DGP6bhAonWI3jYkLbheK595FRGxAoyy9Bf/ZNUBasbLPL9QE+i/O?= =?us-ascii?q?DfWxQwNgjxx+f8FP180JkfUCSBGPy3KqTX5HWS++Qoa8OBfokcojr6Y6wv6uTo?= =?us-ascii?q?hGU1nlUHYK+u9ZQSYXG8WP9hJhPKMjLXnt4dHDJS7UIFR+vwhQjaCG8BVzOJR6?= =?us-ascii?q?s5owoDJsejBIbHSJqqheXYjii+F5xSIGtBDwLVSCu6R8C/Q/4JLRmqDIp5iDVd?= =?us-ascii?q?DOquToYg0Velswqok+M6fNqRwTURsNfY7PYw5+DXkktspzl9DsDYyn3VCm8twT?= =?us-ascii?q?JOSDgx06Ry50d6zwXb3A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AjBABcq6Nbh7PYVdFbHQEBBQELAYQ9f?= =?us-ascii?q?yiDc4EdglyQTIMFiF6OcgsFHoFUgnWDQxkHAQQ0FAEDAQECAQEBAQETAQEBCA0?= =?us-ascii?q?JCBsOIwyCNSKDCx0BGx4DEgkHNwIkAREBBQGDVgGBaAEDFQ+VEYMePIsLgREFA?= =?us-ascii?q?ReCdgWBMAGCRgoZJg1YgW8CAQUSil0XggCBEoJdB4FvgVoBAoINglSCVwKIRl2?= =?us-ascii?q?KL4kcCYFVh3SBO4UgF4FEgmWBa4kOlGYPIYE4SIEuTSOBAYIHATMTggYYAoNPh?= =?us-ascii?q?RSFQD0wAY1zAQE?= X-IPAS-Result: =?us-ascii?q?A0AjBABcq6Nbh7PYVdFbHQEBBQELAYQ9fyiDc4EdglyQTIM?= =?us-ascii?q?FiF6OcgsFHoFUgnWDQxkHAQQ0FAEDAQECAQEBAQETAQEBCA0JCBsOIwyCNSKDC?= =?us-ascii?q?x0BGx4DEgkHNwIkAREBBQGDVgGBaAEDFQ+VEYMePIsLgREFAReCdgWBMAGCRgo?= =?us-ascii?q?ZJg1YgW8CAQUSil0XggCBEoJdB4FvgVoBAoINglSCVwKIRl2KL4kcCYFVh3SBO?= =?us-ascii?q?4UgF4FEgmWBa4kOlGYPIYE4SIEuTSOBAYIHATMTggYYAoNPhRSFQD0wAY1zAQE?= X-IronPort-AV: E=Sophos;i="5.53,398,1531778400"; d="scan'208,217";a="279589344" Received: from mail-qt0-f179.google.com ([209.85.216.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 Sep 2018 16:16:20 +0200 Received: by mail-qt0-f179.google.com with SMTP id x23-v6so3011286qtr.1 for ; Thu, 20 Sep 2018 07:16:20 -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=ngS1YAdLKXU+sjRGvg8moenvCbSG1kqapLn+jbberZw=; b=czDhIhsXZQgXx9XPyT89/DTiHIfGIveMfS1YZ4q0+bZLqkcDMSTxZ+ln8J2cNp8hgf 10FZV9taLgIDgJFv6NR7BcKXcf1bLbUUMvlB+kJ05bQG76F5G+5Q/pw+/ET6t178N/aG 653T7aYsUB3Bi9l+mszckoYGgzoiygibNt0Fu1asHZZYHOAGHqvrKbi6bAJzXSFRvs35 HX6sSykzRGqZZB0jj3mDM4apEibzFlYxzRkQBs438waixkWdzim0VSs9jfF1SOjl43EO zMdM8EJCO9pswnzd7QX6Bd32E+3yPJUDB4Icj2ghLdQbQebxbHmLsdtSqCdgW7lDYgW4 V+gA== 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=ngS1YAdLKXU+sjRGvg8moenvCbSG1kqapLn+jbberZw=; b=ahblqhUOZh5GRk0IqrSfWnd698tYnEFjvl3W98w7DNhkVFOSNxDa5m1oQ0E0hQA3fg YKRUFawHORIHaFrYe6kWysIWDu/fax8G68Lakjl8RGmzlO4o4RD3au4OyRUx9rgvS3kH Sntk1KEV1riVSjtdYR7+61fCXEADgnaNHfXyYZGHhrGBpYvEeVaOVMFADGPvHBbMdmJk jWL1QFZnGisRNwNqLf8ZJ1E+v49l2NH8hdw0N8f2oy+uln6x94wsgUFSLC6I5rybcyJQ IHBEi6fq8M46WnNaoMGONf3qMOe0u7kEtMhPjHXNEbOtrkHTUs8xQmxI2PPJ2HaKx/E5 lHew== X-Gm-Message-State: APzg51DxaFZBJEVOkcCjtXdsVpO3+rWIlAQvJKRVECxBxnM1eoZsyvWH UZi4cNVrw7N8FSlUwTZoJzOgmNSofF/RfINHDTZT8A== X-Google-Smtp-Source: ANB0VdbZfBvbWWDdHvgNr06Dlr+SIbfqbi1ev8VTuYPqOsUuEUuVinGVP/bs46RDlJE2A5RyKqH0hY4ix2eEVOBHgtU= X-Received: by 2002:aed:3302:: with SMTP id u2-v6mr28089936qtd.92.1537452978927; Thu, 20 Sep 2018 07:16:18 -0700 (PDT) MIME-Version: 1.0 From: Bruno Bernardo Date: Thu, 20 Sep 2018 16:16:05 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000ab007505764e2a5a" X-Validation-by: bernardobruno@gmail.com Subject: [Caml-list] Prochain meetup OUPS 1er octobre 2018 / Next OUPS meetup October 1st 2018 Reply-To: Bruno Bernardo X-Loop: caml-list@inria.fr X-Sequence: 17075 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: --000000000000ab007505764e2a5a 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 lundi 1er octobre. 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: - Berke Durak : OCaml dans l'espace : Embarqu=C3=A9 et calcul scientifique - Arma=C3=ABl Gu=C3=A9neau : Preuves de complexit=C3=A9 de programmes OCaml= avec CFML - Paul Laforgue : OCaml =C3=A9tendu avec du filtrage par comotifs. 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/254849756/ *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 Monday, October 1, 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: - Berke Durak: OCaml in space: embedded software and numerical analysis - Arma=C3=ABl Gu=C3=A9neau: Complexity proofs for OCaml programs with CFML - Paul Laforgue: Copattern matching in OCaml 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/254849756/ *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= --000000000000ab007505764e2a5a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
(English version below)

Bonjour,
Les meetups OUPS reprennent. Le prochain meetup aura lieu lundi 1eroctobre. Nous nous retrouverons dans les locaux de l'IRILL =C3=A0 Jus= sieu
(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:
- Berke Durak := OCaml dans l'espace : Embarqu=C3=A9 et calcul scientifique
- Arma= =C3=ABl Gu=C3=A9neau : Preuves de complexit=C3=A9 de programmes OCaml avec = CFML
- Paul Laforgue : OCaml =C3=A9tendu avec du filtrage par comotifs.<= br>
Nous profitons de l'occasion pour rappeler que nous sommes toujo= urs en
demande de *propositions* d'expos=C3=A9s sur les sujets de vo= tre choix pour
les meetups suivants.

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

*L=E2=80=99inscription est n=C3=A9= cessaire pour pouvoir acc=C3=A9der au b=C3=A2timent apr=C3=A8s 19h!*
Ell= e 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 (P= aris VI)
Barre 15-16 1er =C3=A9tage
4 Place Jussieu
75005 Parishttp= s://www.irill.org/pages/access.html

Les organisateurs du meetup.=


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

Hi,

The OUPS meetup is back. The next one will take place o= n Monday,
October 1, 7pm at IRILL on the Jussieu campus.
As usual, we= will have a few talks, followed by pizzas and drinks.

The talks wil= l be the following:
- Berke Durak: OCaml in space: embedded software and= numerical analysis
- Arma=C3=ABl Gu=C3=A9neau: Complexity proofs for OC= aml programs with CFML
- Paul Laforgue: Copattern matching in OCaml
<= br>Please do note that we are always in demand of talk *proposals* for futu= re
meetups.

To register, or for more information, go here:
https://www.meetup.com/ocaml-paris/events/254849756/

*Regis= tration is required! Access is not guaranteed after 7pm if
you're no= t 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.

=
--000000000000ab007505764e2a5a--