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 F316F7EE33 for ; Tue, 14 Feb 2017 08:48:46 +0100 (CET) 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-f181.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.220.181; 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.220.181 as permitted sender) identity=mailfrom; client-ip=209.85.220.181; 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-qk0-f181.google.com) identity=helo; client-ip=209.85.220.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bernardobruno@gmail.com"; x-sender="postmaster@mail-qk0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJLbxsB2fwHuvqzaAsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIUIvad9pjvdHbS+e9qxAeQG96Kt7QV16GP6v2ocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDWwbal2IRi5ogndq9QajIt/Iast1xXFpWdFdf?= =?us-ascii?q?5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALM?= =?us-ascii?q?TRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTlkz?= =?us-ascii?q?kMOSIn/27Li8xwlKNbrwynpxxj2I7ffYWZOONjcq/BYd8WQGxMVdtTWSNcGIOx?= =?us-ascii?q?d4sBAeQCM+hFsYfyu0ADogGiCQS2Hu7j1iNEi33w0KYn0+ohCwbG3Ak4Et8Tqn?= =?us-ascii?q?TUsdP1NKAPWu2o0qbI1zPDYOlM2Tjg74jDbxcsruqSUrJqd8re01MvGB7CjlqL?= =?us-ascii?q?s4zlIjWV1uMWvmiU6upvT+Ovi2o9pw5tpTivw94hh4/UjYwbzVDE8D92wIczJd?= =?us-ascii?q?CgSU57e9+kEJ9Uty2AMIt2WMwiT3ltuCkk1LIGpYO7fDAQxJs7wB7fbvqKeJWL?= =?us-ascii?q?7BL7TOudPyt0iXZ/dL+8hxu+61asxvPgWsWuzVpHrTdJn9/RvX4XzRPT8NKISv?= =?us-ascii?q?5l80ehxzmP0wfT5/lBIU8ulKrbL4ctwqczlpYPqEjDEDL6lUbrgKOMeUUk/e+o?= =?us-ascii?q?6+vjYrr4vJOTK4h0igTmPqQvnMywH/g4PxAQU2SH/emwzr7u8E3jTLlUkPE6jr?= =?us-ascii?q?PVvI3ZKMgGvqK5BhVa0ocn6xaxFTem19EYkGEcI11bYhKHiZLmO0vTL/D/Fvi/?= =?us-ascii?q?mUmskDFsx/3dMb3hB4/CLnnHkLv7Ybl97EtcxBIpzd9D/5JUFq0BIPXrV0Dtrt?= =?us-ascii?q?PYCxs5PxWww+bmE9V9ypgTWXmPA6+cKKPdq0WE5uMpI+mWZY8aoizxK/Y/562m?= =?us-ascii?q?sXhsklYYeeyt3IALQHG+BPVvZUuDMlT2hdJUO30XuA12ZuHwjlSYXTkbM3y/Ra?= =?us-ascii?q?Q1/D08Api7C4DrSYWkgbjH1yC+SM4FLltaA0yBRC+7P76PXO0BPWfLepds?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+AADbtaJYhrXcVdFeHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBg0k/gQkHg1KlEYorhBsqhB6BWoFvB0MUAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCAsLCh0vgjMbAYJEHQEbHQEDEhA3AiQBEQEFAYoHAQMVDqIkP4wCggMFARyDC?= =?us-ascii?q?QWDYAoZJw1Vg0IBAQEBBgEBAQEBAQEZAgYSjGVCgwOCHwwugl8FiQxKi36GHoF?= =?us-ascii?q?PijmGDIF7gyeBcIlzkU4UHoEVNl1ENB1pg3UqHASBbj81AYofAQEB?= X-IPAS-Result: =?us-ascii?q?A0C+AADbtaJYhrXcVdFeHAEBBAEBCgEBFwEBBAEBCgEBg0k?= =?us-ascii?q?/gQkHg1KlEYorhBsqhB6BWoFvB0MUAQEBAQEBAQEBAQESAQEBCAsLCh0vgjMbA?= =?us-ascii?q?YJEHQEbHQEDEhA3AiQBEQEFAYoHAQMVDqIkP4wCggMFARyDCQWDYAoZJw1Vg0I?= =?us-ascii?q?BAQEBBgEBAQEBAQEZAgYSjGVCgwOCHwwugl8FiQxKi36GHoFPijmGDIF7gyeBc?= =?us-ascii?q?IlzkU4UHoEVNl1ENB1pg3UqHASBbj81AYofAQEB?= X-IronPort-AV: E=Sophos;i="5.35,160,1484002800"; d="scan'208,217";a="213122518" Received: from mail-qk0-f181.google.com ([209.85.220.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Feb 2017 08:48:45 +0100 Received: by mail-qk0-f181.google.com with SMTP id p22so23617078qka.0 for ; Mon, 13 Feb 2017 23:48:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to:cc; bh=N4uzBTR8BffR9Acb7L2DVsRauiH4RX4EuDGammLavT4=; b=QH4llPSxXpKKTDLlTui6LLB6uJx04W+s5XjFihnZ4+/7IN7THLS63GQfNx2/W2dUuN s7DY2xW596p5BUSFmabWu2vwMflUvKuM1rUQ1bku1O3xD+VVTKigJbIhijKKsv6LnyBE U1WSB3SKaycE0Fo06ZilHWANbPhL30nHpjyo/3zJ9dvr1py446ko4Vd9VdkweDgSSTxB 4MFPNMgSQy/v6oNHqGtfBUkX6plmgW+MgPsd+h3vW7DhUpE5d1JB2vrtXJovWNfdEeLC QIAE0byaWX5red9CLW87Bfg+VAjfI9I3Nv7pZlwSpxpavhdACirZUvo3xW+DZVjYVpw8 tsdw== 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:cc; bh=N4uzBTR8BffR9Acb7L2DVsRauiH4RX4EuDGammLavT4=; b=LtAo5f/VY6CvBWmed67tWkD9jHDUBPCv8euwdxE1X4qaJ86SynPFzftYfGAC4UqOs2 Ru1tzu6D7zPWsw0Pxtks+FbhVY/2XJHnpCI/rLFnnbzZUn+c70uzfKmuPEzeSN3yIq6I I6e50w+ilpt2L1BRkXmnEuHj45SjnlfZq+F5bMoBjukB0pu/2nId/jxe4GujUKIlriKG 6bmjMotQl9TM5nP7suSPkfaseY0EHjWrw9TTBTDSgeK9o2IuYOSIfAvCZps9H7vXWuss 0drgwsKbffn1nnpki79ZK4xfizMyffX02pd4aWHH7arOwZ9UL1pit/+tk/9u4mhNmB62 HZqw== X-Gm-Message-State: AMke39ke9HJiG67MBFXIOt3hTUopCJBZmtrhRQfceGkuGqKBTNlJ6nCMQbCI0jR4syy48IYQKwSTzhnfgAr/YQ== X-Received: by 10.55.18.82 with SMTP id c79mr16282685qkh.135.1487058524146; Mon, 13 Feb 2017 23:48:44 -0800 (PST) MIME-Version: 1.0 Received: by 10.200.35.252 with HTTP; Mon, 13 Feb 2017 23:48:23 -0800 (PST) From: Bruno Bernardo Date: Tue, 14 Feb 2017 08:48:23 +0100 Message-ID: To: caml-list@inria.fr Cc: Jacques Garrigue , Vincent Balat , Benoit Rognier Content-Type: multipart/alternative; boundary=001a113ad65a1793be054878cb83 X-Validation-by: bernardobruno@gmail.com Subject: [Caml-list] =?UTF-8?Q?Prochain_meetup_OUPS_21_f=C3=A9vrier_2017_/?= =?UTF-8?Q?_Next_OUPS_meetup=2C_Feb=2E_21th_2017?= --001a113ad65a1793be054878cb83 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable (English version below) Bonjour, Le premier meetup de 2017 aura lieu mardi 21 f=C3=A9vrier. 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: - Jacques Garrigue sur GADTs et cas absents : =C3=A0 la recherche de l'impo= ssible - Vincent Balat sur Ocsigen Start : cr=C3=A9er rapidement des applications = web et mobile en OCaml - Benoit Rognier sur Edukera : une application web pour enseigner les math=C3=A9matiques 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/fr-FR/ocaml-paris/events/236894273/ *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. Vous pouvez retrouver les slides des derni=C3=A8res sessions ici: http://www.meetup.com/fr-FR/ocaml-paris/files/ 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 first OUPS meetup of 2017 will take place on Tuesday, Feb. 21, 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 on GADTs and missing cases : searching for the impossible - Vincent Balat on Ocsigen Start : Quick web and mobile apps in OCaml - Benoit Rognier on Edukera : a web app for teaching maths. 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/236894273/ *Registration is required! Access is not guaranteed after 7pm if you're not registered.* (It also helps us ordering the right amount of food.) Slides from previous sessions are available online: https://www.meetup.com/ocaml-paris/files/ 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. --001a113ad65a1793be054878cb83 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
(English version below)

Bonjour,

Le premier= meetup de 2017 aura lieu mardi 21 f=C3=A9vrier.
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 s= eront suivis du pot habituel.

Le programme des expos=C3=A9s confirm= =C3=A9s jusqu'ici:

- Jacques Garrigue sur GADTs et cas absents := =C3=A0 la recherche de l'impossible
- Vincent Balat sur Ocsigen Sta= rt : cr=C3=A9er rapidement des applications web et mobile en OCaml
- Ben= oit Rognier sur Edukera : une application web pour enseigner les math=C3=A9= matiques

Nous profitons de l'occasion pour rappeler que nous som= mes toujours en
demande de *propositions* d'expos=C3=A9s sur les suj= ets de votre choix pour
les meetups suivants.

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


*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 es= timer les quantit=C3=A9s pour le pot.

Vous pouvez retrouver les slid= es des derni=C3=A8res sessions ici:
http://www.meetup.com/fr-FR/o= caml-paris/files/

Acc=C3=A8s:
IRILL - Universit=C3=A9 Pierre = et Marie Curie (Paris VI)
Barre 15-16 1er =C3=A9tage
4 Place Jussieu<= br>75005 Paris
https://www.irill.org/pages/access.html

Les or= ganisateurs du meetup.


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

Hi,

The first OUPS meetup o= f 2017 will take place on Tuesday, Feb. 21, 7pm
at IRILL on the Jussieu = campus.
As usual, we will have a few talks, followed by pizzas and drink= s.

The talks will be the following:

- Jacques Garrigue on GAD= Ts and missing cases : searching for the impossible
- Vincent Balat on O= csigen Start : Quick web and mobile apps in OCaml
- Benoit Rognier on Ed= ukera : a web app for teaching maths.

Please do note that we are alw= ays in demand of talk *proposals* for future
meetups.

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

*Registration is required! Access = is not guaranteed after 7pm if
you're not registered.* (It also help= s us ordering the right amount of
food.)

Slides from previous se= ssions are available online:
https://www.meetup.com/ocaml-paris/files/=

Access map:
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
The meetup organizers.
<= br>
--001a113ad65a1793be054878cb83--