From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A1B2DBC6B for ; Fri, 21 Dec 2007 20:14:28 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAK+fa0fAXQInh2dsb2JhbACQAwEBAQgKKYEUmDQ X-IronPort-AV: E=Sophos;i="4.24,196,1196636400"; d="scan'208";a="7163088" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 21 Dec 2007 20:14:28 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id lBLJEP3r022403 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 21 Dec 2007 20:14:28 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAEefa0eBrw8Eh2dsb2JhbACQAwEBAQgKKYEUmDU X-IronPort-AV: E=Sophos;i="4.24,196,1196636400"; d="scan'208";a="20613310" Received: from ext.lri.fr ([129.175.15.4]) by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Dec 2007 20:14:25 +0100 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id 72B0BA48B9; Fri, 21 Dec 2007 20:14:25 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ouX+slpgk6sD; Fri, 21 Dec 2007 20:14:23 +0100 (CET) Received: from [192.168.0.10] (mry91-1-82-229-156-20.fbx.proxad.net [82.229.156.20]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTP id 2D351A4858; Fri, 21 Dec 2007 20:14:23 +0100 (CET) Message-ID: <476C108E.4030906@lri.fr> Date: Fri, 21 Dec 2007 20:14:22 +0100 From: =?ISO-8859-1?Q?Jean-Christophe_Filli=E2tre?= User-Agent: Thunderbird 1.5.0.14pre (X11/20071022) MIME-Version: 1.0 To: Vincent Balat Cc: caml-list@inria.fr Subject: Re: [Caml-list] [Re: First OCaml meeting in Paris ?] at ENST References: <1198250979.6164.41.camel@Blefuscu> <200712211810.55595.balat@pps.jussieu.fr> In-Reply-To: <200712211810.55595.balat@pps.jussieu.fr> X-Enigmail-Version: 0.94.2.0 OpenPGP: url=http://www.lri.fr/~filliatr/mykey.asc Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 476C1091.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 ocaml:01 jfla:01 ocaml:01 jfla:01 clashes:01 lri:01 filliatr:01 26,:98 caml-list:01 functional:02 talks:03 programming:03 Vincent Balat a écrit : > The 26th of january is the first day of JFLA, (a french conference on > functional programming, where many ocaml hackers go). > http://jfla.inria.fr/2008/index.html > So I guess this is not a good date for the ocaml meeting ... or many of us > won't be able to attend the meeting. It is right that it clashes with JFLA. But the first two days at JFLA are devoted to lectures, so some people do not attend JFLA all 4 days but only the last two. Since Sylvain already booked a room at ENST, may be we could first ask people not able to attend the meeting because of JFLA to react immediately, so that we know how many they are (including yourself, of course). > Why not take the time to organize the event? And invite a few speakers > and give them a few months to prepare their talks? We could do both :-) First a rather informal meeting on Jan 26, and later a more formal conference with invited speakers. -- Jean-Christophe Filliâtre http://www.lri.fr/~filliatr/