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 4779F5D4 for ; Thu, 19 Sep 2019 10:13:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,523,1559512800"; d="scan'208";a="402470119" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Sep 2019 12:13:09 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D7E6F7F016; Thu, 19 Sep 2019 12:13:09 +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 0DFB57EF4C for ; Thu, 19 Sep 2019 12:13:06 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=muriel.shanseifan@ocamlpro.com; spf=Pass smtp.mailfrom=muriel.shanseifan.ocp@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f42.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A1DX9BhGHkJVL6hFctfQ4GJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7yr8mwAkXT6L1XgUPTWs2DsrQY0rGQ6firAzFIoc7Y9ixbKtoUD15NoP?= =?us-ascii?q?5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanIVvJrwvxhfVrXdEZe?= =?us-ascii?q?Rbzn5sKV6Pghrw/Mi98IN9/yhKp/4t68tMWrjmcqolSrBVEC4oOH0v6s3xshnD?= =?us-ascii?q?QwqP5n8CXWgTjxFFHQvL4gzkU5noqif1ufZz1yecPc3tULA7Qi+i4LtxSB/pky?= =?us-ascii?q?gIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQ2dKQ8RfWDFbAo6k?= =?us-ascii?q?b4UPFfQPPeFFoYf+qVUBoxSxChWjCu701j9FhWX70bEm3+kvEwzL2hErEdIUsH?= =?us-ascii?q?TTqdX4LKAcUf2vzKnJ0zrDa+5d1yr/5oXUah4qvOyCU71zf8HMyUciCxvLhUiX?= =?us-ascii?q?pIzgIjOVzOUNvHaf7+Z6TuKvi3Qoqwdqojexx8cshJPGhoQOx1DD6Sp22oM1Jd?= =?us-ascii?q?mgSE5hZt6oCodftyafN4ZvRM4pXm9muCE/yrIcuJ67ejAHyJM7yBHFbvyHd5KE?= =?us-ascii?q?4hzkVOaMJzd3mWhqeK6+hxa190is0ur8WdWu31ZPqipFisPMtncX2xPP7ciHT+?= =?us-ascii?q?Nx/km82TaJzgzT7+ZEIUcomqbBJZ4h2Lg9nYcQv0TbBiL6hln6gauMekgn+uWk?= =?us-ascii?q?8fnrbqvlq5OGOIJ4lBnyP6cvl8ClH+g1PQkDU3KV9Om4zrHv4E30TbdMg/YriK?= =?us-ascii?q?fWqoraKt4epqOhAw9azIIj6xGnAjejytsYnH0HIEtLeRKCkoTlIl/OLf/mAful?= =?us-ascii?q?jFSslzBrx//CPrL/GJnCMn/DkLL5cbZ87U5T1hYzwMhB655IDrwNOvH+V0/ruN?= =?us-ascii?q?DFEBM0MBa4zun5BNll04MRQ2OPAquXMKPItl+I4/oiI+yRZI8PuTbyNfwl6+T1?= =?us-ascii?q?jX85g1Ade7Kp0oUWaHC2BPtmJV+VYX3wjdcZCmoKsQ8+Q/briF2GSzJce3GyX6?= =?us-ascii?q?ck6jEhFI2mFZvDRpyqgLGZwCi0BJhWZmRfBlCIEHfobJmEVuwXaCOSJ89hiiYL?= =?us-ascii?q?WaKgS48nzxGutRX1x6BpLurOqWUkssfo3d1xounSjg0a9DpuDs3b3XvedWxsmn?= =?us-ascii?q?I0QGozwbp+rEg70VeK17N1gvJRE/RU7PpMVh8gMtjXyOkpJcr1X1fkY82IRVLu?= =?us-ascii?q?efWPJ3kKY/N57fYoKxJ4Bs+jgxSFxCqjBaQYlrKCArQz+avZ22DrIIB2zHOQh/?= =?us-ascii?q?pptEUvXsYabT7uvaV47QWGX9eYwXXcrL6jcOEn5ACI8W6CyWSUu0QBCVx/VKzE?= =?us-ascii?q?WTYUYU6E9I2ktHOHdKenDPEcCiUEycOGLfEXONjgjFEDW/K6fdqCOSS+nGC/AR?= =?us-ascii?q?vOzbSJPtKzJzctmR7FAU1BqDg9uG6cPFFiVCCqqmfaFCZpU1noZhG0/A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AqEQCmU4NdhiqAVdFlhR5TYIQejxKBa?= =?us-ascii?q?oEjgm+VSIFwAQMBCgEBJQoBAYFLhXkbBwEENBMCDAEBBAEBAQIBAgMEARMBAQE?= =?us-ascii?q?ICwsIKYU0DII6IoMBBhEPAThDAiYCNgEFAS8IAQEYBoMAAYIKBAufE4IcgQM8g?= =?us-ascii?q?1iHTIEyhDcBgQSDRYFJCQEIeiiFEYZSJoIXgREnDIIqBW6BBIFSCwGBKoNDglg?= =?us-ascii?q?EjFQqFAwCnwheByCCBYV7gQqLTIIxITyBenKDLYcYEoskiXeFWYZXkQACBAIEB?= =?us-ascii?q?QIGDyOBRmFmAR0MCHCCHWsBATMIRxAUgWaDWoE8AokUAz5EkGUBAQ?= X-IPAS-Result: =?us-ascii?q?A0AqEQCmU4NdhiqAVdFlhR5TYIQejxKBaoEjgm+VSIFwAQM?= =?us-ascii?q?BCgEBJQoBAYFLhXkbBwEENBMCDAEBBAEBAQIBAgMEARMBAQEICwsIKYU0DII6I?= =?us-ascii?q?oMBBhEPAThDAiYCNgEFAS8IAQEYBoMAAYIKBAufE4IcgQM8g1iHTIEyhDcBgQS?= =?us-ascii?q?DRYFJCQEIeiiFEYZSJoIXgREnDIIqBW6BBIFSCwGBKoNDglgEjFQqFAwCnwheB?= =?us-ascii?q?yCCBYV7gQqLTIIxITyBenKDLYcYEoskiXeFWYZXkQACBAIEBQIGDyOBRmFmAR0?= =?us-ascii?q?MCHCCHWsBATMIRxAUgWaDWoE8AokUAz5EkGUBAQ?= X-IronPort-AV: E=Sophos;i="5.64,523,1559512800"; d="scan'208";a="319941757" X-MGA-submission: =?us-ascii?q?MDEt56gmST+Ur0pITCcROtCUCLy2V8kgEUeJNl?= =?us-ascii?q?nqPDiW9PzCREfbAaHu8gLdySnutzibw92XLdDfbi7g4qABWUcqyJ32/9?= =?us-ascii?q?w7Vs3mv95ozDzOG4Ndo4rUnU1KRnZrFbyFORgn5JvHzSoIiq/flo4lW+?= =?us-ascii?q?WTzLmmcuZbTHLS6tZ0V/t2aQ=3D=3D?= Received: from mail-wm1-f42.google.com ([209.85.128.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Sep 2019 12:13:04 +0200 Received: by mail-wm1-f42.google.com with SMTP id b24so3250314wmj.5 for ; Thu, 19 Sep 2019 03:13:04 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:reply-to:to:openpgp:autocrypt:organization :subject:message-id:date:user-agent:mime-version :content-transfer-encoding:content-language; bh=XnVOjczTRAedDtSENjVAeWA2o+NkecRDmc24wdT8/Ws=; b=q3SITdRZOHtCml/cWPxFKEvkcMBJHge6C0oISUSkEPnxX6NuD1nXvezTxNcs2PhuXZ KQX/nUJ9SvSJ0u6+S9n0clmkqvYDiiR8ygZbl0g83OQD7Sobe0f+S5BX3BMxImZaRaO2 chFrFFctvIotRPZy0f3eT1eLdR+OqAe8gH0LNi+ESklS//QhpQBLKcRfhJUJ0opIEMK0 /KjLtyUVHJ/XT/l6zgHgXGBa2GQRqKI4pmJ99lqkyDjtub+PgenxrWv+ZR/aLrtmqPuw WTR+azAPACpu6Q378+oTaU5hAZqAPKKbpCMjRWe73ZMa8AowS0usVKGzpoiAt6XXIpP8 pZDQ== X-Gm-Message-State: APjAAAURgVChj0Acs1ReDhDDJ27FzVJxTpLq8PyF+cA6OVIUQBBtPPj2 4oF87Lnni7ivgF82BjymPgs= X-Google-Smtp-Source: APXvYqzYNjCOVs/boEbxVwiKY0bTGk7GnU4v+uerMFHBkW7uoc3p/u7oovomkqwcQaUTcW0XOkdjcg== X-Received: by 2002:a1c:7d92:: with SMTP id y140mr2118830wmc.141.1568887984352; Thu, 19 Sep 2019 03:13:04 -0700 (PDT) Received: from [10.42.0.67] (lfbn-1-803-157.w86-246.abo.wanadoo.fr. [86.246.39.157]) by smtp.gmail.com with ESMTPSA id i73sm3572643wmg.33.2019.09.19.03.13.03 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 19 Sep 2019 03:13:03 -0700 (PDT) From: Muriel SHAN SEI FAN Reply-To: muriel.shanseifan@ocamlpro.com To: caml-list@inria.fr Openpgp: preference=signencrypt Autocrypt: addr=muriel.shanseifan@ocamlpro.com; prefer-encrypt=mutual; keydata= mQINBFpUlWEBEADlNE6uXQCkw9u528Oy+7jgLG+KEGXzBYEayW4qlXH07NvutiM3AHHW1AUV qgFs3ydJxypNfqy9kLP7O7KXjQfP/2m1sBW+saXcjvYNzcKG4T1XenVedF+aQtlYgpBrEaCA A3HpW2QXIMSL67c4b1GeIxhlJgxgW4DOFCSZiKICiFhB3gk3Zp1xp5gkShKypFF5affsCWGI iGvrcHZA1aJuNKh/ctwLYsChOr6cf+NEz33gjwExDRlch4B/gR2JE8VjUQHjVDy2//gV5nBR hF3ac1yt2HuRle5i7Y1icxjU7KvZxQjIiwo20rVSp3DnhTNxRPogYF/oF9VNLVMtaOVm9Y04 SK1GLtrVeopbxKgGnkJdkmw8/61ZR4XnYN7TUZvWsBewLNpu/Nz30+nu4o3uLedpx/Mh4wPG WIVa4IaxC/W/MtEHd+VsfbmwIxcB48i7dNCMJMhaQvAUY5y9OxgaGOdrHDhuuPrUgMU+dhhF miqj+FdbY6hw2WQpGMDbKRQfLF96YUSPT6rmTRlyLUIx2gFreqWF0pJRwBN7YOJaP6ZfQUak PD09GyE1IodPf9oXlt5JQjwjk6hcKfz2zUqIId+qSzczBzInLoPX5e8sLgXK/+qR4xTh9f9D cz+Rm9VWQMbWVSUf+2ENhr06gWQ4XJi6mUJN0TIo/vBzneNc6QARAQABtDRNdXJpZWwgU0hB TiBTRUkgRkFOIDxtdXJpZWwuc2hhbnNlaWZhbkBvY2FtbHByby5jb20+iQI9BBMBCAAnBQJa VJVhAhsjBQkJZgGABQsJCAcCBhUICQoLAgQWAgMBAh4BAheAAAoJEBxtSv6ZcqHvYTwP/0UX FNA3cYV2Z1qZdHujxIswYf0k9wnrTC8xbSWCLevMY1rlqz031rA60SJqCGmg7c9RJ4/1TatA xmUcGYZ1Aag+n4AFUy0J0vMLCS23OFlsH8dJdxUj8yqV/OGy7yeFa9/l0LogJ9yEU02NFte7 u2tvJ+/QAJij69LE0IWDr1L6tQuDhHXbR+8XwwaKsokyYCAn/W9EMi2zpvDrpd5vn90/dpiE arJRl5nqP31BVh2WkiT+u+RWGfNPgj5pIsXCYd7K+OxdAcbcfIhaoPCHVGQLZNCKSPEwWZOB B+kuV02bbGT2Y5FXVlz1+5jLVEKw5Bcz2c7HF0AkxN3Mdri4H8kDFEViTGthDlwVL95KNAgN pJ5RGhRMnksbGKMBYBbkj9rXTAcDUg6Bw1Aa72RBZu5GesrSqFtJQoxM6ofTgmP6KaepOWYp dCq84oKcrkmPzqVjS5hUFGVwhcD5r/DvZJp9iyMAmTUD6vuLhpgFMrApn5im5gyuohuuug/t PwVfM1h9eXlHNfwV/LpUQZlNrMVRcEGprguoTY1R8QdAIVOnqS096UDX6PoegS3pwpAJGzrT htzTgTqElojb5vKRmiFapmo9sLCyDUvDfWRSaEFos9GPQqnnF+BwxctyTi4gv7TC18WjFQKR PMS02XZc0EdB055lZgEDjAH4LDOJ82g5uQINBFpUlWEBEAC0YREMOy6N7WyaTLwvOKOSX617 lRBPd9N7Gb2079vdy/mDBHn2x+PFkYUOJnQZ95jsA74z99I/6CvkKrAkl5ZbFsST3uyQnJiy sKMpbtpJzrx2mw3U9IEwxUsOSLnWo6evMQ/kdpC8A1uu8+2cC18G+klXZTos05LXTnXQbVAT 5zVqaHKmMHPXpG6T+aiVhNw/Mbe46CsMrGCxS9iZWdLHCXeGJED073sjVg6DsOnakhoWEuCE HiOlcJ9cBFCELpqlfE62sX+U4qfdEj5LSuAqOlc7hIafchFNnhbvhfbcaleWLrToUh0SCuVH xH95RzyxzYSZP4+n8EpGSTHIC2/edKkzvTIlKbeeYjAk/n3ov7dhG8P9rwU1LRyvzYB7ld0Z ec17m5H6/WwoiUY3oE5N4C91JaCZr3vGKo3jJVb+JE60CqEpFtVdvKi+j1ExN6UdNs42tGWe rW4nLzT0ToTlHbcKTQsS3Ro98KfcNnAxP6wnAeXkciq/JWE8pvzUBh/l31werQLXnnuvZrie rOTBTDayxmD64uAP/wMjB0CzYzLc7PTqJscba9jlvrb/zBYyO95vc2tVN8l8hE2nSaDTW3RG GHIrV8D5ch3FrLEu2zYf17EzYoM5dqGtf3r830ZPnunOcHYUD0ruyDcjymMmjylbCrTNhuPR u4uhnZjYAQARAQABiQIlBBgBCAAPBQJaVJVhAhsMBQkJZgGAAAoJEBxtSv6ZcqHvP1EP/RlH /Q5Ms2uaidKPtsT5oEdaT79bkrjBrPCAtFfgTOfs5fzliNb7vcFya+Hth1gYfWmuKcUnNcvX nr9sFN+m0Rca7NJQF8HEm/N4yiMPWoFeCO72kAbkYzdBLNoWnWDj8XZ07FKccvsq5MxQeyDW fspBx971aXRMYDQ7/AbIlSxUxd1p5OA2v7ijLmEJXPt+W6t4yGpfbbawIN87oJEgatsVWc+v bXeeFgYnFvbflvqyM0HE/GjlXX/RrgnR+29tozE6FO4TlvaLk2uOeTLCQf2qR5X50U4aWwLp fuU6RxMmMrGrBybenkZCu2NB37bf45J7UElc5ngf3KONd5yxY/flcEoLOMnAITLuFjzd1/9i 2uNtkT6XrNZjhNve1Vq4IvQ1j72Zv1WWSKY9fqGVt7ZgN9ARbCMUQgAsTgsoaYmXNYizWBjn VBl7sE3NK2XNbCh1nmEkuQiJsiAGMmKvO/lz5OnJ65LAQ3Swbh7iWnItQF0mx4Mxkbl66mtI 3R2zv8Jbl0sW9VFWSZeNBsDLqeUtFXKFx2vxwf+nIAzifrOtmQo5efiesfEiTiXzdljEOKsI 0+8ruH0c1Kb74nQYncf5ml/nD6MlHFQqtdAitr28CGrM5/aVeU7v2i+HjkcoPLQ5v4w3f3lk V2J5kGphZtLpTjhytQZGCjaC4lypa4NC Organization: OCamlPro Message-ID: <815d738b-4237-138e-f28a-614bfa044386@ocamlpro.com> Date: Thu, 19 Sep 2019 12:13:40 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.9.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Content-Language: en-GB Subject: [Caml-list] [Training] Formations OCaml : 5-6 et 7-8 novembre 2019 chez OCamlPro X-Loop: caml-list@inria.fr X-Sequence: 17811 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: Bonjour à tous, (Bravo pour la 4.0.9!) OCamlPro lance un cycle de formations régulières à OCaml, en français, dans ses locaux parisiens (métro Alésia). La première session aura lieu début novembre 2019, avec 2 formations: (1) Formation débutant : passer à OCaml (5-6 novembre) (2) Formation expert : approfondir sa maîtrise du langage (7-8 novembre). La formation "expert" sera l'occasion pour des programmeurs OCaml ayant déjà une certaine expérience de mieux comprendre les possibilités avancées du typage (objets, GADT), de découvrir en détail le fonctionnement du GC et d'écrire du code optimisable par le compilateur. Ces formations sont aussi une occasion de venir chez OCamlPro discuter avec les lead développeurs et contributeurs d'OPAM et Flambda. Des formations en anglais peuvent aussi être organisées sur demande. N'hésitez pas à faire circuler. Liens : http://www.ocamlpro.com/fr/formation-passer-a-ocaml/ http://www.ocamlpro.com/fr/formation-expert-ocaml/ http://www.ocamlpro.com/fr/formations/ Inscription : http://www.ocamlpro.com/forms/preinscriptions-formation-ocaml/ Muriel NB : C'est aussi un bon complément à l'excellent MOOC OCaml de l'Université Paris-Diderot et à la plate-forme learn-OCaml financée par la Fondation OCaml :-) https://www.fun-mooc.fr/courses/course-v1:parisdiderot+56002+session04/about http://ocaml.foundation/learn-ocaml ********* Dear all, In our endeavour to encourage professional programmers to understand and use OCaml, OCamlPro will be giving 2 training sessions, in French, in our Paris offices: (1) OCaml Beginner course for professional programmers (5-6 Nov) (2) OCaml Expertise (7-8 Nov). The "Expert" OCaml course is for already experienced OCaml programmers to better understand advanced type system possibilities (objects, GADTs), discover GC internals, write "compiler-optimizable" code. These sessions are also an opportunity to come discuss with our OPAM & Flambda lead developers and core contributors in Paris. Training in English can also be organized, on-demand. Do not hesitate pass the word. Links: http://www.ocamlpro.com/training-ocamlpro/ http://www.ocamlpro.com/course-ocaml-development/ http://www.ocamlpro.com/course-ocaml-expert/ Register link: http://www.ocamlpro.com/forms/preinscriptions-formation-ocaml/ Cheers, Muriel PS: Note that this complements the excellent OCaml MOOC from Université Paris-Diderot and the learn-OCaml platform of the OCaml Software Foundation. -- Muriel OCamlPro's latest blog posts: http://www.ocamlpro.com/2019/09/13/updated-cheat-sheets-ocaml-language-and-ocaml-standard-library/ by Thomas http://www.ocamlpro.com/2019/08/30/ocamlpros-compiler-team-work-update/ by Vincent & Pierre http://www.ocamlpro.com/2019/07/11/opam-2-0-5-release/ by Raja & Louis More on OCamlPro: The French software company OCamlPro was created in 2011 to promote OCaml in the industry. Today we harness our OCaml expertise and formal methods know-how to design, prototype, and build high quality software in demanding projects for our clients. Our team of PhD-level engineers also contributes open source development tools for OCaml, helping to improve the efficiency and usability of the OCaml compiler and tools. We love to share our knowledge and teach vocational training courses. As a long-standing supporter of the OCaml language, we have always been committed to helping spread OCaml's adoption and increase the accessibility of OCaml to beginners and students.