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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 637697FF29 for ; Tue, 12 Jul 2016 08:00:08 +0200 (CEST) IronPort-PHdr: 9a23:FqmiDBeKZIn/uAWs68325evolGMj4u6mDksu8pMizoh2WeGdxc6/Yx7h7PlgxGXEQZ/co6odzbGH6+a7BydRvN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkbvssMyOKyxzxxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JsKWqz/e+E8TKdEJDUgKWE8osPx/1GXRgKK4j4YU34KuhtOGQnMqh/gCMTfqCz/49B60iSAIcq+YbF8cjO56qAjHAXvgiodKzkR/GDcjdd1i+Rcuh339E83+JLdfIzAbKk2RajaZ95PHWc= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rdicosmo@gmail.com; spf=Pass smtp.mailfrom=rdicosmo@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f67.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rdicosmo@gmail.com designates 74.125.82.67 as permitted sender) identity=mailfrom; client-ip=74.125.82.67; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f67.google.com) identity=helo; client-ip=74.125.82.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wm0-f67.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BVAQD0hoRXf0NSfUpchBR8sHCDD4J6gg+CHIUsgXs5EwEBAQEBAQEBEQEBCQsLCR8mC0EOAYFiFYIOICgGAScFAQwDDQUmNAUgAQUBASEtCIUngk0DFwQKoBGCB4ExPjGPfwWFcScNhCcCBhCFIoRCiHCCLwWHLZFthg+IO4JChweFbAKOUzCBDyABaYECAQuCL2yBCYgcAQEB X-IPAS-Result: A0BVAQD0hoRXf0NSfUpchBR8sHCDD4J6gg+CHIUsgXs5EwEBAQEBAQEBEQEBCQsLCR8mC0EOAYFiFYIOICgGAScFAQwDDQUmNAUgAQUBASEtCIUngk0DFwQKoBGCB4ExPjGPfwWFcScNhCcCBhCFIoRCiHCCLwWHLZFthg+IO4JChweFbAKOUzCBDyABaYECAQuCL2yBCYgcAQEB X-IronPort-AV: E=Sophos;i="5.28,350,1464645600"; d="scan'208";a="226410688" Received: from mail-wm0-f67.google.com ([74.125.82.67]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Jul 2016 08:00:03 +0200 Received: by mail-wm0-f67.google.com with SMTP id i5so976936wmg.2 for ; Mon, 11 Jul 2016 23:00:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:old-date:from:to:subject:message-id:mime-version :content-disposition:user-agent:date; bh=Myh//m4WRPpfPOnYVcZ98ralRzYVgR0yis/lfigGlq0=; b=H0uSRTjhtIGTvu2O49eJ0INu1He0zqn1TZ+5RpgxQG1X2YlkgLLQWcNqhkQgVq/RqX lvF0Lv9Rl2fWfyDNuYlR1PvlA7XsEng0ZbC9RhZzh5QiaSMOjs327kF6AthP+38tnZMI ahvriIK0gMMdqHRdbipA6WSOUdqc7otuEHUKIt2/II3xCrl6qVEoGsISkEEjlf1ohQu7 O7S31zd/IrIKmKctF2BwXvIaOnyBvT0HgXqj0m5WI9gfQfV6C07jrPdAazCWnUWGPiVA XsNJsNF/jRUUSVrbAspoIpNyQdNlEjtu6fy9dIiBrJaVOirSOPVR2uET/vQJMkdQmsYF WkRg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:old-date:from:to:subject:message-id :mime-version:content-disposition:user-agent:date; bh=Myh//m4WRPpfPOnYVcZ98ralRzYVgR0yis/lfigGlq0=; b=S28ab82zwwpC+8McH9SNvG549g8DXEFE2tnBpCk8fLBuFTpRyUzgBW3ZX46aG009MP ZqAazcz3XIk44TGoAr5DSZn15LRsRqbSrdSzuCh61RSvfnQ0lFDOl/JUROlWEeFSBcWQ lP5I4oYheAA38hdoK6YiU/nnLqWF3fQE+JxBXiV3RXHHYspeKVpfTXxz6oF65F4f0B1i sC/Dakxw3UcDQPbxVTZYCQONypqxVhG/Li+m/6T9FesMQzYgzfqO8ZsNfyWi1szAuWlD 4pmuSfoTtxUgY6nH7IY5Pre5cB+qH91RaEkewDzzyEMNd7N+33yWPztmm+k0+hdxEAzH 7p/g== X-Gm-Message-State: ALyK8tITCZE8GXuevr5tqwe3kPfPONES/9M5CKi2JpFD03T3W8gfZNkJJ8VFGEMVwv0pEQ== X-Received: by 10.194.75.161 with SMTP id d1mr554370wjw.22.1468303202322; Mon, 11 Jul 2016 23:00:02 -0700 (PDT) Received: from traveler (bny92-3-81-56-44-163.fbx.proxad.net. [81.56.44.163]) by smtp.gmail.com with ESMTPSA id 207sm21624072wmb.7.2016.07.11.23.00.01 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 11 Jul 2016 23:00:01 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.87) (envelope-from ) id 1bMqjg-0003XH-Is for caml-list@inria.fr; Tue, 12 Jul 2016 08:00:00 +0200 Old-Date: Mon, 11 Jul 2016 22:48:44 +0200 From: Roberto Di Cosmo To: "caml-list@inria.fr" Message-ID: <20160711204844.GA24298@traveler> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.6.0 (2016-04-01) Date: Tue, 12 Jul 2016 08:00:00 +0200 X-Scheduled: true Subject: [Caml-list] ANN: registrations open for the OCaml MOOC! As many on this list know already, we do have a massive, open, online course (MOOC) on OCaml, a great tool to bring functional programming and our preferred programming language to a wide audience, and it run successfully last year. The good news is that registrations are now open for the second session of the Introduction to Functional Programming in OCaml This is the only MOOC entirely devoted to our beloved OCaml programming language. The course, in english, will start on September 26th, from the basics, and will go on for six weeks up to the module system. All the information on the course, including a teaser video, is available at https://www.fun-mooc.fr/courses/parisdiderot/56002S02/session02/about An interactive exercise environment allows to do the exercises in the browser, with an online evaluation integrated in the learning system; as you may expect, this is based on tryocaml and js_of_ocaml, and is a unique distinguishing feature of this MOOC. Last year, we had over 3700 registrant, and 1200 active learners, and most of them asked us to run the course again: some could not complete the course in time and want to finish it, others wanted to share the information with collegues and friends, some were interested in using this MOOC as a complement, or in place of existing functional programming courses, and some others were planning to use it internally in their company. As you know, when you take a MOOC, the more the enrolled people, the greatest the learning experience, and the better the fun: do not hesitate to enroll just to have the occasion to lend a helping hand to newcomers, as there will be a special beta-tester status for advanced participants. Use your social networks, mailing lists, professional and non professional conferences to spread the world. It would also be great if the admins could put up a big fat flashy announcement on the ocaml.org site! Let's try to reach 10.000 enrollments, at least :-) -- Roberto Di Cosmo, Yann Regis-Gianas, Ralf Treinen, with Benjamin Canou and Gregoire Henry