From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 2E91DBB81 for ; Wed, 12 Oct 2005 11:53:38 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j9C9rbHv002462 for ; Wed, 12 Oct 2005 11:53:37 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA29053; Wed, 12 Oct 2005 11:53:37 +0200 (MET DST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j9C9raJC002458 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 12 Oct 2005 11:53:36 +0200 Received: from spi.lip6.fr (spi.lip6.fr [132.227.83.193]) by isis.lip6.fr (8.13.1/jtpda-5.4+victor) with ESMTP id j9C9ra1J004084 ; Wed, 12 Oct 2005 11:53:36 +0200 X-pt: isis.lip6.fr Received: from [132.227.83.214] (muzelle.lip6.fr [132.227.83.214]) by spi.lip6.fr (8.11.6/jtpda-5.2) with ESMTP id j9C9rVf01821 ; Wed, 12 Oct 2005 11:53:31 +0200 Mime-Version: 1.0 (Apple Message framework v734) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: <78633DC2-7021-4D4B-97F5-70E128B80959@lip6.fr> Cc: Forum SPECIF Content-Transfer-Encoding: quoted-printable From: Therese Hardin Subject: Date limite JFLA Date: Wed, 12 Oct 2005 11:59:26 +0200 To: caml-list@inria.fr, coq-club@pauillac.inria.fr X-Mailer: Apple Mail (2.734) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-2.0b2 (isis.lip6.fr [132.227.60.2]); Wed, 12 Oct 2005 11:53:36 +0200 (CEST) X-Scanned-By: isis.lip6.fr X-Miltered: at nez-perce with ID 434CDD21.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 434CDD20.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; therese:01 therese:01 jfla:01 jfla:01 soumissions:01 inria:05 prochaines:08 d'avance:08 lip:09 pauillac:12 soumission:12 merci:16 U4:83 U4:83 mercredi:17 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 La date limite de soumission des articles pour les prochaines JFLA =20 est repouss=E9e au mercredi 18 octobre minuit. Merci d'avance de vos =20 soumissions. Pour tous d=E9tails : http://jfla.inria.fr/2006/index.html En esp=E9rant vous retrouver =E0 Pauillac, fin janvier 2006 T. Hardin=