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 B508E7EE80 for ; Fri, 22 Mar 2013 15:49:43 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.84,892,1355094000"; d="scan'208";a="7486631" Received: from chercheurs2-249.saclay.inria.fr (HELO kronrod.saclay.inria.fr) ([193.55.250.249]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 22 Mar 2013 15:49:43 +0100 From: Luca Saiu To: Nicolas Barnier Cc: caml-list@inria.fr Organization: INRIA Saclay References: <5143510E.2000009@recherche.enac.fr> User-Agent: Gnus (Gnus v5.13), GNU Emacs 24.2.50.1, x86_64-unknown-linux-gnu X-Home-Page: http://ageinghacker.net X-GPG-FINGERPRINT: 14DC 72EB 19F7 D2E6 C12E 113C BF33 9ABE 26C5 D286 X-GPG: 0x26C5D286 X-Accept-Language: en, fr, it Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwCAAAAAByaaZbAAAABGdBTUEAALGPC/xhBQAAAAFz UkdCAK7OHOkAAAAgY0hSTQAAeiYAAICEAAD6AAAAgOgAAHUwAADqYAAAOpgAABdwnLpRPAAAAAlw SFlzAAAK8AAACvABQqw0mAAAAAl2cEFnAAAAMAAAADAAzu6MVwAAAZxJREFUSMeVlotxxCAMRKlE tW1rqpAWYn0QMggfYe4yE4fHitXKk0brgnxYFtD31WhfAHPv+r0A8OyH7heMN6ZQgO5RgPlCIfbI Jfay2nG/IFrdW2YFliKgdfEZwFq0SSSkrQI70e0uJVAYwyJBiMc/AS0Ik1gA7M7LEaAgtktXALOr H0pabyEXCUf2kjZEfkd4uAD+89VefozlcL0Kn/YPQEoholElIJPDSoycYxBoVUWioIeqMwKGAu0K chgs3Caima0B3fB8FdAI+QNESbTaqn/zrLGvj5LgK/es65QfFMgr4GiZBPwLcA1eYoGzS36YhVC7 cAkQ2bx5UukI+Gkj5upRFtgV7JOBlwBVaZVU+rhwPry0dYjACM/pjztYgljfk7gE9A5wgdy3Chga PY/BB2CmsuV6GDdFKgWdXUkoQpLwqUBjLoZviaiBdE9PUrTvAKwmzHv/BmY3casQk8j/UNBZFJ9v AMLoxeN2+zx2btduCtI+NmfG31nPyzg9BU3P8Zoa+39Cm9lep3hTR3dfqkaIQk7k9JAq4Fl/IcU3 lNS30esAAAAldEVYdGRhdGU6Y3JlYXRlADIwMTItMTAtMDFUMTM6NDI6MzArMDI6MDAvSd33AAAA JXRFWHRkYXRlOm1vZGlmeQAyMDEyLTEwLTAxVDEzOjQyOjI5KzAyOjAwByYgBgAAAABJRU5ErkJg gg== Date: Fri, 22 Mar 2013 15:52:44 +0100 In-Reply-To: <5143510E.2000009@recherche.enac.fr> (Nicolas Barnier's message of "Fri, 15 Mar 2013 17:49:18 +0100") Message-ID: <87mwtvebb7.fsf@kronrod.saclay.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Validation-by: luca.saiu@inria.fr Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Le jour 2013-03-15 =C3=A0 17h49, Nicolas Barnier a =C3=A9crit=C2=A0: > We were thus wondering which engineering schools and universities are > actually currently using > OCaml, and for which cursus. The Computer Science Lab [1] of Universit=C3=A9 Paris 13 offers an "Advanced Functional Programming" [2] course at the Master 2 level (fifth year), specialty "Programming and safe programs" [3]. There is also another introductory course about functional programming at the "Licence 3" level (third year). Both use OCaml. [1] http://lipn.univ-paris13.fr [2] http://ageinghacker.net/lipn-stuff/teaching/PFA-2011/ [3] http://lipn.univ-paris13.fr/~fouquere/M2PLS/ --=20 Luca Saiu INRIA Saclay Personal home page: http://ageinghacker.net