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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 80C41BC6B; Mon, 19 Mar 2007 15:19:28 +0100 (CET) Received: from smtp.math.unipd.it (server0.math.unipd.it [147.162.22.66]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2JEJRP7010914 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 19 Mar 2007 15:19:28 +0100 Received: from [10.22.3.38] (internal-3-38.math.unipd.it. [10.22.3.38]) by smtp.math.unipd.it (8.13.7/8.13.6) with ESMTP id l2JDrcaY039753; Mon, 19 Mar 2007 13:53:39 GMT Message-ID: <45FE98B4.70705@math.unipd.it> Date: Mon, 19 Mar 2007 15:05:40 +0100 From: =?ISO-8859-15?Q?Gilberto_Fil=E8?= User-Agent: Mozilla Thunderbird 1.5.0.10 (Windows/20070221) MIME-Version: 1.0 To: Thomas Hildebrandt , Henrik Reif Andersen , Vasco Vasconcelos , Helmut Seidl , sensoria-list , Prog-lang , EAPLS@JISCMAIL.AC.UK, SECURITY@FOSAD.ORG, types-announce@lists.seas.upenn.edu, moca-announce@list.it.uu.se, eacsl@dimi.uniud.it, fmics@inrialpes.fr, logic-list@Helsinki.FI, nvti-list@cwi.nl, caml-list@inria.fr, lfcs-interest@dcs.ed.ac.uk, nwpt-info@sool.ioc.ee, puml-list@cs.york.ac.uk, forum@prg.ox.ac.uk, csl@dbai.tuwien.ac.at, ccp@sics.se, appsem@tcs.informatik.uni-muenchen.de, acl2@cs.utexas.edu, aisb@cogs.sussex.ac.uk, asci@twi.tudelft.nl, caml-list@pauillac.inria.fr, categories@mta.ca, church-announce@types.bu.edu, cipher-cfp@ieee-security.org, clp@comp.nus.edu.sg, compulognet-parimp@dia.fi.upm.es, concurrency@cwi.nl, coq-club@pauillac.inria.fr, dbworld@cs.wisc.edu, eccai-individuals@uni-koblenz.de, ecoop-info@ecoop.org, erlang-questions@erlang.org, formal-methods@cs.uidaho.edu, forum@jsoftware.com, gclist@iecc.com, grin@di.unipi.it, kgs@logic.tuwien.ac.at, kr@kr.org, management@verisoft.de, member@sigpl.or.kr, mercury-ads@cs.mu.oz.au, mercury-ads@csse.unimelb.edu.au, pldg-l@cs.cornell.edu, prolog-vendors@sics.se, pvs@csl.sri.com, sicstus-users@sics.se, siksleden@cs.ruu.nl, theorem-provers@ai.mit.edu, theory@brics.dk, Kim G Larsen , =?ISO-8859-15?Q?Hans_H=FCttel?= , Jens Chr Godskesen , Lars Birkedal , Andrei Sabelfeld , David Sands , Pierpaolo Degano , Luis Caires , Bernhard Steffen , Mads Dam , Fritz Henglein , Neil Jones , Mogens Nielsen , Ivan Damgard , Olivier Danvy , Ole Lehrmann Madsen , Michael Huth , Chris Hankin , Dieter Gollmann , Peter Dybjer , Thomas Streicher , Ian.Stark@ed.ac.uk, thiemann@informatik.uni-freiburg.de, Achim Jung , Peter Sewell , Giuseppe Rosolini , Didier Remy , Martin Odersky , Jean-Yves Marion , Graham Hutton , "Samson.Abramsky" , curien@pps.jussieu.fr, ghelli@di.unipi.it, "Peter O'Hearn" , Tarmo Uustalu , hofmann@ifi.lmu.de, Manuel Hermenegildo , Roberto Giacobazzi , Thomas Jensen , Giorgio Levi , Andreas Podelski , Mooly Sagiv , David Sands , Flemming Nielson , jean.souyris@airbus.com, ferdinand@absint.com, domenico.albero@crf.it, Michael Huth , Roberto Bagnara , Roberta Gori , Alan Mycroft , Francois.Irigoin@ensmp.fr, Eric Goubault , Francesco Ranzato , Agostino Cortesi , Sebastian Hunt , P M Hill , Andy King , Maurice Bruynooghe , Maurizio Gabbrielli , Reinhard Wilhelm , Bernhard Steffen , Olivier Danvy , Joseph de Macedo , Samia Halloui , Radhia COUSOT , Patrick COUSOT , maf@microsoft.com, knoop@complang.tuwien.ac.at, koba@ecei.tohoku.ac.jp, julia@diku.dk, podelski@informatik.uni-freiburg.de, jakob.rehof@cs.uni-dortmund.de, rugina@cs.cornell.edu, Dave Schmidt , harald@cs.mu.oz.au, kwang@cse.snu.ac.kr, =?ISO-8859-15?Q?Gilberto_Fil?= =?ISO-8859-15?Q?=E8?= , Hanne Riis Nielson Subject: REMIND: sas 2007 Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 8bit X-DCC--Metrics: server0 104; Body=130 Fuz1=130 Fuz2=130 X-Scanned-By: MIMEDefang 2.54 on 10.22.1.8 X-Miltered: at discorde with ID 45FE9BEF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 26,:98 abstract:01 copenhagen:03 static:03 deadline:04 submission:05 submission:05 papers:05 remind:06 remind:06 file:08 file:08 symposium:09 conference:10 conference:10 Dear researcher: this mail is to remind you that the deadline for submitting papers to the next Static Analysis Symposium (SAS 2007) is approaching. Here are the important dates of SAS 2007: Submission of abstract: March 26, 2007 Submission of full paper: March 30, 2007 Notification:May 7, 2007 Camera-ready version:June 4, 2007 Conference: August 22-24, 2007 The Conference will be held at the Technical University of Denmark in Kongens Lyngby (close to Copenhagen). I hope to see you in Lyngby. Greetings Gilberto Filè