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é 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
>>
>