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=2.9 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR, SPF_SOFTFAIL,SUBJ_ALL_CAPS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1401EBC69 for ; Tue, 15 Jan 2008 09:53:47 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAHcDjEfAXQInh2dsb2JhbACBV44wAQEBCAopJJl3 X-IronPort-AV: E=Sophos;i="4.24,286,1196636400"; d="scan'208";a="6043497" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jan 2008 09:53:46 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0F8rkxS019523 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 15 Jan 2008 09:53:46 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FADwDjEeeKvkOd2dsb2JhbACBV44wAQoEAwwgJJl3 X-IronPort-AV: E=Sophos;i="4.24,286,1196636400"; d="scan'208";a="7806762" Received: from marfik.cc.upv.es (HELO smtpsal.upv.es) ([158.42.249.14]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Jan 2008 09:53:45 +0100 Received: from pop.upv.es (deneb.cc.upv.es [158.42.3.51]) by smtpsal.upv.es (8.13.6/8.13.6) with ESMTP id m0F8rjPU002303 for ; Tue, 15 Jan 2008 09:53:45 +0100 Received: from smtp.upv.es (celaeno.cc.upv.es [158.42.249.55]) by pop.upv.es (8.11.3/8.11.3) with ESMTP id m0F8ri102443 for ; Tue, 15 Jan 2008 09:53:44 +0100 (MET) Received: from batman.dsic.upv.es (batman.dsic.upv.es [158.42.184.3]) by smtp.upv.es (8.13.6/8.13.6) with ESMTP id m0F8riL4016487 for ; Tue, 15 Jan 2008 09:53:44 +0100 Received: from localhost (localhost.localdomain [127.0.0.1]) by batman.dsic.upv.es (Postfix) with ESMTP id 1FB9017816 for ; Tue, 15 Jan 2008 09:53:44 +0100 (CET) Received: from batman.dsic.upv.es ([127.0.0.1]) by localhost (batman.dsic.upv.es [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 28133-09 for ; Tue, 15 Jan 2008 09:53:41 +0100 (CET) Received: from german.dsic.upv.es (german.dsic.upv.es [158.42.184.195]) by batman.dsic.upv.es (Postfix) with ESMTP id 38E751780A for ; Tue, 15 Jan 2008 09:53:41 +0100 (CET) Date: Tue, 15 Jan 2008 09:53:41 +0100 (CET) From: German Vidal Reply-To: German Vidal To: caml-list@inria.fr Subject: DEADLINE EXTENSION - SAS 2008 Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Virus-Scanned: by amavisd-new at dsic.upv.es X-Miltered: at concorde with ID 478C749A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; valencia:98 26,:98 abstract:01 co-chairs:02 static:03 deadline:05 submission:05 submission:05 extension:06 extension:06 symposium:09 camera-ready:10 conference:10 analysis:11 version:13 15th International Static Analysis Symposium - SAS 2008 Valencia, Spain - July 16-18 >>DEDLINE EXTENSION<< New important dates: Submission of abstract: January 19, 2008 (changed) Submission of full paper: January 26, 2008 (changed) Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 Please see: http://www.dsic.upv.es/~sas2008/ Maria Alpuente, German Vidal (PC co-chairs) Email: sas2008@dsic.upv.es