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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C06AB7EE80 for ; Mon, 18 Mar 2013 11:16:24 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.84,863,1355094000"; d="scan'208";a="8084852" Received: from albireo.irisa.fr (HELO [131.254.14.27]) ([131.254.14.27]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-CAMELLIA256-SHA; 18 Mar 2013 11:16:24 +0100 Message-ID: <5146E978.8030202@irisa.fr> Date: Mon, 18 Mar 2013 11:16:24 +0100 From: Sebastien Ferre Organization: IRISA User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.9) Gecko/20100430 Fedora/3.0.4-2.fc12 Thunderbird/3.0.4 MIME-Version: 1.0 To: caml-list@inria.fr References: <5143510E.2000009@recherche.enac.fr> <055FF0C9-F862-4991-AF8C-CA08B224EDD2@enseeiht.fr> <8738vtf324.fsf@suntof.isae.fr> In-Reply-To: <8738vtf324.fsf@suntof.isae.fr> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: sebastien.ferre@irisa.fr Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Hi, At ISTIC/Université de Rennes 1, OCaml is used in different courses at different levels: - functional programming in 3rd year (52h) - introduction to programming for students having a master in another domain (e.g., biology, chemistry) and preparing a master CCI (Complementary Competency in CS) - compilation in 1st year of the CS master, in combination with LLVM (16h of practicals) Best, Sébastien Ferré On 03/18/2013 10:52 AM, Christophe Garion wrote: > 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 >