From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rdicosmo@gmail.com>
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 C91CF7EE80
	for <caml-list@sympa.inria.fr>; Fri, 15 Mar 2013 19:35:53 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rdicosmo@gmail.com) identity=pra; client-ip=74.125.82.174;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rdicosmo@gmail.com";
  x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  rdicosmo@gmail.com designates 74.125.82.174 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.174;
  receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-we0-f174.google.com) identity=helo;
  client-ip=74.125.82.174;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rdicosmo@gmail.com";
  x-sender="postmaster@mail-we0-f174.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AscIAH9pQ1FKfVKuiGdsb2JhbABDh2y4FYUbA4FoFg4BAQETFBQEJIIrAQU6BgE4AQMMAQUFISUPBSABBQEBIROIAgMPBKRpjy2FDicNiVUBBQwJjiODQ2EDllqPIT+BWYJV
X-IPAS-Result: AscIAH9pQ1FKfVKuiGdsb2JhbABDh2y4FYUbA4FoFg4BAQETFBQEJIIrAQU6BgE4AQMMAQUFISUPBSABBQEBIROIAgMPBKRpjy2FDicNiVUBBQwJjiODQ2EDllqPIT+BWYJV
X-IronPort-AV: E=Sophos;i="4.84,853,1355094000"; 
   d="scan'208";a="6669228"
Received: from mail-we0-f174.google.com ([74.125.82.174])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Mar 2013 19:35:53 +0100
Received: by mail-we0-f174.google.com with SMTP id r6so3497800wey.5
        for <caml-list@inria.fr>; Fri, 15 Mar 2013 11:35:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:sender:date:from:to:cc:subject:message-id:references
         :mime-version:content-type:content-disposition:in-reply-to
         :user-agent;
        bh=VeowFFz5ctUPi7Xsw0usfLonCAM5tkj31kHHh1xIq3c=;
        b=zxfXg2xWS+VVaUK3EoEgZLRORFZxnMDxAazJ8YT1/oe13pH+PfyNwHgAuLa5j/3g2x
         pvh1DXpekvYSZta4fUPdjyvpQFm1dLUuMMM3FprAF/OKDbjNXcpM07CLpncEob1bLanN
         yq4kEpV5kpaLxpZbWx/8NJYiYaKCm8jCrZhFBNqlnZMiXRWzFHkgP5oAEHUKOe/1N/Fi
         YqCiYtk3x6cjpOaJoCpXiA9o2PIPcMOypDezhc01lu+OTIadmXaoYLPXU+yMi9+QDtip
         2O75j9iW0MmM4T5SFUpzDjUqZk85WA63KYtuphnjWvozb3gnQIq2atqT7nTXFjadFhqo
         7nVQ==
X-Received: by 10.194.123.103 with SMTP id lz7mr12969625wjb.10.1363372553091;
        Fri, 15 Mar 2013 11:35:53 -0700 (PDT)
Received: from voyager (bny92-3-81-56-44-163.fbx.proxad.net. [81.56.44.163])
        by mx.google.com with ESMTPS id fg6sm4823675wib.10.2013.03.15.11.35.51
        (version=TLSv1 cipher=RC4-SHA bits=128/128);
        Fri, 15 Mar 2013 11:35:52 -0700 (PDT)
Sender: Roberto Di Cosmo <rdicosmo@gmail.com>
Received: from dicosmo by voyager with local (Exim 4.72)
	(envelope-from <roberto@dicosmo.org>)
	id 1UGZTq-0007f4-6A; Fri, 15 Mar 2013 19:35:50 +0100
Date: Fri, 15 Mar 2013 19:35:50 +0100
From: Roberto Di Cosmo <roberto@dicosmo.org>
To: Nicolas Barnier <barnier@recherche.enac.fr>
Cc: Yaron Minsky <yminsky@janestreet.com>, caml-list@inria.fr
Message-ID: <20130315183550.GA29369@voyager>
References: <5143510E.2000009@recherche.enac.fr>
 <CACLX4jQHBY54FSu6VYoqhGKcW0XYs2uWif0u-wHkFTvLcRCsWg@mail.gmail.com>
 <20130315180416.GB28316@voyager>
 <CAM=zjuzdAn3D8FmJ_+1QO5RZtkghjJ_nX55EGpJweirZNzmPfQ@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAM=zjuzdAn3D8FmJ_+1QO5RZtkghjJ_nX55EGpJweirZNzmPfQ@mail.gmail.com>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [Caml-list] Use of OCaml in universities and engineering
 schools

2013/3/15 Roberto Di Cosmo <roberto@dicosmo.org>:
> Hi Nicolas,
>    nice idea to ask about this... let me add that in the Paris
> area there are many many places where OCaml is taught (too
> many to list here, but just out of muy head, University Paris Diderot,
> level L3 and L1, University Pierre et Marie Curie, Orsay, ESIIE
               ^^---- M1, not L1, actually
> and Epitech all use OCaml at different levels)
>
> We would really need a central place to keep this info well
> structured. Even a simple wiki page would do.
>