Re: [Caml-list] Use of OCaml in universities and engineering schools

["Simão Sousa" <desousa@di.ubi.pt>]

Hi,

At the University of Beira Interior, Portugal, we are using OCaml as the underlying programming language (as a tool, not as the subject) in 3 different courses:

Theory of Computation and Formal Languages
Compilers Construction 
Program Verification (includes  computational logic, decision procedure, deductive methods and program logic)

As a subject of study, Ocaml is used in the following advanced courses:
 
Theory of programming 
Certified Programming


All the best,
Simão Melo de Sousa

A 15/03/2013, às 16:49, Nicolas Barnier <barnier@recherche.enac.fr> escreveu:

> Hi OCamlers,
> 
> We use OCaml at ENAC (French Civil Aviation University) to teach the basics 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.
> 
> 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.
> 
> Cheers,
> 
> -- Nicolas Barnier
> 
> 
> -- 
> 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