From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 915057EE51 for ; Wed, 3 Apr 2013 15:10:42 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.126.187 as permitted sender) identity=helo; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj0BAIEpXFHU4367jWdsb2JhbABDgz2uJJIbgQwWDgEBAQEHCwsJEgUlgh8BAQUdHTQLECMNISEbCRIGEwkJh3ADEwi3CQMKiVsViQGDMYIsJgeDQAOOG4Zwgn+KUYgo X-IPAS-Result: Aj0BAIEpXFHU4367jWdsb2JhbABDgz2uJJIbgQwWDgEBAQEHCwsJEgUlgh8BAQUdHTQLECMNISEbCRIGEwkJh3ADEwi3CQMKiVsViQGDMYIsJgeDQAOOG4Zwgn+KUYgo X-IronPort-AV: E=Sophos;i="4.87,401,1363129200"; d="scan'208";a="11599626" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Apr 2013 15:10:42 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-214-235.pools.arcor-ip.net [94.219.214.235]) by mrelayeu.kundenserver.de (node=mrbap2) with ESMTP (Nemesis) id 0LhTpQ-1V16012ejw-00mvEg; Wed, 03 Apr 2013 15:10:41 +0200 Received: from samsung (ip-5-146-55-186.unitymediagroup.de [5.146.55.186]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 531D7C00D0; Wed, 3 Apr 2013 15:10:41 +0200 (CEST) Date: Wed, 03 Apr 2013 15:10:41 +0200 From: Gerd Stolpmann To: Anil Madhavapeddy Cc: Malcolm Matalka , caml-list@inria.fr References: <87a9pg9g3k.fsf@li195-236.members.linode.com> <9C7DC8FA-C5FE-4386-AE81-763D4D68FB1A@recoil.org> In-Reply-To: <9C7DC8FA-C5FE-4386-AE81-763D4D68FB1A@recoil.org> (from anil@recoil.org on Wed Apr 3 13:22:07 2013) X-Mailer: Balsa 2.4.11 Message-Id: <1364994641.10138.1@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:oT0ggAr4gJM0yTi5BSkroRN4r1jMKFxkF9HanUgwcDt 4/L/N9aQ4dm4nCFjBudcMN0LW8JhSDXFDQE4tvEAIAoz4UunP/ nLnGSESXsdqZ6jDmU5tnocKRHyF2oxRPQBLt6lCB0Gje7AVcFM TbSZ8+p1JE0FxQnZMrh0/XfTW4kjhS/RIzQTfmmCd6sTM3o1+V RxUTnk7bVC3pxIKxo+tb1sK/ws6Zkgtor0ISL8NpYg0arOoGFX 6PtdTNzqPbcSRl2W3jXmXhEFpVrZMB81SoI0bLVg/qSzcRg1Tb P+w8k1vruCyY4iZz03cZY3K+snNbYZ55KIQHbmh5I33czOvScb 1sgHo+mJwxKxmgh4EpmNTJLB6NAtSQYVRNXHEwaTe Subject: AW: [Caml-list] OUD2013 part of CUFP? Am 03.04.2013 13:22:07 schrieb(en) Anil Madhavapeddy: > On 3 Apr 2013, at 01:24, Malcolm Matalka wrote: >=20 > > Last year, OUD was part of CUFP and it worked great. I'm wondering=20= =20 > if > > it's the same this year? > > >=20 > Yes, it is part of ICFP 2013 (in Boston this year), and is being=20=20 > chaired by Michel Mauny this year. The Call for Proposals hasn't=20=20 > gone yet out. Too sad. OCaml not leaving the Cathedral. I liked the idea of the first=20= =20 couple of OUD events of keeping some distance to academic rituals. Gerd > -Anil >=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 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=