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.2 required=5.0 tests=AWL,LONGWORDS, MAILTO_TO_SPAM_ADDR,SPF_SOFTFAIL 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 CCC10BC69 for ; Fri, 7 Dec 2007 12:58:55 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4HAI/EWEfAXQImh2dsb2JhbACBWoxDgToCAQgKKQ X-IronPort-AV: E=Sophos;i="4.23,266,1194217200"; d="scan'208";a="6581490" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 07 Dec 2007 12:58:55 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lB7Bwr0G025454 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 7 Dec 2007 12:58:55 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4FABbEWEeeKvkOlWdsb2JhbACBWoxDgToCAQEHChEY X-IronPort-AV: E=Sophos;i="4.23,266,1194217200"; d="scan'208";a="20085531" Received: from marfik.cc.upv.es (HELO smtpsal.upv.es) ([158.42.249.14]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Dec 2007 12:58:54 +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 lB7BwrZo021746 for ; Fri, 7 Dec 2007 12:58:53 +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 lB7Bwro12690 for ; Fri, 7 Dec 2007 12:58:53 +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 lB7Bwqo0017370 for ; Fri, 7 Dec 2007 12:58:53 +0100 Received: from localhost (localhost.localdomain [127.0.0.1]) by batman.dsic.upv.es (Postfix) with ESMTP id E192A17E40; Fri, 7 Dec 2007 12:58:52 +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 12188-05; Fri, 7 Dec 2007 12:58:51 +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 33C24177FD; Fri, 7 Dec 2007 12:58:51 +0100 (CET) Date: Fri, 7 Dec 2007 12:58:51 +0100 (CET) From: German Vidal Reply-To: German Vidal To: caml-list@inria.fr Subject: SAS 2008 Second 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 discorde with ID 4759357D.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/ ** The submission site is now open ** 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) Organizing committee 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 ---------------------------------------------------------------------------