Nicolas Barnier started a very interesting discussion to inventory universities and engineering schools where OCaml is used as a teaching material. I believe this is a very interesting topic and that we should make a web page out of it. So, here it is, or almost.
Well, this page is currently a bit of a mess: I'll arrange that! Meanwhile, I'll keep aggregating information.
Built upon information given by Nicolas Barnier
) : used in CS major from 1995 to now (2013)
Built upon information given by Yaron Minsky
Harvard's CS51 is the 2nd-semester course which all CS majors take, and it is taught in OCaml.
Cornell's algorithms class is mandatory for all majors, and is taught in OCaml.
Penn teaches OCaml in at least some of it's intro sequence.
Not quite OCaml, but CMU teaches SML to all undergrads as part of its intro sequence.
Brown does at least some OCaml in their CS curriculum, though I'm not sure of the details. I just know that a goodly fraction of the applicants from Brown know OCaml.
Princeton has a new FP course that teaches OCaml, that I know people there are pretty excited about.
Built upon information given by Roberto Di Cosmo
University Paris Diderot (Paris 7) level L3 and M1
University Pierre et Marie Curie (Paris 6)
Université Paris-Sud (Orsay, Paris 11)
Built upon information given by Bertrand Bonnefoy-Claudet
information given by Lukasz Stafiniak
information given by Anil Madhavapeddy
information given by Jason Yeo
information given by Valentin ROBERT
information given by Dagnat Fabien
information given by Alan Schmitt
OCaml course at INSA (an engineering school) in Rennes (3rd year).
There is also an university of Rennes 1 course (3rd year as well, if I remember correctly).
information given by Kristopher Micinski
Maryland teaches OCaml in our classes (PL and compilers):
information given by Marc Pantel
ENSEEIHT (Ecole Nationale Supérieure d'Electronique, Electrotechnique, Informatique, Hydraulique et Télécommunications, http://www.enseeiht.fr
) in Toulouse, France, pure functional subset of OCaML is taught in 1st year of computer science and applied mathematics (L3 level, 5 ETCS, 52 hours) in Algorithms and Functional Programming courses, then it is used in the Compiler (M1 level, 5 ETCS, 52 hours) and the Static Analysis based Verification (M2 level, 3 ETCS, 30 hours) courses.
information given by Christophe Garion
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.
information given by Sebastien Ferre
information given by Simão Sousa
information given by Julien Cohen
information given by Marcin Kubica
information given by