From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <desousa@di.ubi.pt>
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 C7DD47EE8A
	for <caml-list@sympa.inria.fr>; Tue, 19 Mar 2013 08:35:53 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  desousa@di.ubi.pt) identity=pra; client-ip=193.136.66.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="desousa@di.ubi.pt";
  x-sender="desousa@di.ubi.pt"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  desousa@di.ubi.pt designates 193.136.66.4 as permitted
  sender) identity=mailfrom; client-ip=193.136.66.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="desousa@di.ubi.pt";
  x-sender="desousa@di.ubi.pt"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@neve.di.ubi.pt) identity=helo;
  client-ip=193.136.66.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="desousa@di.ubi.pt";
  x-sender="postmaster@neve.di.ubi.pt";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkgGACgUSFHBiEIE/2dsb2JhbABDswuSGYFdFnSCJAEBBAFuEAsLJSFFEhkSh3ADCQoIsh2GPAOJZY5bOhaCSWEDl36EXosFgwo
X-IPAS-Result: AkgGACgUSFHBiEIE/2dsb2JhbABDswuSGYFdFnSCJAEBBAFuEAsLJSFFEhkSh3ADCQoIsh2GPAOJZY5bOhaCSWEDl36EXosFgwo
X-IronPort-AV: E=Sophos;i="4.84,870,1355094000"; 
   d="scan'208";a="8236622"
Received: from neve.di.ubi.pt ([193.136.66.4])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Mar 2013 08:35:53 +0100
Received: from [192.168.1.2] (to2-84-90-34-58.netvisao.pt [84.90.34.58])
	(authenticated bits=0)
	by neve.di.ubi.pt (8.14.3/8.14.3) with ESMTP id r2J7Zhhq004924
	(version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO)
	for <caml-list@inria.fr>; Tue, 19 Mar 2013 07:35:51 GMT
Content-Type: text/plain; charset=iso-8859-1
Mime-Version: 1.0 (Mac OS X Mail 6.2 \(1499\))
From: =?iso-8859-1?Q?Sim=E3o_Sousa?= <desousa@di.ubi.pt>
In-Reply-To: <5143510E.2000009@recherche.enac.fr>
Date: Tue, 19 Mar 2013 07:35:41 +0000
Content-Transfer-Encoding: quoted-printable
Message-Id: <82356A0A-26A7-436F-BA1C-63252A00A17B@di.ubi.pt>
References: <5143510E.2000009@recherche.enac.fr>
To: caml-list@inria.fr
X-Mailer: Apple Mail (2.1499)
Subject: Re: [Caml-list] Use of OCaml in universities and engineering
 schools

Hi,

At the University of Beira Interior, Portugal, we are using OCaml as the un=
derlying programming language (as a tool, not as the subject) in 3 differen=
t courses:

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

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


All the best,
Sim=E3o Melo de Sousa

A 15/03/2013, =E0s 16:49, Nicolas Barnier <barnier@recherche.enac.fr> escre=
veu:

> Hi OCamlers,
>=20
> We use OCaml at ENAC (French Civil Aviation University) to teach the basi=
cs 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 act=
ually currently using
> OCaml, and for which cursus. Short of finding a long enough list on the O=
Caml 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 h=
elp us arguing to keep
> this great language in our cursus.
>=20
> Cheers,
>=20
> -- Nicolas Barnier
>=20
>=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