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 2C1F07EE80 for ; Mon, 18 Mar 2013 09:20:31 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Marc.Pantel@enseeiht.fr) identity=pra; client-ip=147.127.176.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Marc.Pantel@enseeiht.fr"; x-sender="Marc.Pantel@enseeiht.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Marc.Pantel@enseeiht.fr designates 147.127.176.11 as permitted sender) identity=mailfrom; client-ip=147.127.176.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Marc.Pantel@enseeiht.fr"; x-sender="Marc.Pantel@enseeiht.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@n7smtp.enseeiht.fr designates 147.127.176.11 as permitted sender) identity=helo; client-ip=147.127.176.11; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Marc.Pantel@enseeiht.fr"; x-sender="postmaster@n7smtp.enseeiht.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An0DADzNRlGTf7ALgWdsb2JhbABDDrMHkhCBWBYOAQEWJiiCJAEBBAEMRxUGCwUJAgsYDSEbKhIGExKHcAMJBgy3eAOJThcEjl4zB4JfYQOXfZIuQA X-IPAS-Result: An0DADzNRlGTf7ALgWdsb2JhbABDDrMHkhCBWBYOAQEWJiiCJAEBBAEMRxUGCwUJAgsYDSEbKhIGExKHcAMJBgy3eAOJThcEjl4zB4JfYQOXfZIuQA X-IronPort-AV: E=Sophos;i="4.84,863,1355094000"; d="scan'208";a="8059947" Received: from n7smtp.enseeiht.fr ([147.127.176.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Mar 2013 09:20:30 +0100 Received: from imap.enseeiht.fr (imap.enseeiht.fr [147.127.176.21]) by n7smtp.enseeiht.fr (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id r2I8KNAG005331; Mon, 18 Mar 2013 09:20:25 +0100 Received: from phoenix.enseeiht.fr (phoenix.enseeiht.fr [147.127.82.40]) (authenticated bits=0) by imap.enseeiht.fr (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id r2I8KLwU023958 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT); Mon, 18 Mar 2013 09:20:23 +0100 Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=iso-8859-1 From: Marc Pantel In-Reply-To: Date: Mon, 18 Mar 2013 09:20:20 +0100 Cc: Nicolas Barnier , "caml-list@inria.fr" Content-Transfer-Encoding: quoted-printable Message-Id: <055FF0C9-F862-4991-AF8C-CA08B224EDD2@enseeiht.fr> References: <5143510E.2000009@recherche.enac.fr> To: Kristopher Micinski X-Mailer: Apple Mail (2.1085) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.0 (n7smtp.enseeiht.fr [147.127.176.11]); Mon, 18 Mar 2013 09:20:28 +0100 (CET) X-Scanned-By: MIMEDefang 2.64 on 147.127.176.11 X-Validation-by: marc.pantel@enseeiht.fr Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Hi, At ENSEEIHT (Ecole Nationale Sup=E9rieure d'Electronique, Electrotechnique,= Informatique, Hydraulique et T=E9l=E9communications, http://www.enseeiht.f= r) in Toulouse, France, pure functional subset of OCaML is taught in 1st ye= ar of computer science and applied mathematics (L3 level, 5 ETCS, 52 hours)= in Algorithms and Functional Programming courses, then it is used in the C= ompiler (M1 level, 5 ETCS, 52 hours) and the Static Analysis based Verifica= tion (M2 level, 3 ETCS, 30 hours) courses. Best regards, Marc Le 17 mars 2013 =E0 22:07, Kristopher Micinski a =E9crit : > Maryland teaches OCaml in our classes (PL and compilers): >=20 > http://www.cs.umd.edu/class/spring2013/cmsc330/ > http://www.cs.umd.edu/class/fall2012/cmsc430/ >=20 > Kris >=20 > On Fri, Mar 15, 2013 at 12:49 PM, Nicolas Barnier > wrote: >> Hi OCamlers, >>=20 >> We use OCaml at ENAC (French Civil Aviation University) to teach the bas= ics >> 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. >>=20 >> 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. >>=20 >> Cheers, >>=20 >> -- Nicolas Barnier >>=20 >>=20 >> -- >> Caml-list mailing list. Subscription management and archives: >> https://sympa.inria.fr/sympa/arc/caml-list >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs Marc Pantel Ma=EEtre de Conf=E9rences en Informatique Assistant Professor in Computer Science IRIT - Institut de Recherche en Informatique de Toulouse - CNRS N7 - INPT - Universit=E9 de Toulouse - France - Europe http://maps.google.com/maps?q=3DRue+Charles+Camichel,+31000+Toulouse,+Franc= e&z=3D16 phone +(33) 534 32 2185 fax +(33) 534 32 2157 cell +(33) 676 221 687