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 E73987F0B9 for ; Thu, 8 Sep 2016 11:11:44 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rdicosmo@gmail.com; spf=Pass smtp.mailfrom=rdicosmo@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f50.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@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-wm0-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wm0-f50.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AEfpbcxNtg7AOLB4/UwYl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Kfz6rarrMEGX3/hxlliBBdydsKMdzbSM+Pi6ESxYuNDa4ShEKMQNHzY+yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?GO35F8bogtit0KjqotuIMlwO2mD2Oek6bE3v616A7o9O2coqA51y4yOBmmFPde?= =?us-ascii?q?VSyDEgDnOotDG42P2N+oV++T9bofMr+p0Ie6z7e6MlUe4QV2x+YCgD39DwrRTI?= =?us-ascii?q?USeI43IdVC1WzksJUED560SwVZ70tm7+t/Fh8CicJ8z/C74uE3z25K5uTFrsiT?= =?us-ascii?q?wbHz8/6mDezMJq2vF1uhWk8iZ4yYPOfIbdGPs2VaTGeNRSEXBGVMtLSytpDoK3?= =?us-ascii?q?aJAKCKwGJ+kO/Nq1nEcHsRbrXVrkP+jo0DId2i77?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CIAACgKtFXhjJSfUpdHQEFARkGgw4BA?= =?us-ascii?q?QEBAXV8jTKXU4sVhhmCD4InhS6CKjgUAQEBAQEBAQEBAQESAQEBCAsLCRkkC4I?= =?us-ascii?q?yBAMDFYIpKAYBOQMNBSY0BSABBQEBIScOiA4DFw6gaIIHgTI+MpAFBYQVJw2DJ?= =?us-ascii?q?AIBBRCFJ4Z/hjSCLwWZXIYiiROJWoYJAoxQgjkxgREegUyBBwELNhqBXW4BCwE?= =?us-ascii?q?BhGOBLAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CIAACgKtFXhjJSfUpdHQEFARkGgw4BAQEBAXV8jTKXU4s?= =?us-ascii?q?VhhmCD4InhS6CKjgUAQEBAQEBAQEBAQESAQEBCAsLCRkkC4IyBAMDFYIpKAYBO?= =?us-ascii?q?QMNBSY0BSABBQEBIScOiA4DFw6gaIIHgTI+MpAFBYQVJw2DJAIBBRCFJ4Z/hjS?= =?us-ascii?q?CLwWZXIYiiROJWoYJAoxQgjkxgREegUyBBwELNhqBXW4BCwEBhGOBLAEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,298,1470693600"; d="scan'208";a="192465513" Received: from mail-wm0-f50.google.com ([74.125.82.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Sep 2016 11:11:37 +0200 Received: by mail-wm0-f50.google.com with SMTP id b187so156875848wme.1 for ; Thu, 08 Sep 2016 02:11:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:date:from:to:subject:message-id:mime-version :content-disposition:user-agent; bh=APz7LCQy+wDgqnUQHraXJHX1b/2BGRYdI2xAyNNnSuc=; b=V2Hfc22XfGLso0wOhxtezodB+2DLroH+oyrKyZ2weE7CRgleT8hNSekOFQq4kMPMuu laFP/9JdxsDMy9q/glIux1za5f+n4VjFAyZGld4l6blDx1Ab+HEqDCWCpYuZU3DeYq6b miCYtg+/IwEx/fcEkFCRpaNwBOi5stk3DmccX77HJRxebN+NZx0rVJfubeia9gSsOhvx jiBcMTfDlGOoFxUIiSdYzopJW2xoPNVqgfSrz3hOr9h7WUQdXDrR6m7bvb9nC5peOw0j Oa0X43yfjEt/oCgR7elL+2bs8AOtEmirE2pT6PBhZZ5gK5krsiXKTmk3fGdc51seRkei XSaA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:date:from:to:subject:message-id :mime-version:content-disposition:user-agent; bh=APz7LCQy+wDgqnUQHraXJHX1b/2BGRYdI2xAyNNnSuc=; b=eEyeK8/Cd3BzoEgkAJWSPWmhAAadCxYHHT8h22mnKNr8R2v+GS/zSh5rSMZbpnce6i cwBKvnLHAkkL7nFQFnLFKrFYXYwfTLAEZxRLrfjoEAjA+MuYVHaDS8FsW/No30eEwO60 wKSAs6+tBByoDUUlCjUDJg4viMsWgXjCOk05Lx9V80hNnEoRlOjA0+F+AUoAnuQjCevS f2UXmzphXoZuyez1gHf2Gu0Jboi3f/wgKdmTNKzZIc0B6dH1dSTvy+fzD3neFbyZ2gHq PkB+95vP+B34LPw5DlQiQNgTzgyGNdFxntnRRNOWuii/CUa8N8fC267L96ZrrFedEUjZ 23hw== X-Gm-Message-State: AE9vXwO2xtYA9DM3LpmtcOolpcEtkpsQuEW4p2Z0xirmVX60WkejqmB2050gszfthS5CfQ== X-Received: by 10.194.242.67 with SMTP id wo3mr33849461wjc.65.1473325896714; Thu, 08 Sep 2016 02:11:36 -0700 (PDT) Received: from traveler (dt-65052.paris.inria.fr. [128.93.65.52]) by smtp.gmail.com with ESMTPSA id d8sm8629107wmi.0.2016.09.08.02.11.35 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 08 Sep 2016 02:11:35 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.87) (envelope-from ) id 1bhvMt-0004Ei-CI for caml-list@inria.fr; Thu, 08 Sep 2016 11:11:35 +0200 Date: Thu, 8 Sep 2016 11:11:35 +0200 From: Roberto Di Cosmo To: "caml-list@inria.fr" Message-ID: <20160908091135.GA15364@traveler> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.6.0 (2016-04-01) Subject: [Caml-list] ANN: flyer available for the OCaml MOOC, course starts Sep 26 The second iteration of the online course "Introduction to Functional Programming in OCaml", aka the OCaml MOOC, starts in a little more than two weeks, on September 26th. English and french subtitles are available, and we use a one of a kind exercise environment fully embedded in the browser that got outstanding reviews in the first run of this course. There are already more than 1600 registered to learn OCaml with this MOOC, and we believe it would be beneficial to our community to attract as many newcomers as possible, so we have prepared more material to help spread widely the word. - a one page flyer that you can print, post, and share https://t.co/ROCoSeTc4R - an announcement for newcomers can be found at the end of this message https://sympa.inria.fr/sympa/arc/caml-list/2016-07/msg00233.html - the course registration page is here https://www.fun-mooc.fr/courses/parisdiderot/56002S02/session02/about Cheers -- Roberto Di Cosmo, Yann Regis-Gianas, Ralf Treinen, with Benjamin Canou and Gregoire Henry