From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <christophe.garion@isae.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 5D80C7EE80
	for <caml-list@sympa.inria.fr>; Mon, 18 Mar 2013 10:52:04 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  christophe.garion@isae.fr) identity=pra;
  client-ip=193.54.120.4;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="christophe.garion@isae.fr";
  x-sender="christophe.garion@isae.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  christophe.garion@isae.fr) identity=mailfrom;
  client-ip=193.54.120.4;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="christophe.garion@isae.fr";
  x-sender="christophe.garion@isae.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtpext.isae.fr) identity=helo;
  client-ip=193.54.120.4;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="christophe.garion@isae.fr";
  x-sender="postmaster@smtpext.isae.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnYFACnjRlHBNngEkWdsb2JhbABDh19HvHcEBAGBbw4BAQEBFBIUKIIlAQUjVhALGgIFIQICDwEESROIGK87khGBI41yB4ItgRMDll6BH4pMiCI7
X-IPAS-Result: AnYFACnjRlHBNngEkWdsb2JhbABDh19HvHcEBAGBbw4BAQEBFBIUKIIlAQUjVhALGgIFIQICDwEESROIGK87khGBI41yB4ItgRMDll6BH4pMiCI7
X-IronPort-AV: E=Sophos;i="4.84,863,1355094000"; 
   d="scan'208";a="6862272"
Received: from smtpext.isae.fr ([193.54.120.4])
  by mail3-smtp-sop.national.inria.fr with SMTP; 18 Mar 2013 10:52:03 +0100
Received: from supmail (unknown [10.132.1.9])
	by smtpext.isae.fr (Postfix) with SMTP id 565F822E7CE;
	Mon, 18 Mar 2013 10:52:00 +0100 (CET)
Received: from suntof.isae.fr (suntof.isae.fr [10.161.3.33])
	by supmail (Postfix) with ESMTP id 6A164C884AF;
	Mon, 18 Mar 2013 10:52:03 +0100 (CET)
Received: from localhost ([127.0.0.1] helo=suntof.isae.fr)
	by suntof.isae.fr with esmtp (Exim 4.80)
	(envelope-from <christophe.garion@isae.fr>)
	id 1UHWjb-0002aV-4f; Mon, 18 Mar 2013 10:52:03 +0100
From: Christophe Garion <christophe.garion@isae.fr>
To: "caml-list\@inria.fr" <caml-list@inria.fr>
Cc: Nicolas Barnier <barnier@recherche.enac.fr>,  
References: <5143510E.2000009@recherche.enac.fr>
	<CAF1Sy-EnKCd5NxewOhZy19yCHjL=fFa_y8xxGHer4cOkgs4SxA@mail.gmail.com>
	<055FF0C9-F862-4991-AF8C-CA08B224EDD2@enseeiht.fr>
Date: Mon, 18 Mar 2013 10:52:03 +0100
In-Reply-To: <055FF0C9-F862-4991-AF8C-CA08B224EDD2@enseeiht.fr> (Marc Pantel's
	message of "Mon, 18 Mar 2013 09:20:20 +0100")
Message-ID: <8738vtf324.fsf@suntof.isae.fr>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Validation-by: christophe.garion@isae.fr
Subject: Re: [Caml-list] Use of OCaml in universities and engineering
 schools

Hi,

At ISAE/SUPAERO (http://supaero.isae.fr/en/), OCaML is used in a 20
hours lecture on functional programming and introduction to type
theory in the 1st year major on Artificial Intelligence and Foundations
of CS.

Best regards,

Christophe

--=20
Christophe Garion          ISAE/DMIA - SUPAERO/IN
garion@isae.fr             10 avenue Edouard Belin
T=C3=A9l : (33)5 61 33 80 57    BP 54032
Fax : (33)5 61 33 83 45    31055 Toulouse Cedex 4