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 <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
> >
> >   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
>