From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <barnier@recherche.enac.fr>
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 A15487EE8A
	for <caml-list@sympa.inria.fr>; Fri, 15 Mar 2013 17:49:19 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  barnier@recherche.enac.fr) identity=pra;
  client-ip=195.83.98.200;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="barnier@recherche.enac.fr";
  x-sender="barnier@recherche.enac.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  barnier@recherche.enac.fr) identity=mailfrom;
  client-ip=195.83.98.200;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="barnier@recherche.enac.fr";
  x-sender="barnier@recherche.enac.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mailhost.tls.cena.fr) identity=helo;
  client-ip=195.83.98.200;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="barnier@recherche.enac.fr";
  x-sender="postmaster@mailhost.tls.cena.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ap0EAKZQQ1HDU2LI/2dsb2JhbABDxxt0gmlAPRYYAwIBAgFYCAKIFKFmoUePMoMqA5xYiwWDCzs
X-IPAS-Result: Ap0EAKZQQ1HDU2LI/2dsb2JhbABDxxt0gmlAPRYYAwIBAgFYCAKIFKFmoUePMoMqA5xYiwWDCzs
X-IronPort-AV: E=Sophos;i="4.84,852,1355094000"; 
   d="scan'208";a="6657547"
Received: from fw.tls.cena.fr (HELO mailhost.tls.cena.fr) ([195.83.98.200])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Mar 2013 17:49:19 +0100
Received: from melko.tls.cena.fr (imap.tls.cena.fr [10.192.32.90])
	by mailhost.tls.cena.fr (Postfix) with ESMTP id BDCEE22C7
	for <caml-list@inria.fr>; Fri, 15 Mar 2013 17:49:18 +0100 (CET)
Received: from localhost (localhost [127.0.0.1])
	by melko.tls.cena.fr (Postfix) with ESMTP id 92C3F815D;
	Fri, 15 Mar 2013 17:49:18 +0100 (CET)
X-Virus-Scanned: Debian amavisd-new at cena.fr
Received: from melko.tls.cena.fr ([127.0.0.1])
	by localhost (melko.tls.cena.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id Le-5aS34YtQQ; Fri, 15 Mar 2013 17:49:18 +0100 (CET)
Received: from [10.192.33.96] (venar [10.192.33.96])
	by melko.tls.cena.fr (Postfix) with ESMTP id 37752808D;
	Fri, 15 Mar 2013 17:49:18 +0100 (CET)
Message-ID: <5143510E.2000009@recherche.enac.fr>
Date: Fri, 15 Mar 2013 17:49:18 +0100
From: Nicolas Barnier <barnier@recherche.enac.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Use of OCaml in universities and engineering schools

Hi OCamlers,

We use OCaml at ENAC (French Civil Aviation University) to teach the 
basics of programming and the
design of algorithms in the first year course of CS major since 1995. 
The cursus is now under deep
revisionand we're trying to advocate its convenience in the new cursus 
to our hierarchy and
colleagues.

We were thus wondering which engineering schools and universities are 
actually currently using
OCaml, and for which cursus. Short of finding a long enough list on the 
OCaml websites or by
googling, we've decided to try the caml-list for feedback. So if you are 
involved in a CS course
using OCaml, we would greatly appreciate that you let us know, so as to 
help us arguing to keep
this great language in our cursus.

Cheers,

-- Nicolas Barnier