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 1AEBA7EEBF for ; Wed, 22 Jul 2015 19:26:10 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of daniil@baturin.org) identity=pra; client-ip=46.253.202.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniil@baturin.org"; x-sender="daniil@baturin.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of daniil@baturin.org designates 46.253.202.162 as permitted sender) identity=mailfrom; client-ip=46.253.202.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniil@baturin.org"; x-sender="daniil@baturin.org"; 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@srv-se.enfan.org) identity=helo; client-ip=46.253.202.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="daniil@baturin.org"; x-sender="postmaster@srv-se.enfan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CxBwBz0a9V/6LK/S5bgmksVBMDU719hX8CCIFGTAEBAQEBAYELhBwIAQEEQAEBJgUBCgIPCxgJFg8JAwIBAgFFEwgBARKFMweCXwMJtjqFVQEFkVoBAQgBAQEBARcCBItMhFM6FhqDe4Y6hnWHLY11k26DYSZjgSkdgV1lgksBAQE X-IPAS-Result: A0CxBwBz0a9V/6LK/S5bgmksVBMDU719hX8CCIFGTAEBAQEBAYELhBwIAQEEQAEBJgUBCgIPCxgJFg8JAwIBAgFFEwgBARKFMweCXwMJtjqFVQEFkVoBAQgBAQEBARcCBItMhFM6FhqDe4Y6hnWHLY11k26DYSZjgSkdgV1lgksBAQE X-IronPort-AV: E=Sophos;i="5.15,524,1432591200"; d="scan'208";a="140898956" Received: from srv-se.enfan.org ([46.253.202.162]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Jul 2015 19:26:09 +0200 Received: from eirin.enfan.tld (unknown [IPv6:2a02:2210:db:1:ca2a:14ff:fe56:458]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by srv-se.enfan.org (Postfix) with ESMTPSA id 022BC128AE7 for ; Wed, 22 Jul 2015 23:26:06 +0600 (NOVT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=baturin.org; s=default; t=1437585968; bh=x8ui/QSsCQjFwrZWSb7OopM9iqZX+dDAUZBA7QHAXnA=; h=Date:From:To:Subject:References:In-Reply-To; b=Ile3S0Tlk/6PnKUisFb2/gJpV/HNuTQdpv/02ZmWLFxaFpgHZfCNhvHn/wLNpEhSE PSzonTAMdpFM6bi+VWaxZPmi1zVtM2yHcsWY3THJukyJJQ7haF6Txdba/O/rC52/dJ qOAeoiNndJqaYjD6Xw2g44nhpZlBAMa/ZfkKY8WQ= Message-ID: <55AFD22B.3000902@baturin.org> Date: Wed, 22 Jul 2015 23:26:03 +0600 From: Daniil Baturin User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <20150722075530.GA32202@traveler> In-Reply-To: <20150722075530.GA32202@traveler> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 That's really cool, subscribed. Are you planning to make a Coq MOOC in the future? On 07/22/2015 01:55 PM, Roberto Di Cosmo wrote: > 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 >=20 >=20=20=20 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 :-) > -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJVr9IrAAoJEEcm35UR4K8f7+8QAIrUgjVxB42pc90cPt2Wpt0n HyoY7hyW1o506ZUsu6WyTSMfpaHWsE+MdMJtMhyOeN0Ymi8Cmheo+N8s/qBYPpeX ppPafcT2HmlIiqNVDjIs947uUk5jVkkA1Kwf4e6ox+wFbhk+zKyb8liEwHKlhKac LRP/wHRrPkLywFoyUs+CW2VsCSeDooS8JAhTxlrnXm47b7u7sfIVfzA/Tc4lJGPY 9ZxxSbmv4C5EV2jDC9BRYy1qKwqOX18H+VPbAi5848xz88a/yF4XAVp8gWkMUOio wRt9xHYj1SC3f+A1TttVEIwFxFXhLdh8rtQA2oUn7BC6SM7HTxkXn1EcVTQxOn9g I+hCJTwnyczbP1S2FrhiyBH3l48rV+demX64lbHbnUHF51xLdqLxGboJY9kFaNSZ BLZsJEbz4kr+mq7iYRfNMFZMnPDq10aOm6lPgLo+b66twRGaoxDMRtbKqMO4bbiN W/2pcO8opyrBnJO/MYwqaTkwTdMKQ+8JXa4OdrL2/Ga3/rSVd7rzsE/0+VjbAJXj vtD9pazUBM1hp3Q6awZ/d1a45I/z50wFaLMjHocE/FQCyfbZf+wVt3HimvoiveaR N70d6mB111UK/UWZeQqcqz/4nbMRd4deqjIAvHDOJUPshmeIca/FFHZ2hWp6rEAj UKVAe9+pnGB/6+3nzKdz =3DdF2x -----END PGP SIGNATURE-----