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 91F037EE7B for ; Tue, 26 Mar 2013 11:22:03 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of nicolas.braudsantoni@gmail.com) identity=pra; client-ip=74.125.83.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="nicolas.braudsantoni@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of nicolas.braudsantoni@gmail.com designates 74.125.83.47 as permitted sender) identity=mailfrom; client-ip=74.125.83.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="nicolas.braudsantoni@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-ee0-f47.google.com) identity=helo; client-ip=74.125.83.47; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="nicolas.braudsantoni@gmail.com"; x-sender="postmaster@mail-ee0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0BAHR2UVFKfVMvk2dsb2JhbABDhle+MhYOAQEBAQcLCwkUBFqCHwEBBSMdATcCAwwBBQUYCRYLAgIJAwIBAgEiAQUBHAYBDAgBAYd+Aw+jOYtjgkCBCoR4Jw2JVQEFDJE6gRMDj0OBKIcbhGCFcIM2P4FZglU X-IPAS-Result: Al0BAHR2UVFKfVMvk2dsb2JhbABDhle+MhYOAQEBAQcLCwkUBFqCHwEBBSMdATcCAwwBBQUYCRYLAgIJAwIBAgEiAQUBHAYBDAgBAYd+Aw+jOYtjgkCBCoR4Jw2JVQEFDJE6gRMDj0OBKIcbhGCFcIM2P4FZglU X-IronPort-AV: E=Sophos;i="4.84,911,1355094000"; d="asc'?scan'208";a="7861883" Received: from mail-ee0-f47.google.com ([74.125.83.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Mar 2013 11:22:03 +0100 Received: by mail-ee0-f47.google.com with SMTP id t10so672945eei.20 for ; Tue, 26 Mar 2013 03:22:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:message-id:date:from:user-agent:mime-version:to :subject:references:in-reply-to:x-enigmail-version:content-type; bh=W3+7nOTaHaC5xOrWqRONcChtk1q+ZT6rsfnA8Sou5rI=; b=bSsNN/kCDsOZmntS7Z2p/SqaRSs/ng6JZWbTLwYUNj3jLYkE5gibPpc5h77QP4v53X UKW9jzPOxzZXLy1EY+Y5P9JTceEzx66XkYuhKDXyICEIgaI0Qyl5MUIOg9tV0uKcTrzl z8u7vF/ijEDFp7tPo/WKO18yrLzmS2/zRiWfr+nM+AEP7btN+utfq/symn4h5pq+bpId VQdhVk9c2gxZXw1+SvqtH2K510YKkF6968e290ec7iKZSwwNr62NtebWRxWngS9i4uNx /X5uHPFYDVcnaao5LrMd4KWl40CTnhX5VgMcidaw74W3AsSS05kYuJt/onQ66el3NaoD uCVw== X-Received: by 10.15.111.202 with SMTP id cj50mr3560706eeb.6.1364293322635; Tue, 26 Mar 2013 03:22:02 -0700 (PDT) Received: from [128.178.73.213] (lpdlaptop2.epfl.ch. [128.178.73.213]) by mx.google.com with ESMTPS id z45sm24096823eeu.10.2013.03.26.03.22.00 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 26 Mar 2013 03:22:01 -0700 (PDT) Sender: Nicolas Braud-Santoni Message-ID: <515176C3.1060504@braud-santoni.eu> Date: Tue, 26 Mar 2013 11:21:55 +0100 From: Nicolas Braud-Santoni User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130325 Thunderbird/17.0.4 MIME-Version: 1.0 To: Sebastien Ferre , caml-list@inria.fr References: <5143510E.2000009@recherche.enac.fr> <055FF0C9-F862-4991-AF8C-CA08B224EDD2@enseeiht.fr> <8738vtf324.fsf@suntof.isae.fr> <5146E978.8030202@irisa.fr> In-Reply-To: <5146E978.8030202@irisa.fr> X-Enigmail-Version: 1.5.1 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="----enig2XCCQKTDFHSOOLCFRIXMH" X-Validation-by: nicolas@braud-santoni.eu Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools This is an OpenPGP/MIME signed message (RFC 4880 and 3156) ------enig2XCCQKTDFHSOOLCFRIXMH Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi, It is also used (at ISTIC/Rennes 1) at the M2 level, for the Static Analysis course (Program Analysis for Software Security). For completeness' sake, I'll add that ENS de Cachan (Rennes campus) uses OCaml for all programming projects in first year, except for the prog. tutorial (a different language each year) and the C/C++ and object-oriented courses. Regards, Nicolas Braud-Santoni On 18/03/2013 11:16, Sebastien Ferre wrote: > Hi, > > At ISTIC/Universit=C3=A9 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=C3=A9bastien Ferr=C3=A9 > > > 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 >> > ------enig2XCCQKTDFHSOOLCFRIXMH Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.19 (GNU/Linux) iQIcBAEBAgAGBQJRUXbHAAoJEPv4tP2UoeSeSzoP/RX0BSSJRLXh0ndlg7xZHc1y YUq4h5TsWT9Xpzm0e2sbgzR5v/JnAJAYPn4rZmfgqlT0w7pagiuE5uAVTv2T7Vx6 sLkblgDeAJTnHZrGfbry7Qh/QOSFCzEHW43I12ap8yTrX0gGUy1JjKnDQ92mQQym AHpyTGS4R7P6ke8aQfofb7CBEhANeEjLodXvauiNkiNDWHbLbG6yqYQByI3yfc3A j90/6Q6XpKnbHGiHA5QXLYQFsS9bAc9yuVvyriBZ2pdGQe5V+LLsW7VgzEhroASg HzTKl2oYNonRmQm40+sYfTnd99pTYZve6yNCL+e/QDzuZh5DxB7rLWZsVDUZwIeu 5gUqqV2FFDJ8mTHH6ZbwFXiS3vSIk5x2Cd81p+ERq1yLe7YUGbcI+QE6Bb6NZeTJ tGQjf3kfP5REw2GDJ0xB1B2m7PmA5XNulKR/0TgF8H/5RsIPEUZXWL0BiKch710/ 7zxgeKnuOXUdeVDxYNuUb6lQ8xIxp9koVnId8QJA+pdmqi0ZmEnghOh1dZDDQ2qV cYyYVVv38cu2vTuX1S9CLzclEf3fFc2BTt3iqLBn75FsiKtBKNMlbmhC/HMB7EKo 8mnLGaz1td/SysTIhFqNPGV5UlnvXXDTqNhpzLnGi9jIOAbE0ZAbq+GLbgarufTD aL7kkeH2uOsnXpcD68Cn =w/3I -----END PGP SIGNATURE----- ------enig2XCCQKTDFHSOOLCFRIXMH--