From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 61693BCAE for ; Thu, 7 Jul 2005 18:05:00 +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 j67G4xEQ026751 for ; Thu, 7 Jul 2005 18:04:59 +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 SAA14168 for ; Thu, 7 Jul 2005 18:04:58 +0200 (MET DST) Received: from mail.di.uminho.pt (mail.di.uminho.pt [193.136.19.4]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id j67G4wQc026744 for ; Thu, 7 Jul 2005 18:04:58 +0200 Received: (qmail 10142 invoked from network); 7 Jul 2005 16:04:58 -0000 Received: from localhost (HELO ?192.168.69.77?) (lsb@127.0.0.1) by mail.di.uminho.pt with ESMTPA; 7 Jul 2005 16:04:58 -0000 Mime-Version: 1.0 (Apple Message framework v622) Content-Transfer-Encoding: 7bit Message-Id: Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed To: coq-club@pauillac.inria.fr, behavior@cs.ucsd.edu, comlab@comlab.ox.ac.uk, caml-list@inria.fr, cafeobj@sran419.sra.co.jp From: Luis Barbosa Subject: FACS'05: Deadline Extended 29 July! Date: Thu, 7 Jul 2005 17:07:37 +0100 X-Mailer: Apple Mail (2.622) X-Miltered: at nez-perce with ID 42CD52AB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42CD52AA.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; iist:01 unu:01 iist:01 unu:01 luis:98 macao:98 25,:98 submissions:04 deadline:04 deadline:04 submission:06 formal:07 workshop:07 edu:07 edu:07 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: [apologies for cross-posting] ------------------------------------------------------------------------ -------------------- FACS'05 II International Workshop on Formal Aspects of Component Software Macao October 24-25, 2005 www.iist.unu.edu/facs05/ ------------------------------------------------------------------------ -------------------- NEWS: * On-line submissions are now OPEN at www.iist.unu.edu/facs05/ * Submission deadline has been EXTENDED to 29 July ------------------------------------------------------------------------ --------------------