From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2CB2gjB001217 for ; Mon, 12 Mar 2012 12:02:42 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkoCAIDXXU9KfVK2kGdsb2JhbABCgwmyOggiAQEBAQkJDQcUBCOCCgEBBBICLAEBOA8LCzs0AQUBHDuHaASdcgqKP4QqAY4RBo1fgj9jlVCFaYhcPYQF X-IronPort-AV: E=Sophos;i="4.73,570,1325458800"; d="scan'208";a="135569788" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Mar 2012 12:02:37 +0100 Received: by wern13 with SMTP id n13so2018082wer.27 for ; Mon, 12 Mar 2012 04:02:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; bh=QOtXwkDH/0koJB+MqFEV/v+LpORA6hBus9RL/Mj2J3M=; b=GZqHUCaDX/dO2I5aJ2hhD+/v5Wxn++wEPMTZnLH52uaIMQcan+zh+UTRyW9PDcHFDC G8wIz2da3ZGiN1G0xZMiil5iCoHNzeKkE/H4L9HoCARHTltmuxb1YB1ujzR3zqgA1lPv Pl3kBy6/J+dkEwDJQ1MNbclCzqgqRnxN91BRJT/JDmt7u7H1lsXTSLWWuutgFlBqh+Aw 0eHeb/k2VYm42cDyy4sl1NMqg3k0oe65cofDo1d5ZFIFZj6sUKhRFu3rp72mu2GDcVaM lZbiOm2OQPG2MxRkTfDwxiMIsPKHhCL14onxbHLpYF5oXnQw7YZQ74AZ6EdgEczsQC9T f1Tw== Received: by 10.180.85.35 with SMTP id e3mr26211837wiz.6.1331550156714; Mon, 12 Mar 2012 04:02:36 -0700 (PDT) Received: from [10.7.162.184] (eduroam.uni-siegen.de. [141.99.252.129]) by mx.google.com with ESMTPS id gp8sm33015130wib.5.2012.03.12.04.02.36 (version=TLSv1/SSLv3 cipher=OTHER); Mon, 12 Mar 2012 04:02:36 -0700 (PDT) Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Apple Message framework v1257) From: Benedikt Meurer In-Reply-To: <4F5A0868.4060409@inria.fr> Date: Mon, 12 Mar 2012 12:02:35 +0100 Message-Id: <7583671A-A31A-4766-8A97-752B0F750EC6@gmail.com> References: <4F5A0868.4060409@inria.fr> To: caml-list@inria.fr X-Mailer: Apple Mail (2.1257) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q2CB2gjB001217 Subject: Re: [Caml-list] OCaml Users and Developers workshop (OUD) On Mar 9, 2012, at 14:40 , Didier Remy wrote: > - compiler developments; new backends, runtime and architectures. On a related note: My bachelor student Colin Benner almost got his LLVM backend for ocamlopt working and will be preparing a talk on his work for the OUD. Just in case you're interested. :-) greets, Benedikt