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 sympa.inria.fr (Postfix) with ESMTPS id 54FF87EF37 for ; Wed, 22 Jul 2015 09:56:04 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=209.85.212.176; 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 209.85.212.176 as permitted sender) identity=mailfrom; client-ip=209.85.212.176; 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-wi0-f176.google.com) identity=helo; client-ip=209.85.212.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wi0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B2AQBWTK9VlLDUVdFcg2lpvXaHRUwBAQEBAQESAQEBAQcLCwkfJQuEHCAoBgEnBQEMAw0FJjQFIAEFAQEhKQyFJ4JQAxIEAQimB4IFgSw+MZAki2knDYVUAQEEDpNigRQFhjWOIowxgUSGe4Uzhz+CFzWBFRdJKWYBAQgCgiltgksBAQE X-IPAS-Result: A0B2AQBWTK9VlLDUVdFcg2lpvXaHRUwBAQEBAQESAQEBAQcLCwkfJQuEHCAoBgEnBQEMAw0FJjQFIAEFAQEhKQyFJ4JQAxIEAQimB4IFgSw+MZAki2knDYVUAQEEDpNigRQFhjWOIowxgUSGe4Uzhz+CFzWBFRdJKWYBAQgCgiltgksBAQE X-IronPort-AV: E=Sophos;i="5.15,522,1432591200"; d="scan'208";a="171192667" Received: from mail-wi0-f176.google.com ([209.85.212.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Jul 2015 09:55:40 +0200 Received: by wibxm9 with SMTP id xm9so151004790wib.0 for ; Wed, 22 Jul 2015 00:55:40 -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-type :content-disposition:user-agent; bh=MXDvXEZn75O+DLs5VO76q1MlsIzpXBvrDoxACvF7sZI=; b=d9JVYrOw02CI+42baarAUfNWXoy6bUCZMxJrQ0D9y1CkpeJTxtV42yG2e2lp6BCxNL DOq73SsHdXl5B1MXkMuDBtIcp78ECKLhzmxoXKB0j5bKVY6gV98eBI/vlk9Jf5/ICtW2 d1FkpkoADMePgAnU/kQCc4LOsje6mZbh1vv5QB0mwTMke/C7CaNevTPOsQoo8ZKFUb6s UVby0SFRoqigcpA/tMEc9Xw2uVE4CtHcp8XnzvhsZmWnXnAjqQEkDwFpGsShttbMYvhf vfifNHEn1voSCG7bqrXYw6wilmHJ6OV2y8WSqiklGAIP+oj5STBg2+tKhCCFwGpG9AJJ oQwQ== X-Received: by 10.180.72.35 with SMTP id a3mr37596502wiv.21.1437551740560; Wed, 22 Jul 2015 00:55:40 -0700 (PDT) Received: from traveler ([37.160.212.162]) by smtp.gmail.com with ESMTPSA id gt10sm1991832wib.20.2015.07.22.00.55.38 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 22 Jul 2015 00:55:39 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by traveler with local (Exim 4.82_1-5b7a7c0-XX) (envelope-from ) id 1ZHosE-0000Wx-GU for caml-list@inria.fr; Wed, 22 Jul 2015 09:55:30 +0200 Date: Wed, 22 Jul 2015 09:55:30 +0200 From: Roberto Di Cosmo To: "caml-list@inria.fr" Message-ID: <20150722075530.GA32202@traveler> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.23 (2014-03-12) Subject: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC We are very pleased to announce the massive, open, online course Introduction to Functional Programming in OCaml the first MOOC entirely devoted to our beloved OCaml programming language. All the information on the course, including a teaser video, is available at https://www.france-universite-numerique-mooc.fr/courses/parisdiderot/56002/session01/about The course is in english, starts from the basics, and goes on for seven weeks up to the module system. An interactive exercise environment will allow to do the exercises in the browser, with an online evaluation integrated in the learning system; as you expect, this is based on tryocaml and js_of_ocaml, and is a unique distinguishing feature of this MOOC. The learning platform happens to be called FUN (yes, great to have fun with functional programming :-)), that is a variant of Open EdX run by the french ministry of education. The registration is open, and the course will start on October 19th. We finally have a MOOC on OCaml, a great tool to bring functional programming and our preferred programming language to a wide audience: now, let's tell the world! Use your social networks, mailing lists, professional and non professional conferences to spread the world. And see you soon for our first course :-) -- Roberto Di Cosmo, Yann Regis-Gianas and Ralf Treinen