From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
To: Sebastien Ferre <Sebastien.Ferre@irisa.fr>, caml-list@inria.fr
Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools
Date: Tue, 26 Mar 2013 11:21:55 +0100 [thread overview]
Message-ID: <515176C3.1060504@braud-santoni.eu> (raw)
In-Reply-To: <5146E978.8030202@irisa.fr>
[-- Attachment #1: Type: text/plain, Size: 1268 bytes --]
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
>>
>
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 836 bytes --]
next prev parent reply other threads:[~2013-03-26 10:22 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-15 16:49 Nicolas Barnier
2013-03-15 17:56 ` Yaron Minsky
2013-03-15 18:04 ` Roberto Di Cosmo
2013-03-15 18:24 ` Bertrand Bonnefoy-Claudet
2013-03-15 18:35 ` Roberto Di Cosmo
2013-03-15 20:12 ` Ashish Agarwal
2013-03-16 1:02 ` Philippe Wang
2013-03-16 1:15 ` Lukasz Stafiniak
2013-03-16 5:20 ` Bertrand Bonnefoy-Claudet
2013-03-15 20:53 ` Marek Kubica
2013-03-16 5:26 ` Jason Yeo
2013-03-16 5:34 ` Valentin ROBERT
2013-03-16 8:37 ` Dagnat Fabien
2013-03-16 15:26 ` Milan Stanojević
2013-03-17 15:58 ` Alan Schmitt
2013-03-17 21:07 ` Kristopher Micinski
2013-03-17 21:29 ` Lukasz Stafiniak
2013-03-18 14:00 ` Yaron Minsky
2013-03-18 14:07 ` Simon Cruanes
2013-03-18 15:47 ` Anil Madhavapeddy
2013-03-19 5:43 ` D. LoBraico
2013-03-18 8:20 ` Marc Pantel
2013-03-18 9:52 ` Christophe Garion
2013-03-18 10:16 ` Sebastien Ferre
2013-03-26 10:21 ` Nicolas Braud-Santoni [this message]
2013-03-19 7:35 ` Simão Sousa
2013-03-22 14:52 ` Luca Saiu
2013-03-17 16:22 Mark Raymond
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=515176C3.1060504@braud-santoni.eu \
--to=nicolas@braud-santoni.eu \
--cc=Sebastien.Ferre@irisa.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).