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 9CBD67EEBF for ; Wed, 22 Jul 2015 19:36:44 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.214.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.214.181 as permitted sender) identity=mailfrom; client-ip=209.85.214.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@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-ob0-f181.google.com) identity=helo; client-ip=209.85.214.181; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-ob0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BaBACN069Vm7XWVdFbgzQ1aQaDHakShC4jik2CKoU1SgKBRwdMAQEBAQEBEgEBAQEBBgsLCSEuhBwIAQEEEhEdARsMBQELAQMMBgULDQ0dAgIiAREBBQEKEgYTEgQMhSeCTwEDEg2pSYEsPjGLP4FsgnmLWwoZJwMKV4RXAQEBAQEBBAEBAQEBAQEBFAEFDoo8gQKEZB4EB4JogUMFhWAMSY4ihHWHPYFDRpMoghcSI4EVEQZygSkdgW8iMQEBgkkBAQE X-IPAS-Result: A0BaBACN069Vm7XWVdFbgzQ1aQaDHakShC4jik2CKoU1SgKBRwdMAQEBAQEBEgEBAQEBBgsLCSEuhBwIAQEEEhEdARsMBQELAQMMBgULDQ0dAgIiAREBBQEKEgYTEgQMhSeCTwEDEg2pSYEsPjGLP4FsgnmLWwoZJwMKV4RXAQEBAQEBBAEBAQEBAQEBFAEFDoo8gQKEZB4EB4JogUMFhWAMSY4ihHWHPYFDRpMoghcSI4EVEQZygSkdgW8iMQEBgkkBAQE X-IronPort-AV: E=Sophos;i="5.15,524,1432591200"; d="scan'208";a="171271139" Received: from mail-ob0-f181.google.com ([209.85.214.181]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Jul 2015 19:36:43 +0200 Received: by obbop1 with SMTP id op1so138527162obb.2 for ; Wed, 22 Jul 2015 10:36:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=ObbsLOn8oEVxCwbHuQbff+9LuIkklZ4v00EUlhQdcD4=; b=lzgJkwujr43/q3qsF1FIf0N6DOlitSwffr3kI3eo1GMMUd5WnWmT10FVs+Pz0AaoI+ gsW5pBI1TNS8czvv150EaSGkkTFwVGGof+v+zMEY6iiM+PZJG3hOi7nDR3Tl89S1KRTe EDZpL8W8UZSU8HIch1KH3TJd9lDbICUeapySNVBS5se58nUOfweTdHngHNsxMj5A7etr K4ghmXlwVCo+htv55Chr0OMPZtBaepHAVZg0IT09lMcbPklFjSJLkXVZmVs8VHXk51h0 +P5Kmu7D2vfvU5upeVQjN+ZT0AckDkK0ieTQV8VDuT0bkMxRZ8N+3dYEhsShrMImuMgY xeBQ== MIME-Version: 1.0 X-Received: by 10.60.98.40 with SMTP id ef8mr4007089oeb.7.1437586602362; Wed, 22 Jul 2015 10:36:42 -0700 (PDT) Received: by 10.202.191.8 with HTTP; Wed, 22 Jul 2015 10:36:42 -0700 (PDT) In-Reply-To: <55AFD22B.3000902@baturin.org> References: <20150722075530.GA32202@traveler> <55AFD22B.3000902@baturin.org> Date: Wed, 22 Jul 2015 13:36:42 -0400 Message-ID: From: Kenneth Adam Miller To: Daniil Baturin Cc: caml users Content-Type: multipart/alternative; boundary=089e013a1822c48e4c051b7a36ff Subject: Re: [Caml-list] [ANN] Introduction to Functional Programming in OCaml, a MOOC --089e013a1822c48e4c051b7a36ff Content-Type: text/plain; charset=UTF-8 I'm all in for a Coq MOOC :) By the way, here's an excellent page with lots of videos of Coq, formal methods and mathematics from the best of the best. http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html On Wed, Jul 22, 2015 at 1:26 PM, Daniil Baturin wrote: > > -----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 > > > > > > 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 > =dF2x > -----END PGP SIGNATURE----- > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --089e013a1822c48e4c051b7a36ff Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I'm all in for a Coq MOOC :)

By the= way, here's an excellent page with lots of videos of Coq, formal metho= ds and mathematics from the best of the best.

On Wed, J= ul 22, 2015 at 1:26 PM, Daniil Baturin <daniil@baturin.org>= wrote:

-----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
>
>=C2=A0 =C2=A0Introduction to Functional Programming in OCaml
>
> the first MOOC entirely devoted to our beloved OCaml programming langu= age.
>
> All the information on the course, including a teaser video, is
available at
>
>
https://ww= w.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;<= br> 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<= br> 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-----



--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--089e013a1822c48e4c051b7a36ff--