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=4.7 required=5.0 tests=LONGWORDS,MAILTO_TO_SPAM_ADDR, SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 48F59BC69 for ; Tue, 2 Oct 2007 13:37:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj0KANfJAUfAXQInemdsb2JhbACBWYskgTkBAQkK X-IronPort-AV: E=Sophos;i="4.21,220,1188770400"; d="scan'208";a="2002707" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 02 Oct 2007 13:37:00 +0200 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 l92BaxVs027529 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 2 Oct 2007 13:36:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FADrKAUeeKvkOn2dsb2JhbACBWYskgTkBAQEBBwQGByA X-IronPort-AV: E=Sophos;i="4.21,220,1188770400"; d="scan'208";a="17187110" Received: from marfik.cc.upv.es (HELO smtpsal.upv.es) ([158.42.249.14]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Oct 2007 13:36:59 +0200 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 l92Baw3g020134 for ; Tue, 2 Oct 2007 13:36:58 +0200 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 l92Bawn23705 for ; Tue, 2 Oct 2007 13:36:58 +0200 (METDST) 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 l92BavZF027806 for ; Tue, 2 Oct 2007 13:36:57 +0200 Received: from localhost (localhost.localdomain [127.0.0.1]) by batman.dsic.upv.es (Postfix) with ESMTP id 3271D1781B for ; Tue, 2 Oct 2007 13:36:57 +0200 (CEST) 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 30455-07 for ; Tue, 2 Oct 2007 13:36:53 +0200 (CEST) Received: from german.dsic.upv.es (german.dsic.upv.es [158.42.184.195]) by batman.dsic.upv.es (Postfix) with ESMTP id 6DDA11781F for ; Tue, 2 Oct 2007 13:36:43 +0200 (CEST) Date: Tue, 2 Oct 2007 13:36:43 +0200 (CEST) From: German Vidal Reply-To: German Vidal To: caml-list@inria.fr Subject: SAS 2008 Preliminary Call for Papers 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 47022D5B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; co-located:01 compiler:01 model:01 lncs:01 giacobazzi:01 universita':01 universiteit:01 cousot:01 sandro:01 twente:01 hankin:01 hermenegildo:01 tohoku:01 valencia:98 valencia:98 PLEASE POST --> SAS 2008 at the Technical University of Valencia We are happy to announce that SAS 2008, the Static Analysis Symposium, will take place at the Technical University of Valencia: Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 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) --------------------------------------------------------------------------- Call for papers Static Analysis Symposium - SAS 2008 16-18 July 2008, Valencia, Spain (co-located with LOPSTR 2008) url http://www.dsic.upv.es/~sas2008 email sas2008@dsic.upv.es Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The technical programme for SAS 2008 will consist of invited lectures and presentations of refereed papers. Contributions are welcome on all aspects of static analysis, including, but not limited to: abstract domains abstract interpretation abstract testing compiler optimizations control flow analysis data flow analysis model checking program specialization security analysis theoretical analysis frameworks type based analysis verification systems Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming. Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published, or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers should be at most 15 pages formatted in LNCS style (excluding bibliography and well-marked appendices not intended for publication). PC members are not required to read the appendices, and thus papers should be intelligible without them. The conference proceedings is planned to be published by Springer-Verlag in the Lecture Notes in Computer Science series. Invited Speakers Roberto Giacobazzi (Universita' degli Studi di Verona, Italy) Ben Liblit (University of Wisconsin-Madison, USA) PC co-chairs Maria Alpuente (Technical University of Valencia, Spain) German Vidal (Technical University of Valencia, Spain) PC members Elvira Albert (Complutense University of Madrid, Spain) Roberto Bagnara (University of Parma, Italy) Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium) Radhia Cousot (CNRS & Ecole Polytechnique, France) Javier Esparza (Technical University of Munchen, Germany) Sandro Etalle (University of Twente, The Netherlands) Moreno Falaschi (University of Siena, Italy) Stephen Fink (IBM T.J. Watson Research Center, USA) John Gallagher (Roskilde University, Denmark) Maria del Mar Gallardo (University of Malaga, Spain) Chris Hankin (Imperial College, UK) Manuel Hermenegildo (Technical University of Madrid, Spain) Julia Lawall (University of Copenhagen, Denmark) Alexey Loginov (IBM T.J. Watson Research Center, USA) Hanne Riis Nielson (Technical University of Denmark, Denmark) David Schmidt (Kansas State University, USA) Harald Sondergaard (University of Melbourne, Australia) Tachio Terauchi (Tohoku University, Japan) Ji Wang (National Laboratory for Parallel and Distributed Processing, China) Local chair Alicia Villanueva (Technical University of Valencia, Spain) Important dates Submission of abstract: January 12, 2008 Submission of full paper: January 19, 2008 Notification: March 7, 2008 Camera-ready version: April 5, 2008 Conference: July 16-18, 2008 ---------------------------------------------------------------------------