From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <marek@xivilization.net>
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 A8BC67EE80
	for <caml-list@sympa.inria.fr>; Fri, 15 Mar 2013 21:53:54 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  marek@xivilization.net) identity=pra; client-ip=178.63.18.39;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="marek@xivilization.net";
  x-sender="marek@xivilization.net";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  marek@xivilization.net designates 178.63.18.39 as permitted
  sender) identity=mailfrom; client-ip=178.63.18.39;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="marek@xivilization.net";
  x-sender="marek@xivilization.net";
  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@coaxial.xivilization.net) identity=helo;
  client-ip=178.63.18.39;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="marek@xivilization.net";
  x-sender="postmaster@coaxial.xivilization.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlwJAIaJQ1GyPxIn/2dsb2JhbABDh2y9NAQEAYFnFnSCKgEBBAFAAQE3AQQLCyElD0gGE4gOCrAHhDsBBX2ODQaPFQeDQJZdkQODCw
X-IPAS-Result: AlwJAIaJQ1GyPxIn/2dsb2JhbABDh2y9NAQEAYFnFnSCKgEBBAFAAQE3AQQLCyElD0gGE4gOCrAHhDsBBX2ODQaPFQeDQJZdkQODCw
X-IronPort-AV: E=Sophos;i="4.84,853,1355094000"; 
   d="scan'208";a="7864198"
Received: from coaxial.xivilization.net ([178.63.18.39])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Mar 2013 21:53:54 +0100
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=xivilization.net; s=xiv;
	h=Content-Transfer-Encoding:Content-Type:Mime-Version:References:In-Reply-To:Message-ID:Subject:Cc:To:From:Date; bh=Y/9ESC3fSG1i8tR01KlOhgdBIb7z8iDST7k3oxCWsfU=;
	b=E2eEW79sz69dYDTnynOAwzyB/4RHQnlnwM+7rJcALjejGWN4WYKosE7+6YUNlJsF7NsBw8Ngw611rfnM+lFBMUbuMvbXwzl8iyQjiIoppGhVjx5jrnVpJXEbUs71FEZ6;
Received: from host-188-174-213-62.customer.m-online.net ([188.174.213.62] helo=localhost.localdomain)
	by coaxial.xivilization.net with esmtpsa (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.72)
	(envelope-from <marek@xivilization.net>)
	id 1UGbdR-0007PK-GE; Fri, 15 Mar 2013 21:53:53 +0100
Date: Fri, 15 Mar 2013 21:53:52 +0100
From: Marek Kubica <marek@xivilization.net>
To: Nicolas Barnier <barnier@recherche.enac.fr>
Cc: caml-list@inria.fr
Message-ID: <20130315215352.2c08a00b@xivilization.net>
In-Reply-To: <5143510E.2000009@recherche.enac.fr>
References: <5143510E.2000009@recherche.enac.fr>
X-Mailer: Claws Mail 3.9.0 (GTK+ 2.24.16; x86_64-unknown-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] Use of OCaml in universities and engineering
 schools

On Fri, 15 Mar 2013 17:49:18 +0100
Nicolas Barnier <barnier@recherche.enac.fr> wrote:

> We were thus wondering which engineering schools and universities are=20
> actually currently using OCaml, and for which cursus.

The Technische Universit=E4t M=FCnchen is/was using it for a course called
"Introduction to computer science 2". It is not OCaml specific but
rather focuses on functional programming so a year ago it SML and this
year it was Haskell. Depends on the professor.

regards,
Marek